Какой из них - конструктор по умолчанию или экземпляр копии вызывает вызов, когда я определяю функцию, которая имеет (не ссылочный) тип возврата этого класса?

Question

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

Например:

class Foo{ 
    // attributes 
public: 
    Foo(){...} 

    // I had to write the CC 
    Foo(const Foo& obj){ 
     //... 
    } 
} 

class Bar{ 
// .... 

// This is the function 
Foo SomeFunction() 
{ 
    Foo myVar; 

    // .... 

    return myVar; 
} 

Я проверил на cout Инг, что конструктор копирования на самом деле вызывается.

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

Я новичок, поэтому я пытаюсь обвести голову этими вызовами.

Answer 1

Линия

Foo myFunc; 

вызывает конструктор по умолчанию.

Линия

return myFunc; 

вызывает конструктор копирования, так как тип возвращаемого значения функции Foo. Объект, возвращаемый функцией, не является myFunc, а копией myFunc. myFunc удаляется при возврате функции. Копия - это то, что получает вызывающая функция.

Если компилятор имеет возможность использовать RVO (return value optimization), то myFunc возвращается вызывающей функции, а не копия. В этом случае конструктор копирования не будет вызван.

Answer 2

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