ローカル変数の参照を返す場合、値とアドレスのどちらが返されますか (これがなぜ危険なのか)

ローカル変数参照の謎: 値またはアドレスを返す?

多くのプログラマは、関数内でローカル変数または一時変数への参照を返すことは誤りであると考えるかもしれません。 、未定義の動作が発生します。ただし、特定の状況では、驚くほど成功し、変数の値が変更される場合があります。この現象をコード例で調べてみましょう:

#include <iostream>

int& foo() {
    int i = 6;
    std::cout << &i << std::endl; // Prints the address of i before return
    return i;
}

int main() {
    int i = foo();
    std::cout << i << std::endl; // Prints the value
    std::cout << &i << std::endl; // Prints the address of i after return
}

このコードを実行すると、興味深い動作が観察されます:

1. foo() のローカル変数 i のアドレス
2. i が foo() のローカル変数であるにもかかわらず、その値は正常に取得されます。 main() の変数に戻り値を代入すると変更されます。
3. main() の i のアドレスは戻る前後で同じままであり、変数がまだスタック メモリに存在していることを示唆しています。

発生の説明

この不可解な動作の原因は次のとおりです。これは、多くの実装におけるスタック フレームの処理方法に特有の特徴があります。関数から戻るとき、スタック フレームは最初はすぐには消去されません。

この例では、戻り値の型は int& です。これは、関数が i のアドレスへの参照を返すことを意味します。代入 int i = foo(); in main() は、foo() の i のアドレスを main() の変数 i に格納します。

同時に、foo() の return 命令はスタック フレームをすぐには解放しません。その結果、変数 i は破棄されたはずですが、スタック メモリにまだ存在します。これにより、戻った後に参照を通じて i を変更できます。

注意と影響

この動作は便利に見えるかもしれませんが、非常に危険で信頼性が低くなります。スタック フレームの遅延破壊に依存すると、未定義の動作が発生します。

明確に定義されたコードでは、ローカル変数が定義関数のスコープ内に残り、関数の終了時に即座に破棄されるようにする必要があります。そうしないと、予期しない結果やエラーが発生する可能性があります。

以上がローカル変数の参照を返す場合、値とアドレスのどちらが返されますか (これがなぜ危険なのか)の詳細内容です。詳細については、PHP 中国語 Web サイトの他の関連記事を参照してください。