coutする度にアドレスの値が変わる理由

Question

質問

以下のソースコードを一回目と二回目の実行でアドレスの値が変わるのはどうしてでしょうか？

該当のソースコード

#include <iostream>
using namespace std;

void main() {
	int a = 1;
	int b[5];
	cout << "aの値:" << a << "\naのアドレス:" << &a << endl;

	for (int i = 0; i < 5; i++) {
		b[i] = i + a;
		cout << "b[" << i << "]の値:" << b[i] << endl;
		cout << "b[" << i << "]のアドレス:" << &b[i] << endl;
	}
}

Answer 1

OSに搭載されているASLRという機能によってスタック空間のアドレスが実行ごとに変わるからです

Comments

[waribashi]

ありがとうございます！！

Answer 2

配列(質問のコードでは、int b[5] )は、データの並びで、indexで並びの中の位置を指定することができます。

質問のコードの以下の部分は、forループになっていて、「cout << "b[" << i << "]のアドレス:" << &b[i] << endl;」で表示される　&b[i]は、&b[0]、&b[1]、&b[2]、&b[3]、&b[4]と変わっていきますから、当然その位置（アドレス）も変わります。

    for (int i = 0; i < 5; i++) {
        b[i] = i + a;
        cout << "b[" << i << "]の値:" << b[i] << endl;
        cout << "b[" << i << "]のアドレス:" << &b[i] << endl;
    }

Answer 3

    cout << "b[" << i << "]のアドレス:" << &b[i] << endl;

これのはなしかな？
i の値が変わるのだから、アドレスも当然変わりますねー

Comments

[waribashi]

すみません，問題補足しました．
一回目の実行と二回目の実行で，同じ値でもアドレスの値が違う理由です

[y_waiwai]

実際の出力結果を提示してください

[waribashi]

1回目
aの値:1
aのアドレス:00BDFCB0
b[0]の値:1
b[0]のアドレス:00BDFC94
b[1]の値:2
b[1]のアドレス:00BDFC98
b[2]の値:3
b[2]のアドレス:00BDFC9C
b[3]の値:4
b[3]のアドレス:00BDFCA0
b[4]の値:5
b[4]のアドレス:00BDFCA4

2回目
aの値:1
aのアドレス:00B9FCB4
b[0]の値:1
b[0]のアドレス:00B9FC98
b[1]の値:2
b[1]のアドレス:00B9FC9C
b[2]の値:3
b[2]のアドレス:00B9FCA0
b[3]の値:4
b[3]のアドレス:00B9FCA4
b[4]の値:5
b[4]のアドレス:00B9FCA8

です

[y_waiwai]

ローカル変数はスタック上に確保されるので、そのアドレスはスタックのエリアのアドレスです
プログラムの初期化ルーチンやら割り込み周りの動作の違いでアドレスは変わる可能性はあるけど、
（下位のFCB0がFCB4なのはこのせいじゃね？）
まあ、こんだけ変わってるなら、別回答にあるASLRのせいってことになりそうですねー
しかし、こんなことでASLRの動作がわかるというのはおもしろいなー