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

@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?

Новые блоги и статьи Все статьи Все блоги /
интеграция 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,. . .	rest api anylogic - выполнение модели на своём русском сайте anaschu 02.07.2026 Как подружиться с AnyLogic Cloud API, победить провайдеров и развернуться Java-бэкенд в Docker на бесплатном хостинге: Двухдневный лог борьбы Всем привет! Хочу поделиться свежим (и довольно. . .
Где деньги лежат kumehtar 02.07.2026 Это - японская подводная лодка I-52 (тип C2, кодовое имя Momi) вышла из Японии в марте 1944 года с миссией в оккупированную немцами Францию (Лорьян). Это была одна из «Янаги»-миссий по обмену. . .	Krabik для WoW 3.3.5a, многоязычный AmbA 02.07.2026 Допилил бота, думаю что окончательно. Изменения: - добавлена многоязычность - добавлено снятие скриншотов - добавлено поддержание бафов хождения по воде (для жреца, дк и шамана) - и так, по. . .	Алиса нашла кучу ошибок компиляции и запуска в проекте, который без проблем компилировался и запускался))) anaschu 30.06.2026 Я пока посмеюся, но завтра проверю. А вообще интерсно. Дал алисе файл, в котором точно нет ошибок компиляции и запуска, и попросил их найти. Нашла кучу))) Критические ошибки, мешающие компиляции и. . .	сукцессия 16. Общий обзор, в основном что бы другие ии поняли anaschu 29.06.2026 # Передаточный документ: модель микоризной сукцессии (для нового чата) Этот документ предназначен для того, чтобы новый чат Claude мог продолжить работу без необходимости заново разбираться в. . .

@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