Когда указать пользовательский конструктор копирования и оператор присваивания?

Question

Нужно ли нам писать только конструктор и оператор присваивания, когда у нас есть элементы данных указателя (поскольку в противном случае два указателя могли бы указывать на один и тот же объект, когда сгенерированная компилятором копия ctor выполняет мелкую копию)?

Если все наши элементы данных распределены в стеке, мы можем просто полагаться на компилятор-конструктор копирования и оператор присваивания?

Answer 1

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

Только если вам нужна копия данных, вы должны исправить конструктор копирования.

Предупреждение будет членом переменных, которые являются классами со своими собственными конструкторами копирования, не может дать вам никаких обещаний о том, что происходит тогда.

Answer 2

Указатели - это, несомненно, самый очевидный случай, но не единственный.

Другим примером может служить класс, который открывает соединение с базой данных в ctor и закрывает его в dtor. Копии ctor нужно будет что-то сделать, чтобы дублировать соединение с базой данных, поэтому соединение копии с базой данных закрывается отдельно от соединения оригинала.

Answer 3

Если базовый класс или объект, содержащийся в классе, не имеет конструктора копирования (то есть потока), то, если вы хотите, чтобы ваш класс был выполнен с возможностью копирования, тогда вы должны реализовать конструктор копирования.

Для случая потока, этот конструктор копирования, возможно, придется

а) дублировать файл,

б) создать новый пустой файл, который может быть записан,

с) или сохранить адрес потока, чтобы оба объекта могли писать на него.

Последний вариант является самым сложным и, вероятно, потребует использования shared_ptr.

Answer 4

Как правило, я хотел бы поместить все свои ресурсы в классы, поддерживающие эти ресурсы, и этим поддерживающим тестеру нужна копия, назначение копии и деструктор. В зависимости от ресурса конструктор копирования и назначение копии могут быть удалены.

Что не так очевидно, так это то, что некоторым классам, не поддерживающим ресурсы напрямую, может потребоваться назначение копии: если вы хотите, чтобы ваше назначение копии было строго безопасным, вам часто необходимо реализовать назначение копии. Например, предположим, что ваш класс хранит два вектора. Сгенерированное сжатие копии выполняет членское присвоение. Обычно присваивание по порядку равномерно. Однако, если приступ второго вектора выдает исключение, восстановить исходное состояние невозможно! Лучше копия assgnment будет выглядеть так:

T& T::operator= (T other) { 
    other. swap(*this); 
    return *this; 
} 

С swap() может быть реализован без метания, Это imolementation сильно исключения безопасного.