c++アドレス周りの確認

Question

struct FS
{
	int i;
	//FS(int a) { i = a; }
};

FS& ret()
{
	FS f;
	f.i = 100;
	printf("%p\n", f);

	return f;
}

int main()
{
	
	//printf("%d", ret().i);
	FS f = ret();
	printf("%p", f);
}

ret()が終わったタイミングで ret()内のfはメモリから消されてしまう
と思うのですが、main関数 fのアドレスとret内ｆのアドレスが一致し
main内からf.iを行っても100と出力されています
これはメモリは消されているが
書き残しが残っているとおもっていればよいのでしょうか？

Answer 1

ret()が終わったタイミングで ret()内のfはメモリから消されてしまう

と思うのですが、main関数 fのアドレスとret内ｆのアドレスが一致し
main内からf.iを行っても100と出力されています

消えたものについてどう考察しても意味はありません。
「たまたまそうなった」と考える以外ないでしょう。

Answer 2

printf("%p", f);

fのアドレスを表示したいのなら、こうではないでしょうか。

printf("%p", &f);

Answer 3

メモリについて再確認を行いました
自分が例に挙げた FS f = ret();
ですがこちらはret()の戻り値のコピーが作られるため動作の問題はありません。
FS& fとした場合はret()から参照を受け取るため動作の保証はないということです

Answer 4

すでに回答がされていますので、蛇足かも知れませんが…。

ret()が終わったタイミングで ret()内のfはメモリから消されてしまう

この文の意味が曖昧です。
「メモリから消される」とはどういう意味に理解されていますか？
関数から出た後でのローカル変数に付いて、もう一度参考書なりで確認して下さい。
ローカル変数の変数名って、質問の例の場合、単なる「目印」です。
ノートに貼った付箋をとっても、そのページは存在し続けます。
そういうことです。

Answer 5

ポインタではない構造体の宣言がコンパイル時点で決まるスタック領域でのはなしなので
メモリの開放は行われない
メンバ関数を抜けた後もメモリを保持し続けている
また代入して同じアドレスが表示されていたのは
書式に&が抜けていたことが原因でした

Comments

[int32_t]

> メンバ関数を抜けた後もメモリを保持し続けている

いえ、関数を抜けた時点でret()内のfは無効です。main()では無効なメモリを参照しています。

[thkana]

> スタック領域のはなしなのでメモリの'解放'は行われない
スタック領域ってなに? ということについて再確認が必要かと思います。もしかしたら「メモリって何?」という話に波及するかも知れませんが。

> 同じアドレスが表示されていた
アドレスではないものを表示していた、ということです。

[apa]

返信ありがとうございます
スタック領域ってコンパイル時に決まるんじゃなかったんですね
勉強不足なので勉強しなおしてきます！

[YT0014]

ローカル変数は、メモリ上に確保される保証すらなく、レジスタだけで処理されることもあります。
また、規格上、未定義とされているので、特定のコンパイラの、特定のソースの、特定のオプションでの動作の１例でしかないので、条件が異なった場合、動作も異なる可能性があります。