Контрольный список для написания конструктор копирования и оператор присваивания в C++

Question

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

Answer 1

Сначала убедитесь, что вам действительно нужно поддерживать копию. Большую часть времени это не так, и, таким образом, отключение обоих - это путь.

Иногда вам необходимо предоставить дублирование в классе из полиморфной иерархии, в этом случае: отключить оператор присваивания, написать конструктор копии (защищенный?) И предоставить функцию virtual clone().

В противном случае, если вы пишете класс ценности, вы вернетесь в землю Ортогональной канонической формы Коплиена. Если у вас есть член, который не может быть тривиально скопирован, вам необходимо предоставить конструктор-копию, деструктор, оператор присваивания и конструктор по умолчанию. Это правило может быть утонченным, смотрите, например: The Law of The Big Two

Я также рекомендую взглянуть на C++ FAQ regarding assignment operators и на copy-and-swap idiom и в GOTW.

Answer 2

Я понятия не имею, о исключение безопасно здесь, но я иду таким образом. Представим себе, что это шаблонная оболочка массива. Надеюсь, это поможет :)

Array(const Array& rhs) 
    { 
     mData = NULL; 
     mSize = rhs.size(); 
     *this = rhs; 
    } 

    Array& operator=(const Array& rhs) 
    { 
     if(this == &rhs) 
     { 
      return *this; 
     } 

     int len = rhs.size(); 

     delete[] mData; 

     mData = new T[len]; 

     for(int i = 0; i < len; ++i) 
     { 
      mData[i] = rhs[i]; 
     } 

     mSize = len; 

     return *this; 
    } 

Answer 3

Форматы, сгенерированные компилятором, работают в большинстве ситуаций.

Вам нужно подумать немного сложнее о проблеме, когда ваш объект содержит указатель RAW (аргумент для отсутствия указателей RAW). Итак, у вас есть указатель RAW, второй вопрос: у вас есть указатель (он удаляется вами)? Если это так, вам нужно будет применить правило 4.

Владение более чем 1 стрелочником RAW становится все труднее сделать правильно (увеличение сложности не является линейным либо [но это наблюдение, и у меня нет реальной статистики для назад это утверждение вверх]). Поэтому, если у вас есть более 1 указатель RAW, подумайте об обертывании каждого в своем классе (некоторая форма умного указателя).

Правило 4: Если объект является владельцем RAW указателя, то вам необходимо определить следующие 4 пользователей, чтобы убедиться, обрабатывать управление памятью правильно:

• Конструктора
• Конструктор копирование
• Оператор присваивания
• Destructor

Как вы определяете это будет зависеть от situat ионов. Но вещи, чтобы следить за:

• По умолчанию Строительство: Установить указатель на NULL
• Конструктор копирования: Используйте Копировать и своп Ideum предоставить в «гарантии Strong Exception»
оператора
• Назначение: Проверка для назначения to self
• Деструктор: защита от исключений, распространяющихся из деструктора.

Answer 4

попробуйте прочитать это.

http://www.icu-project.org/docs/papers/cpp_report/the_anatomy_of_the_assignment_operator.html

очень хороший анализ уступке оператора