Почему деструктор называется дважды?

Question

#include <iostream> 
using namespace std; 

class A 
{ 
public: 
    A() { cout << "A's constructor" << endl; } 
    ~A() { cout << "A's destructor" << endl; } 
}; 

class B 
{ 
public: 
    operator A() const { return A(); } 
}; 

void f(A q) {} 

int main() 
{ 
    B d1; 
    f(d1); 
    return 0; 
} 

Вот что я ожидал от кода, который должен был выполнить до того, как я его запустил: Вызов f приводит к вызову функции преобразователя в классе B, которая возвращает временный объект. Создается конструктор q, и когда f выходит, деструктор q вызывается. Я ожидал, что следующий вывод:

конструктор в
деструктор A в

но выход я получил:

конструктор в
деструктор A в
деструктор A в

С есть еще один деструктор, должен быть создан дополнительный объект, поэтому mewhere. Может кто-нибудь объяснить, что здесь происходит?

Answer 1

Вопрос был задан много раз раньше, но так как он настолько общий, что найти старшие сообщения сложно.

Вы передаете свои объекты вокруг по значению, а это означает, что копии создаются конструктор копирования. Конструктор копирования - это то, что создало этот «дополнительный объект» в вашем случае. Между тем вы ничего не выводите из конструктора копирования и поэтому не видите вызовы.

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

Answer 2

Существует потенциал для создания 3 A объектов, построенных здесь. Сначала это временный объект, созданный A() в операторе преобразования. Тогда, поскольку возвращаемый тип оператора преобразования равен A, это временное копируется в возвращаемое значение. Затем возвращаемое значение преобразования копируется в параметр q из f.

Для копирования объекта вызывается конструктор копирования. Конструктор по умолчанию не будет вызываться, поэтому вы не увидите сообщение «конструктор», которое будет напечатано.

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

Answer 3

Я думаю, что первый вызов деструктора для временного объекта и второго деструктора для объекта, который построен семантикой перемещения.

Answer 4

Используйте это в качестве класса А:

class A 
{ 
public: 
    A() { cout << "A's constructor: " << this << endl; } 
    A(const A& a) { cout << "A's copy constructor: " <<this << " form " << &a << endl; } 
    A(A&& a) { cout << "A's move constructor: " <<this << " form " << &a << endl; } 
    A& operator=(const A& a) { cout << "A's assignment" <<this << " form " << &a << endl; } 
    ~A() { cout << "A's destructor: "<< this << endl; } 
}; 

И вы поймете, почему.