Perché il mio distruttore sembra essere chiamato più spesso del costruttore?

Question

#include<iostream> 
using namespace std; 

class A{ 
public: 
    static int cnt; 
    A() 
    { 
     ++cnt; 
     cout<<"constructor:"<<cnt<<endl; 
    } 
    ~A() 
    { 
     --cnt; 
     cout<<"destructor:"<<cnt<<endl; 
    } 
}; 

int A::cnt = 0; 

A f(A x){ 
    return x; 
} 
int main(){ 
    A a0; 
    A a1 = f(a0); 
    return 0; 
} 

Il programma di uscita volontà:

 
constructor:1 
destructor:0 
destructor:-1 
destructor:-2 

Il costruttore e distruttore non compaiono in coppia?

Answer 1

È necessario aggiungere un costruttore di copia che aumenti il ​​contatore.

A(const A&) 
{ 
    ++cnt; 
    cout<<"copy constructor:"<<cnt<<endl; 
} 

Se non si aggiunge esplicitamente, il compilatore genera uno che non fa nulla con il contatore cnt.

Questa espressione

A a1 = f(a0); 

sta creando copie di a0, che fanno uso del costruttore di copia. Il numero esatto di copie può variare a seconda di copy elision, ma il tuo cnt dovrebbe essere 0 alla fine del programma.

Nota: In C++ 11, si dovrebbe anche prendere in considerazione la possibilità di un compilatore generato mossa costruttore di copia, tuttavia, una volta si dichiara il proprio costruttore di copia, il compilatore non genera più la versione mossa.

Answer 2

È necessario contare anche le chiamate del costruttore di copia. In C++ 11 ci sono anche costruttori di movimento che devono essere presi in considerazione.

Answer 3

Non si sta rilevando il tutti i costruttori, solo il costruttore predefinito. Il compilatore ha generato un costruttore di copie e lo ha usato un paio di volte, tenendo conto dei 2 oggetti che sono elencati come distrutti e non come creati.