Инициализация копирования с удаленным конструктором копирования при инициализации ссылки

Эта проблема устраняется проблемой 1604, и предлагаемое решение, похоже, подтверждает, что такой код должен быть неправильно сформирован, поэтому я бы счел это ошибкой компилятора.

К счастью, начиная с C ++ 17, этот код становится хорошо сформированным из-за гарантированного исключения копирования, что согласуется с компиляторами.

Давайте посмотрим, что говорится в стандарте:

В противном случае создается временный объект типа T и инициализируется копией из объекта. Затем ссылка привязывается к этому временному объекту. Применяются правила инициализации копирования (явные конструкторы не рассматриваются).

Итак, временный объект типа T построен. Этот временный объект инициализируется копией из данного объекта. ОК ... как это работает?

Ну, вы процитировали правило, объясняющее, как будет работать инициализация копирования из заданного значения. Он попытается вызвать определенные пользователем преобразования, просеивая соответствующие конструкторы T и операторы преобразования для значения (а их нет, поскольку оно имеет тип int). На T есть неявный конструктор преобразования, который принимает объект типа int. Итак, этот конструктор вызывается для инициализации объекта.

Затем ссылка привязывается к этому временному объекту в соответствии с указанными вами правилами.

Ни разу нет попыток вызвать какую-либо из удаленных функций. Тот факт, что это называется «инициализация копирования», не означает, что будет вызван конструктор копии. Это называется «копирование-инициализация», потому что (обычно) вызывается знаком =, и поэтому выглядит как «копирование».

Причина, по которой Data d = a; не работает, заключается в том, что C ++ 11 определяет эту операцию, чтобы сначала преобразовать a во временный Data, а затем инициализировать d этим временным. То есть, по сути, это эквивалент Data d = Data(a);. Последняя инициализация (гипотетически) вызовет конструктор копирования, что приведет к ошибке.

Принятый ответ выглядит неуместным; Последовательность настолько проста, насколько кажется. Никакого конструктора копирования / перемещения или оптимизации не требуется; все темы строго неактуальны. Временные «Данные» создаются из «int» с использованием преобразователя. Затем prvalue привязывается к ссылке lvalue 'const'. Это все. Если это не выглядит правильным, то мы обсуждаем разные языки программирования; Я, конечно, говорю о C ++.

PS: Я не могу ссылаться на стандарт, потому что не могу себе этого позволить.

ИЗМЕНИТЬ ================================

'=' - это еще один способ вызвать ctor с одним аргументом, не помеченный как «явный». Это то же самое, что и фигурные или круглые фигурные скобки - до тех пор, пока ctor принимает одиночные параметры, если ctor не является «явным». Никто не изучает программирование по стандартам чтения; Это для разработчиков компиляторов.

Лучшее, FM.

Я склонен согласиться с @ Red.Wave - временный объект создается с использованием Data :: Data (int), а затем ссылка "d_rf" инициализируется его адресом. Конструктор копирования здесь вообще не задействован.

Рассмотрим этот код:

class Data{
public:
    Data() = default;
    Data(Data const&) = delete;
    Data(int) {
    }
};

class Data2{
public:
    Data2() = default;
    Data2(Data &) = delete;
    Data2(int) {
    }
};

int main()
{
    Data a {5};
    Data b  = 5;

    Data2 a2{5};
    Data2 b2  = 5;
}

До стандарта C ++ 17 неправильно сформирована только инициализация b. Две используемые здесь формы инициализации описаны ниже (копия из N4296):

15 Инициализация, которая происходит в форме = инициализатора скобок или равенства или условия (6.4), а также при передаче аргументов, возврате функции, генерации исключения (15.1), обработке исключения (15.3) и агрегировании инициализация члена (8.5.1) называется копией-инициализацией. [Примечание: инициализация копирования может вызвать перемещение (12.8). —В конце примечания]

16 Инициализация, которая происходит в формах

T x(a); 
T x{a}; 

а также в новых выражениях (5.3.4), выражениях static_cast (5.2.9), преобразованиях типов функциональной нотации (5.2.3), инициализаторах mem (12.6.2) и форме условия в фигурных скобках. называется прямой инициализацией.

потом

Если инициализация является прямой инициализацией или инициализацией копирования, когда cv-неквалифицированная версия исходного типа является тем же классом, что и класс назначения, или производным от него, рассматриваются конструкторы.

Это не наш случай, переходите к следующему абзацу

В противном случае (т. Е. Для остальных случаев копирования-инициализации) определяемые пользователем последовательности преобразования, которые могут преобразовывать из исходного типа в целевой тип или (когда используется функция преобразования) в его производный класс, перечисляются, как описано в 13.3. 1.4, а лучший выбирается по разрешению перегрузки (13.3). Если преобразование не может быть выполнено или неоднозначно, инициализация сформирована неправильно. Выбранная функция вызывается с выражением инициализатора в качестве аргумента; если функция является конструктором, вызов инициализирует временную версию cv-неквалифицированной версии целевого типа. Временное - это prvalue. Результат вызова (который является временным для случая конструктора) затем используется для прямой инициализации, в соответствии с приведенными выше правилами, объекта, который является адресатом инициализации копирования. В некоторых случаях реализации разрешается исключить копирование, присущее этой прямой инициализации, путем построения промежуточного результата непосредственно в инициализируемом объекте.

Таким образом, при условии, что константа 5 не относится к типу Data или Data2, тогда для b и b2 конструктор копирования был вызван во время инициализации копирования после преобразования 5 в правильный тип посредством прямой инициализации временного объекта, который может быть привязан к аргументу const Data&. конструктора, но не Data&, когда рассматриваются кандидаты в конструкторы.

У b был удален конструктор копирования, поэтому инициализация некорректна. b2 было запрещено инициализировать только неконстантный объект, вызов которого не может быть привязан к этому случаю. Исключение копирования не происходило в соответствии с правилами C ++ 11/14.

При компиляции кода на C ++ 11 (вы использовали =default и =delete, таким образом, это как минимум C ++ 11) ошибка находится в строке # 1, другая (# 2) не имеет проблем:

$ g++ -Wall --std=c++11 -o toto toto.cpp
toto.cpp:14:8: error: copying variable of type 'Data' invokes deleted constructor
  Data d = a;  //#1
       ^   ~
toto.cpp:5:5: note: 'Data' has been explicitly marked deleted here
    Data(Data const&) = delete;
    ^
1 error generated.

Для №1 сначала создается [over.match.copy] с помощью [class.conv.ctor]. Таким образом он преобразуется в Data d = Data(a). Во-вторых, поскольку вы находитесь в области действия семантического компилятора перемещения, он не может найти правильный ctor, потому что:

11.4.4.2 Конструкторы копирования / перемещения

8. [Примечание: когда конструктор перемещения не объявляется неявно или не предоставляется явно, выражения, которые в противном случае вызвали бы конструктор перемещения, могут вместо этого вызывать конструктор копирования. - конец примечания]

увы, copy-ctor был удален.