Могу я вызвать конструктор копирования явно?

Question

Я немного смущен относительно механики конструктора копирования. Исправьте меня, если я ошибаюсь:

Если метод принимает ссылку на объект в качестве параметра, а класс определяет экземпляр-экземпляр, то класс использует конструктор для создания копии самого себя и который передается функция вместо ссылки на исходный объект?

Кроме того, можно назвать

Object * obj = new Object(&anotherObject); 

создать копию anotherObject?

Answer 1

Нет, если функция взять ссылку:

void f1(Object & o); // call by reference 

то копия не сделана. Если какая-либо функция принимает значение:

void f2(Object o); // call by value 

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

И да, когда вы говорите:

Object * obj = new Object(anotherObject); // not &anotherObject 

конструктор копирования используется в явном виде (в предположении, anotherObject имеет тип Object.) Там нет ничего магического в использовании new здесь, однако, - в этом случае:

Object obj2(anotherObject); 

также используется копировальный аппарат.

Answer 2

Если метод принимает ссылку на объект как параметр, конструктор копирования не будет вызываться. Если это так, то вызов самого конструктора копирования привел бы к бесконечному циклу (поскольку он принимает ссылку в качестве аргумента).

Эта строка является недействительным способом вызова конструктора копирования. Он ожидает ссылку как аргумент, а не указатель.

Answer 3

Нет в обоих случаях. В первом случае передается ссылка на этот объект и копия не создается. Во втором случае вы передаете указатель на конструктор object, поэтому копия не создается. Таким образом, объект должен иметь конструктор (не конструктор копирования), который является чем-то вроде object(anotherClass*)

Answer 4

Copy конструктор вызывается только при прохождении по значению, не по ссылке. По ссылке не требуется копирование (это часть ссылок для!), Поэтому не вызвал конструктор копирования.

Answer 5

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

Правила инициализации ссылок немного сложны, но в нижней строке указано, что если инициализатор является lvalue (аргумент в вызове метода в вашем случае), а тип ссылки такой же, как тип инициализатор (т. е. тип параметра совпадает с типом аргумента), тогда ссылка будет связана напрямую. То есть копия не создается.

Object a; // class type 
Object &r = a; // no copying 
const Object &cr = a; // no copying 

Если эти требования не выполняются (например, если инициализатор является rvalue, например), то все зависит. В некоторых случаях копирование может и произойдет. Например

const Object &tr = Object(); 

может интерпретироваться компилятором, как

const Object &tr = Object(Object(Object(Object()))); 

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

Классический пример, который часто мешает спор о действительности копировального поведения компилятора ссылка инициализация в выражениях, как в следующем одном

Object a; 
const Object &r = <some condition> ? a : Object(); 

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

Answer 6

да с помощью размещения нового, как так:

Object dstObject; 
new(&dstObject) Object(&anotherObject);