dönüş değeri için kopya yapıcısı

Question

olur edildiğinde aşağıdaki üye fonksiyonlara sahiptir:

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

RAIIMutex bir Muteksleri recieves ve yıkıcı yapıcı ve bültenleri bunu kilitler bir yardımcı sınıftır.

m_person, Person tipindedir (boyut olarak çok küçük bir şey). Diğer üyelerde bulunan diğer işlevler bu üyeyi değiştirebilir.

Ben değeriyle m_person dönmek istiyorum (bir kopyasını döndürmek) ve tabii ki ben kilidi ekledik böylece karşılığında kopyalanan esnada m_person başka bir iplik değiştirilmesini durumu önlemek istiyor.

Ama önce ne olur? Derleyici ilk olarak m_person'un bir kopyasını oluşturur mu yoksa ilk önce myLock destructor'ını arar mı?

böyle bir şey yaparak Teorik olarak tefriş çözülebilir:

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

Ama sorunun cevabını bilmeden ilgileniyorum.

sayesinde yerel nesnelerin

Answer 1

kopya-başlatma belirtildiği gibi bir sınıf nesnesi ya da kopya/taşıma ortadan durumu dışında, kullanılmamış olduğu görünse bile bir iyileştirme kaldırılacaklardır iade edilen değer daha önce işlenecektir. standart kaynaktan

, $6.6.3/3 The return statement [stmt.return] (vurgu benim)

geri varlığın kopyalama başlatma bölgesinin işlenen ile kurulan tam ifade sonunda geçicilerin yok edilmesinden önce sekanslanır Sırasıyla, geri bildirimini içeren bloğunun lokal değişkenlerinin (6.6) yok edilmesinden önce sıralanan dönüş beyanı.

Answer 2

Yokediciler 'kodunuzun son satırında' sonra denir. Burada Standard alakalı bir tırnak (3.7.3/3) ':

otomatik depolama süresi ile değişken bir başlatma ya da yan etkileri olan yıkıcı varsa, sonunda önce yok edilemez onun blok, ne de bunun 12.8