случая, когда предоставленный пользователь явно-дефолт функция определяется как удаленные

Question

Существуют следующая цитата из N3797::8.4.2/4 [dcl.fct.def.default]:

функции является пользователем при условии, если пользователь объявленного и явно не дефолт или удален по его первой декларации. Предоставленная пользователем функция с явно дефолтным значением (то есть явно дефолт по умолчанию после ее первого объявления ) определена в том месте, где оно явно по умолчанию; , если такая функция неявно определена как удаленная, программа плохо сформирована.

Я попытался придумать пример, отражающий это правило. Так, стандарт говорит:

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

следующий код должен выдавать ошибку о вызове удаленной функции:

#include <iostream> 

using namespace std; 

struct A 
{ 
    A(){ } 
    A(const A&&){ cout << "A(const&&)" << endl; } 
    A(const A&) = default; 
}; 

A a; 

A b = a; 

int main() { 
} 

Но она отлично работает. Можете ли вы представить фактический пример, отражающий это?

DEMO

Answer 1

Мой другой неверный ответ. В вашем случае копировальный конструктор A не предоставляется пользователям, поскольку он явно дефолт по первому объявлению. Пользователь, предоставленные явно-дефолт функция будет выглядеть следующим образом:

struct X 
{ 
    X(); 
}; 

X::X() = default; 

Предложения имеет отношение к, когда конструктор неявно удален в точке, где это дефолт. Возьмем такой пример:

struct X 
{ 
    X(X&&); // user-declared move-constructor, deletes X's copy-constructor 
}; 

struct Y 
{ 
    X x; // data member with deleted copy-constructor deletes Y's 
     // copy-constructor 
    Y(Y const&); 
}; 

// program is ill-formed. Y's copy-constructor was implicitly deleted 
Y::Y(Y const&) = default; 

Поскольку X имеет неявно удален от копирования конструктора, следует, что Y имеет неявно удален от копирования конструктор в силу x является его членом данных. Явно не выполняю конструктор после того, как его объявление плохо сформировано.