関数のローカル変数は、実行するたびに常に同じメモリ位置に格納されますか？

Question

私は陽性ではないが陽性ではないと仮定しています。他の変数がスタック内の同じ場所を占めることができるかどうかは不明です。

Answer 1

いいえ。関数のローカル変数が必ずしも同じアドレスにあるとは限りません。

再帰関数を考えてみましょう。ローカル変数が同じ場所にあると想定されていた場合、再帰に出入りするたびに、すべての値をコピーする必要があります。

通常の方法は、各関数呼び出しにスタック上に「ブロック」があることです。行内で同じ関数を2回呼び出すと、ローカル変数のアドレスはおそらく同じになります。再帰的に呼び出すと、2番目の呼び出しはスタックの別の領域にあるため、ローカル変数のアドレスは異なります。

Answer 2

コンパイラは、「スタックポインタ」アドレス+オフセットに基づいてメモリアドレスを割り当てるコードを生成します。したがって、各ローカルの実際の物理アドレスは、関数の呼び出しごとに異なります。コンパイラコードのgenロジックが同じになるため、オフセットは毎回同じになる可能性があります。スタックポインターアドレスは、関数の次の呼び出しの前に実行される他のものに基づいて異なる可能性があります。