Копирующая инициализация

@ABCS · Регистрация: 12.12.2022

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

C++
1
2
3
4
5
6
7
8
9
10
11
class A {
    int _x;
public:
    A(int x) : _x(x) {}
 
};
 
int main()
{
    A s = 2; // вот она
}

Я не понимаю как это работает? Так как копирующая инициализация инициализирует объект из другого объекта, компилятор видит литерал int и приводит к типу A, то есть в теории должен вызваться конструктор для создания анонимного объекта, что бы потом вызвать конструктор копирования и инициализировать объект s анонимным объектом? Получается что это будет выглядеть так: A s = A(2);?

На практике компилятор это все оптимизирует будет вызван один конструктор. Получается если ход мыслей верный, то по этой причине копирующая инициализация носит такое название?

@ABCS · 08.01.2023, 02:36 **[ТС]**

DrOffset, A b = 2; Странно в с98 - с11 это приводит к такой записи

C++
1
A b = A(A(2));

, а в с17 как по мне все понятно, это приводит к такой записи

C++
1
A b = A(2);

. Это я не учёл copy elision. Компилятор это оптимизирует и будет A b(2);, а вот в с++98-11 это что такое? Инициализировать анонимный объект, анонимным объектом(который в свою очередь должен вызвать конструктор) конструктором копирования, а потом ещё конструктор копирования что бы инициализировать объект b? Но ведь и до с++17 компилятор мог оптимизировать это все одним конструктором

@DrOffset · 08.01.2023, 02:49

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

Инициализировать анонимный объект, анонимным объектом(который в свою очередь должен вызвать конструктор) конструктором копирования, а потом ещё конструктор копирования что бы инициализировать объект b?

Думаю, что прежде чем продолжать тему, вам нужно разобраться что есть объект и что есть выражение.

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

а вот в с++98-11 это что такое?

В С++98 формально требовалась доступность конструктора копирования в этом выражении.
Запись, которую вы привели, отражает это требование.

@_stanislav · 08.01.2023, 12:23

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

Гарантии о copy-elision накладываются уже поверх этих базовых правил.

На деле получается после C++17 инициализацию переместили из времени выполнения во время компиляции?

@DrOffset · 08.01.2023, 13:44

_stanislav, как-то это очень противоречиво звучит.
На деле скорее навели порядок с материализацией временных объектов в этом случае.
Вот, можешь почитать об изменениях:
https://www.open-std.org/jtc1/... 135r0.html
https://www.open-std.org/jtc1/... 135r1.html

@_stanislav · 08.01.2023, 13:56

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

как-то это очень противоречиво звучит.

Ну я имел ввиду, что инициализация происходит раньше, убрали избыточную семантику.

@_stanislav · 21.03.2023, 21:24

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

На деле скорее навели порядок с материализацией временных объектов в этом случае.

Copy elision работает через Temporary materialization или я опять перепутал все...

@TheCalligrapher · 22.03.2023, 00:26

Как вам уже объяснили, начиная с С++17 "физическая" разница между A s = 2 и A s(2) полностью исчезла. Однако чисто умозрительные различия и связанные с ними ограничения все равно сохраняются. Например, даже в современном С++ первый вариант не является корректным, если конструктор преобразования объявлен как explicit.

Добавлено через 3 минуты

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

A b = 2; Странно в с98 - с11 это приводит к такой записи

C++
1
A b = A(A(2));

Это где это вам удалось наблюдать такое нагромождение копирований в с98 - с11?

Новые блоги и статьи Все статьи Все блоги /
Оказывается, Unreal Engine позволяет качество на порядки выше, чем было в Lineedge Etyuhibosecyu 05.07.2026 Жаль, конечно, что я не узнал об этом, пока Lineedge существовала, а то бы Noname2331 написал, что волки превращаются в пиксельную кашу, а я бы его попросил скачать какую-нибудь бриллиантовую или Pro. . .	Doom для терминала без стрельбы и монстров. 3D Raycasting на ascii. dcc0 05.07.2026 Попросил нейронную сеть deepai. org написать рейкастинг 3D с библиотекой ncurses для Linux. Чтобы можно было ходить на стрелочки. Чтобы стены были отрисованы символами. Справилась. Первый вариант. . .	Установка статуса документа по условию Maks 05.07.2026 Алгоритм из решения ниже реализован на нетиповом документе "НарядПутевка" разработанного в КА2. Задача: в табличной части "Материалы" документа при записи автоматически устанавливать статус. . .	Сезонность и суточность закисления почв anaschu 04.07.2026 200 часов это все равно моловато. Есть ситуации, но нестандартные, когда смена происходит за 5 лет. Но обычно это 50 лет и более. Наверное, закисление почвы происходит сезонно в средней. . .
В чем ценность человеческого опыта в глобальном смысле? kumehtar 03.07.2026 Возможно, ценность человека не в том, что он однажды достигает мудрости, а в том, что он становится носителем карты пути. Он знает не только истину, но и последовательность внутренних изменений,. . .	интеграция AnyLogic с самописным REST API и переход на Odoo anaschu 03.07.2026 Успешная интеграция AnyLogic с самописным REST API и переход на промышленную Odoo WMS Сегодня проделал огромный путь от простой симуляции физических процессов до построения полноценной. . .	Поиск всех путей на ориентированном графе. Linux dcc0 02.07.2026 Переработка старого кода из моей статьи. Через несколько переработок от PHP кода к C89 (надеюсь, 89). Но довольно запутанно получилось. Код для Linux. Но если убрать time и то, что с ним. . .	Сам себя обучал rest api anaschu 02.07.2026 Педагогический лайфхак: Почему чистый REST API для ученика намного круче, чем готовые библиотеки Когда мы отказались от капризного JAR-файла AnyLogic и переписали код на стандартный HttpClient,. . .

@DrOffset 19501 / 10106 / 2461 Регистрация: 30.01.2014 Сообщений: 17,825
	08.01.2023, 13:44
	_stanislav, как-то это очень противоречиво звучит. На деле скорее навели порядок с материализацией временных объектов в этом случае. Вот, можешь почитать об изменениях: https://www.open-std.org/jtc1/... 135r0.html https://www.open-std.org/jtc1/... 135r1.html 1