Czy destruktor obiektu lokalnego w pętli ma gwarancję, że zostanie wywołany przed następną iteracją?

Kiedy mam pętlę i wewnątrz tej pętli tworzę nową zmienną stosu (nieprzydzielając jej na stercie i zmiennej utrzymującej ją zadeklarowaną wewnątrz korpusu pętli), to jest gwarantem, że destruktor tego obiektu zostanie wywołany przed rozpoczęciem kolejnej iteracji, lub może rozwijanie pętli przez kompilator coś zmienić?

Od n4800:

§6.3.3 Zakres bloku :

Nazwa zadeklarowana w bloku (8.3) jest lokalna dla tego bloku; ma zakres blokowy. Jego potencjalny zakres zaczyna się w punkcie deklaracji (6.3.2) i kończy na końcu bloku. Zmienna zadeklarowana w zakresie bloku jest zmienną lokalną.

§ 10.3.6 Niszczyciele :

Destruktor jest wywoływany niejawnie [...] po wyjściu z bloku, w którym tworzony jest obiekt (8.7)

§4.1.1 Maszyna abstrakcyjna :

Przepis ten jest czasem nazywany zasadą „jak gdyby”, ponieważ implementacja może zignorować dowolny wymóg tego dokumentu, o ile wynik jest tak, jakby wymóg został spełniony, o ile można to ustalić na podstawie obserwowalnego zachowania program .

[Moje podkreślenie]

Więc tak. Twoja zmienna wykracza poza zakres na końcu pętli (która jest blokiem), a zatem jej destruktor jest wywoływany tak daleko, jak każdy, kto obserwuje zachowanie programu .

Tak. Łatwiej jest zwizualizować, gdy weźmie się pod uwagę „bloki”, w których deklaruje się zmienną, tj. Między którą parą nawiasów klamrowych. Pętla sama w sobie jest blokiem, a gdy osiągnie nawias zamykający, przed następną iteracją wywoływane są wszystkie destruktory automatycznych zmiennych pamięci zadeklarowanych w pętli.

czy rozwijanie się pętli przez kompilator może coś w tym zmienić?

Zasadniczo nie myśl o tym, co kompilator zoptymalizuje, ponieważ nadal musi gwarantować zachowanie twojego programu, bez względu na to, co robi, aby go zoptymalizować. W takim przypadku rozwinięcie pętli nie zmieni niczego w tym zakresie, jeśli tak się stanie.

Destruktor jest wywoływany przy każdej iteracji. Dlatego w niektórych przypadkach szybsze jest zadeklarowanie zmiennej poza pętlą zamiast w pętli. Zakładając następujący przypadek:

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

Destruktor nie jest wywoływany podczas wykonywania pętli. Po prostu zastępuje temp.

Ale jeśli użyjesz std::string temp = arr[i]konstruktora i wywoływany jest destruktor dla każdej iteracji. Myślę, że to dodaje trochę czasu działania w przypadku, gdy pętla jest wykonywana bardzo często.

Destruktor jest wywoływany przed następną iteracją

Oczywiście dtor jest wywoływany na końcu iteracji i rozwijanie pętli nie powinno modyfikować tego zachowania, jak każda inna optymalizacja (optymalizacja nie powinna modyfikować zachowania programu), z wyjątkiem pewnego rodzaju RVO i podobnych, które mogą wyeliminować niektóre semantycznie fałszywe tworzenie obiektów .