Bir döngü içindeki yerel bir nesnenin yok edicisinin bir sonraki yinelemeden önce çağrılması garanti ediliyor mu?

Bir döngü var ve bu döngü içinde yeni bir yığın değişkeni (yığın ve ayırma gövdesi içinde bildirilen değişken tutan ayırma değil) oluşturmak, bir sonraki yineleme başlamadan önce çağrılacak garanti bu nesnenin yıkıcı olduğunu, ya da olabilir derleyici tarafından döngü unrolling bu konuda bir şey değiştirmek?

Gönderen n4800:

§6.3.3 Blok Kapsamı :

Bir blokta (8.3) bildirilen bir isim, o blok için yereldir; blok kapsamı vardır. Potansiyel kapsamı beyan noktasında (6.3.2) başlar ve bloğunun sonunda biter. Blok kapsamında bildirilen bir değişken yerel bir değişkendir.

§10.3.6 Yıkıcılar :

Bir nesnenin yaratıldığı blok çıktığında bir yıkıcı dolaylı olarak çağrılır [...]

§4.1.1 Soyut makine :

Bir uygulama uzun gereksinimi itaat olsaydı, hem sonucudur kadar bu belgenin herhangi bir şartı dikkate almayın, çünkü bu hüküm bazen “olarak eğer” kuralını denir kadarıyla gözlenebilen davranışlarından belirlenebilir program .

[Vurgu madeni]

Yani evet. Değişkeniniz döngünün sonunda (bir blok olan) kapsam dışına çıkar ve bu nedenle yıkıcısı, programın davranışını gözlemleyen herkesin anlayabildiği kadarıyla çağrılır .

Evet. Bir değişkeni bildirdiğiniz "blokları" düşündüğünüzde, yani hangi parantez çifti arasında görselleştirmek daha kolaydır. Döngü kendi içinde bir bloktur ve kapanma dirseğine ulaştığında, bir sonraki yinelemeden önce, döngüde bildirilen otomatik depolama değişkenlerinin tüm yıkıcıları çağrılır.

derleyici tarafından döngü açma bu konuda bir şey değiştirebilir?

Genel bir kural olarak, derleyicinin neyi optimize edeceğini düşünmeyin, çünkü onu optimize etmek için ne yaparsa yapsın, programınızın davranışını hala garanti etmesi gerekir. Bu durumda, döngü çözme gerçekleşirse bu etki için hiçbir şey değiştirmez.

Yıkıcı her yineleme için çağrılır. Bu nedenle, bazı durumlarda , döngü yerine döngü dışında bir değişken bildirmek daha hızlıdır . Aşağıdaki durumu varsayarsak:

std::string temp;
for(int i = 0; i < 10; ++i){
    temp = arr[i];
    doSomething(temp);
}

Döngü kullanılırken yıkıcı çağrılmaz. Sadece geçersiz kılar temp.

Ancak std::string temp = arr[i]yapıcı ve yıkıcı kullanırsanız her yineleme için yıkıcı çağrılır. Çok sık yürütülen bir döngü olması durumunda bu biraz çalışma zamanı eklediğini düşünüyorum.

Yıkıcı bir sonraki yinelemeden önce çağrılır

Tabii ki dtor yinelemenin sonunda çağrılır ve bazı anlamsal olarak sahte nesne yaratımlarını ortadan kaldırabilecek bir tür RVO ve benzerleri hariç, diğer optimizasyonlar (bir optimizasyon program davranışını değiştirmemelidir) gibi döngü çözme bu davranışı değiştirmemelidir. .