Как обеспечить принудительное копирование, почему он не будет работать с удаленным конструктором копии?

Question

У меня есть неописуемый класс. Копирование этого было бы проблематичным. Я хочу гарантии, что он не будет когда-либо скопированы, поэтому я сделал свой конструктор копирования deleted:

class A { 
    public: 
    A(); 
    A(const A&) = delete; 
}; 

A fun() { 
    return A(); 
}; 

int main() { 
    A a = fun(); 
}; 

К сожалению, г ++ не компилирует это по причине:

t.cc: In function ‘A fun()’: 
t.cc:8:12: error: use of deleted function ‘A::A(const A&)’ 
    return A(); 
      ^
t.cc:4:5: note: declared here 
    A(const A&) = delete; 
    ^
t.cc: In function ‘int main()’: 
t.cc:12:13: error: use of deleted function ‘A::A(const A&)’ 
    A a = fun(); 
      ^
t.cc:4:5: note: declared here 
    A(const A&) = delete; 
    ^

Но это очень четкая ситуация, когда нужно использовать копирование, поэтому конструктор копирования никогда не должен вызываться. Почему это так?

Answer 1

Until C++ 17 copy elision - это оптимизация, которую компилятор не должен выполнять, поэтому классы должны быть скопированы, поскольку компилятор может захотеть скопировать (даже если это на самом деле не так). В C++ 17 во многих случаях будет гарантировано копирование, и тогда классам не потребуется копировать ctors.

Смотрите также:

http://en.cppreference.com/w/cpp/language/copy_elision

http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2015/p0135r0.html

https://herbsutter.com/2016/06/30/trip-report-summer-iso-c-standards-meeting-oulu/ (бит о "гарантированном копии элизии")

Вы могли бы, возможно, использовать старый трюк объявить конструктор копирования в ваш класс, но на самом деле не реализует его? Это должно понравиться компилятору, если на самом деле он не вызывает копию ctor. Я не тестировал это, но я считаю, что он должен работать для вашего дела, пока не появится C++ 17.

Answer 2

Вы не можете принудительно выполнить принудительное копирование (см. Другие ответы).

Однако вы можете предоставить конструктор перемещения по умолчанию для вашего класса, это приведет к перемещению (и, следовательно, не копированию) возвращаемого значения, если RVO/NRVO невозможно. Для этого вы должны добавить = default для вашего переезда конструкторов:

class A { 
    public: 
    A() = default; 
    A(const A&) = delete; 
    A(A&&) = default; 
    A& operator=(A&&) = default; 
}; 

Example

Answer 3

Возвращаемого значение оптимизация (РВА и NRVO) не означает, что требование о том, что типы привлекаемых копируемой или перемещаемом отбрасываются. Это требование применяется, независимо от того, получаете ли вы RVO или нет.

Наиболее вероятная причина заключается в том, что копирование не выполняется (в настоящее время). Это оптимизация, которая имеет место может, и было бы нецелесообразно компилировать или не использовать код на основе того, применяется ли эта оптимизация в конкретной реализации.

В C++ 17 RVO будет применяться в некоторых случаях, а требования к возможности копирования и перемещения будут удалены.