ループ内のローカルオブジェクトのデストラクタは、次の反復の前に呼び出されることが保証されていますか？

ループがあり、このループ内で新しいスタック変数を作成すると（ヒープ上に割り当てず、ループ本体内で宣言された変数を保持する変数ではありません）、このオブジェクトのデストラクタは、次の反復が始まる前に呼び出されることが保証されます。コンパイラによるループの展開はそれについて何かを変更しますか？

からn4800：

§6.3.3 ブロック範囲：

ブロック（8.3）で宣言された名前は、そのブロックに対してローカルです。ブロックスコープがあります。その潜在的なスコープは、宣言の時点（6.3.2）で始まり、そのブロックの終わりで終わります。ブロックスコープで宣言された変数はローカル変数です。

§10.3.6 デストラクタ：

オブジェクトが作成されたブロックが終了すると、デストラクタが暗黙的に呼び出されます[...]（8.7）

§4.1.1 抽象マシン：

この規定は、「as-if」ルールと呼ばれることもあります。これは、実装がこのドキュメントの要件を無視できるということです。プログラム。

[エンファシス鉱山]

あ、はい。変数がループの終わり（ブロック）でスコープ外になるため、プログラムの動作を監視している人が知る限り、そのデストラクタが呼び出されます。

はい。変数を宣言する「ブロック」を検討すると、視覚化するのが簡単になります。ループはそれ自体がブロックであり、閉じ括弧に達すると、次の反復の前に、ループで宣言されている自動ストレージ変数のすべてのデストラクタが呼び出されます。

コンパイラーによるループのアンロールは、それについて何かを変えるのでしょうか？

経験則として、コンパイラーが最適化するものについては考えないでください。最適化するために何をしても、プログラムの動作を保証する必要があるためです。その場合、ループの展開は、それが起こってもその効果に何も変更しません。

デストラクタはすべての反復で呼び出されます。したがって、場合によっては、ループ内ではなくループ外で変数を宣言する方が高速です。次の場合を想定します。

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

ループの使用時に、デストラクタは呼び出されません。それは単に上書きしますtemp。

しかしstd::string temp = arr[i]、コンストラクタを使用すると、反復ごとにデストラクタが呼び出されます。非常に頻繁に実行されるループがある場合、これは少しランタイムを追加すると思います。

デストラクタは次の反復の前に呼び出されます

もちろん、dtorは反復の終わりに呼び出され、ループのアンロールはこの動作を変更するべきではありません。他の最適化（最適化はプログラムの動作を変更するべきではありません）と同じです。 。