Quando è il costruttore di copia per il valore di ritorno avviene

Question

Ho la seguente funzione membro:

Person ClassB::DoSomethingAndReturnPerson() 
{ 
RAIIMutex myLock(&m_mutex); 
return m_person; 
} 

RAIIMutex è una classe helper che riceve un mutex e lo blocca nel costruttore e rilascia nel distruttore.

m_person è di tipo Person (qualcosa di dimensioni molto piccole). Altre funzioni in altri thread potrebbero cambiare questo membro.

voglio tornare m_person per valore (restituire una copia) e, naturalmente, voglio evitare la situazione in cui l'm_person essere cambiato in un altro thread mentre viene copiato nel ritorno così ho aggiunto la serratura.

Ma cosa succede prima? Il compilatore crea prima una copia di m_person o prima chiama il distruttore di myLock?

Teoricamente facilmente risolvibile facendo qualcosa di simile a questo:

Person ClassB::DoSomethingAndReturnPerson() 
{ 
RAIIMutex myLock(&m_mutex); 
Person tmp = m_person; 
return tmp; 
} 

Ma io sono interessato a conoscere la risposta alla mia domanda.

Grazie

Answer 1

la copia-inizializzazione del il valore restituito verrà elaborato prima.

Dalla standard $6.6.3/3 The return statement [stmt.return] (sottolineatura mia)

La copia-inizializzazione dell'entità restituito viene sequenziato prima della distruzione di provvisori alla fine del pieno-espressione stabilito dalla operando della dichiarazione di reso, che a sua volta è sequenziata prima della distruzione delle variabili locali (6.6) del blocco che racchiude l'estratto conto.

Answer 2

distruttori di oggetti locali sono chiamati dopo 'l'ultima riga del codice'. Ecco una citazione pertinente standard (3.7.3/3):

Se una variabile con durata di memorizzazione automatica ha inizializzazione o un destructor con effetti collaterali, non viene distrutto prima della fine della sua bloccare, né può essere eliminato come ottimizzazione anche se sembra essere inviata, tranne che un oggetto classe o sua copia/spostamento possono essere eliminati come specificato 12,8