Каковы преимущества использования конструктора копирования?

Question

Я новичок в объектно-ориентированном программировании, и это может быть глупый вопрос, но я не понимаю, почему код класса A лучше использовать, чем класс B, если вы хотите создать копию одного объекта.

class A { 
    int num; 
public: 
    A(const A &ref) : num(ref.num) {}; 
}; 

class B { 
    int num; 
public: 
    B(B *ptToClass) : num(ptToClass->num) {}; 
}; 

Если бы я получил это право, конструктор копирования используется в классе А.

Answer 1

класса А является гибким и безопасным: вы создаете копию с любой объект вы, даже если это временный.

Класс B менее безопасен, так как вы могли бы вызвать конструктор с помощью nullptr. Это менее гибко, потому что вы можете использовать конструктор ypur только для копирования объекта, из которого вы можете получить адрес и который не является константой.

B b1(...);   
const B b2(...); 
B fb();  // function returning a B 

B b3(&b1);  
B b4(&b2);  // error b2 is const 
B b5(&fb()); // error you can't take adress of a temporary 

Answer 2

запрещено стандартом использовать указатели в копии конструкторами:

C++ проект стандарта n3376 - раздел 12.8.2:

Конструктор без шаблона для класса X является копией конструктор, если первый его параметр имеет тип X &, const X &, летучий X & или const volatile X &, и ни один другой параметр eters или иначе все остальные параметры имеют стандартные аргументы

Why is the argument of the copy constructor a reference rather than a pointer?

Answer 3

Дело в том, что если конструктор считается конструктор копирования компилятором, он используется в специальных способов. Например, если у вас есть функция, которая принимает параметр типа вашего A копии, как это:

void function(A obj) { 
    // Do something with A 
    // ... 
} 

И тогда вы называете эту функцию:

int main() { 
    A a_obj; 
    function(a_obj); 
} 

объекта obj, полученного function будет создайте созданный вами экземпляр копии. Таким образом, неплохо предоставить конструктор копий для ваших классов, предназначенных для копирования, чтобы они лучше соответствовали языковым функциям и библиотекам.

Нет никакой проблемы при создании конструктора такого типа в вашем class B, если это соответствует вашим потребностям в вашем приложении, но это не будет понято компилятором как конструктор копирования и не будет использоваться, если компилятор или библиотеки должны копировать ваши объекты.

Answer 4

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

Возможно, лучшим примером является то, что конструкторы копирования необходимы при передаче по значению. Компилятор будет неявно вызывать конструктор копирования при передаче по значению. Он не будет вызывать конструктор B::B(B*).

Итак, если вы хотите, чтобы ваш класс был доступен для копирования, вы должны определить логику копирования в конструкторе копирования. Это просто проще.