Инициализация копированием

@ReYalp · Регистрация: 27.12.2017

Студворк — интернет-сервис помощи студентам

Здравствуйте

C++
1
2
3
4
5
struct Widget {
  Widget(int) {}
};
 
Widget w1 = 1; // вызывает Widget(double)

почему

C++
1
Widget w1 = 1;

равен

C++
1
Widget w1(1);

?
В чем разница между ними ? Разве

C++
1
Widget w1 = 1;

не должен сначала преобразовать 1 в Widget, а потом только вызвать конструктор копирования?

@Undisputed · 18.11.2019, 15:14

ReYalp,
Так и есть
Просто копирование пропускается в целях оптимизации

@ReYalp · 18.11.2019, 15:21 **[ТС]**

Undisputed, тоесть сразу вызывается подходящий для 1 конструктор Widget и все?
А можно как-то отключить оптимизацию в Visual Studio либо gcc чтобы посмотреть как будет?

Добавлено через 44 секунды
Undisputed, и какой смысл в explicit тогда если есть оптимизация?

Алексей1153 · 18.11.2019, 15:23

ReYalp, это не оптимизация, эти записи эквивалентны

C++
1
2
3
Widget w1 = 1;
Widget w1(1);
Widget w1{1};

@ReYalp · 18.11.2019, 15:30 **[ТС]**

Алексей1153, но они не могут быть эквивалентны т.к. в случае

Сообщение от Алексей1153

Widget w1 = 1;

explicit конструктор не сработает, а

Сообщение от Алексей1153

Widget w1(1);

сработает.

@Undisputed · 18.11.2019, 15:31

ReYalp,
Gcc флаг fno-elide-constructors
https://rextester.com/IWB88369

Croessmah · 18.11.2019, 15:32

Сообщение от Алексей1153

эти записи эквивалентны

Это разные типы инициализации.

C++
1
2
Widget w1 = 1;//copy-initialization
Widget w1(1);//direct-initialization

Сообщение от ReYalp

и какой смысл в explicit тогда если есть оптимизация?

Конструктор, объявленный с explicit перестает быть конвертирующим.
Как следствие

C++
1
2
3
4
5
6
7
8
struct Widget
{
    explicit Widget(int x) {}
};
 
//...
Widget w2(1);//ok
Widget w1 = 1;//error

@Undisputed · 18.11.2019, 15:32

C++
1
2
3
4
5
6
7
8
9
10
11
12
13
14
//g++  5.4.0
 
#include <iostream>
 
struct f
{
     f(int){std::cout << "int";}
     f(const f&){std::cout << "copy";}
};
 
int main()
{
    f obj = 1;
}

Это был код в дополнение к моему посту выше

Ilot · 18.11.2019, 15:35

Сообщение от ReYalp

Undisputed, и какой смысл в explicit тогда если есть оптимизация?

Иногда нежелательно неявное приведение. Например при передаче параметра в функцию.

Сообщение от ReYalp

Алексей1153, но они не могут быть эквивалентны т.к.

Они не эквивалентны.

Новые блоги и статьи Все статьи Все блоги /
SDL3 для Desktop (MinGW): Создаём пустое окно с нуля для 2D-графики на SDL3, Си и C++ 8Observer8 10.03.2026 Содержание блога Финальные проекты на Си и на C++: hello-sdl3-c. zip hello-sdl3-cpp. zip Результат:	Установка CMake и MinGW 13.1 для сборки С и C++ приложений из консоли и из Qt Creator в EXE 8Observer8 10.03.2026 Содержание блога MinGW - это коллекция инструментов для сборки приложений в EXE. CMake - это система сборки приложений. Здесь описаны базовые шаги для старта программирования с помощью CMake и. . .	Как дизайн сайта влияет на конверсию: 7 решений, которые реально повышают заявки Neotwalker 08.03.2026 Многие до сих пор воспринимают дизайн сайта как “красивую оболочку”. На практике всё иначе: дизайн напрямую влияет на то, оставит человек заявку или уйдёт через несколько секунд. Даже если у вас. . .	Модульная разработка через nuget packages DevAlt 07.03.2026 Сложившийся в . Net-среде способ разработки чаще всего предполагает монорепозиторий в котором находятся все исходники. При создании нового решения, мы просто добавляем нужные проекты и имеем. . .
Модульный подход на примере F# DevAlt 06.03.2026 В блоге дяди Боба наткнулся на такое определение: В этой книге («Подход, основанный на вариантах использования») Ивар утверждает, что архитектура программного обеспечения — это структуры,. . .	Управление камерой с помощью скрипта OrbitControls.js на Three.js: Вращение, зум и панорамирование 8Observer8 05.03.2026 Содержание блога Финальная демка в браузере работает на Desktop и мобильных браузерах. Итоговый код: orbit-controls-threejs-js. zip. Сканируйте QR-код на мобильном. Вращайте камеру одним пальцем,. . .	SDL3 для Web (WebAssembly): Синхронизация спрайтов SDL3 и тел Box2D 8Observer8 04.03.2026 Содержание блога Финальная демка в браузере. Итоговый код: finish-sync-physics-sprites-sdl3-c. zip На первой гифке отладочные линии отключены, а на второй включены:. . .	SDL3 для Web (WebAssembly): Идентификация объектов на Box2D v3 - использование userData и событий коллизий 8Observer8 02.03.2026 Содержание блога Финальная демка в браузере. Итоговый код: finish-collision-events-sdl3-c. zip Сканируйте QR-код на мобильном и вы увидите, что появится джойстик для управления главным героем. . . .

@Undisputed 901 / 478 / 93 Регистрация: 10.06.2014 Сообщений: 2,700
	18.11.2019, 15:14
	ReYalp, Так и есть Просто копирование пропускается в целях оптимизации 0

@ReYalp 63 / 46 / 11 Регистрация: 27.12.2017 Сообщений: 1,484
	18.11.2019, 15:21 [ТС]
	Undisputed, тоесть сразу вызывается подходящий для 1 конструктор Widget и все? А можно как-то отключить оптимизацию в Visual Studio либо gcc чтобы посмотреть как будет? Добавлено через 44 секунды Undisputed, и какой смысл в explicit тогда если есть оптимизация? 0

@Undisputed 901 / 478 / 93 Регистрация: 10.06.2014 Сообщений: 2,700
	18.11.2019, 15:31
	ReYalp, Gcc флаг fno-elide-constructors https://rextester.com/IWB88369 0

Инициализация копированием

Решение