関数呼び出しでのスタック消費量

質問

C++で関数を再帰呼び出しするとスタックオーバーフローとなりました。
それで、どれ位なら可能か調べるため、次の関数で試してみました。

int null(void)
{
　int a;
　return null();
}

結果は次の通りでした。
１回目　&a　0x001cf9d4
２回目　&a　0x001cf8f4
３回目　&a　0x001cf814

よって、一回の呼び出しでスタックをe0(224)バイト使用してるようです。
なぜ（何に）こんなにも多く使うのでしょうか？

環境は、Vista Home Premium、Microsoft Visual C++ 2010 Express です。

回答No.2

Tacosan · ベストアンサー

アセンブリ出力見ればよいだけではないかと.

お礼

さっそく見てみました。

int null(void)
{
push ebp
mov ebp,esp
sub esp,0CCh
push ebx
push esi
push edi
lea edi,[ebp-0CCh]
mov ecx,33h
mov eax,0CCCCCCCCh
rep stos dword ptr es:[edi]
　int a;
　return null();
call null
}
pop edi
pop esi
pop ebx
add esp,0CCh
cmp ebp,esp
call __RTC_CheckEsp
mov esp,ebp
pop ebp
ret

pushされてるのは、eip, ebp, ebx, esi, ediの５つで20バイト。
それ以外にcc(204)バイトが使われているようですね。
定数で埋め尽くされることと、変数１つで大きさが１２バイト変化するので、デバッグ用だろうと推定しました。
が、具体的に何に使われてるかは不明ですね。

回答ありがとうございました。

回答No.3

Tacosan

__RTC_CheckEsp という名前でちょろっと検索かけてみると, オーバーランなんかのチェックみたいですね.

参考URL：

http://www.glamenv-septzen.net/view/693

お礼

その関数はこうなってました。
消費されてる領域とは、直接の関係はないようです。

回答ありがとうございました。

__RTC_CheckEsp:
jmp _RTC_CheckEsp

_RTC_CheckEsp:
jne esperror
ret

回答No.1

zwi

releaseビルドかdebugビルドかでも変わりますが、ローカル変数だけでなく戻り番地とかレジスタを退避するのでスタックフレームのサイズは大きいです。あとコンパイルがＣ++かＣ言語かとか呼出規約がcdeclやstdcallなのかとかでも変わると思います。

「コールスタック - Wikipedia」
http://ja.wikipedia.org/wiki/%E3%82%B3%E3%83%BC%E3%83%AB%E3%82%B9%E3%82%BF%E3%83%83%E3%82%AF
「呼出規約 - Wikipedia」
http://ja.wikipedia.org/wiki/%E5%91%BC%E5%87%BA%E8%A6%8F%E7%B4%84

お礼

そうか～、最近レジスタは多いですからね。

問題が起こってるのはdebugビルドです。

ありがとうございました。