VC++ 再帰呼び出しについて

↓に追加です。

再帰関数に引数をつけているなら、引数をやめてしまって、static変数で次の再帰関数に値を伝える方法もできますね。通常の引数とはちょっと勝手が違いますが、スタックオーバーフローは延期できると思います。
また、戻り値も同様に、voidにして戻り値用のstatic変数を用意すればよいと思います。
ただ、staticは、通常のローカル変数とは勝手が違いますから、注意が必要です。

ちなみに、この場合、再帰に突入するコールで引数を渡せない＆戻り値を受け取れない、という問題が発生します。なので、もしやるとすると、モジュールレベル変数を使用した方がよいかもしれません。

、、、やればやるほど複雑怪奇になり、「再帰＝きれいに書ける」の定理が崩れてきますので、再帰をなくす方向がおすすめです。

投稿日時 - 2003-09-19 12:44:12

記憶が曖昧ですが、VC++6.0の生成するスタックチェックコードは、一度に64KB以上くらいの大きさを確保すると、エラーを出すようになっていたはずです。
OS依存だと思いますが、それより小さいサイズを確保していくぶんには、デフォルトのスタック（1MB程度？）を使い切ったとしてもヒープと同じように自動的にサイズが増えていくので問題になることは少ないでしょう。

再帰かどうかは関係ないですが、関数を呼び出したときに、引数、ベースポインタ、戻りアドレス、呼び出し先関数の自動変数の合計サイズぶんのスタックが使用されます。普通に数十レベルくらいネストしても気にする程ではありません。

void recursiveFunction(int n)
{
char buff[256];
if (n < 100) {
recursiveFunction(n + 1);
}
}

int main()
{
recursiveFunction(0);
return 0;
}

↑くらいのネストなら「深刻」とは言えないです。
もっと巨大な領域を確保する必要があるなら、

struct MyDataType
{
char c[10000];
int n[1000];
double f[2000];
};

void recursiveFunction(int n)
{
MyDataType *p = new MyDataType;
if (n < 100) {
recursiveFunction(n + 1);
}
delete p;
}

↑のようにnewを使えばいいと思います。

投稿日時 - 2003-09-19 03:10:07

こんにちは。

　関数で使うローカルな変数は、別の関数を呼び出すときにすべてスタックに積まれます。つまり、ローカル変数が多くて（領域が大きければなお効果的）、関数呼び出しのネストが深いと、再帰呼び出しでなくてもスタックオーバーフローをおこします。再帰呼び出しでは、気をつけないと呼び出しが何重にもなり、スタックオーバーフローをおこしやすい、ということです。

　このことは、人間が処理の流れを目で追いかけることに喩えるとよくわかると思います。あなたの頭は、いくつの呼び出しを覚えていられますか？覚えられなくなった時点であなたのスタックがオーバーフローしたことになります。

　関数中でstatic宣言すると、次の呼び出しで以前の内容は消えてしまいます。

main() {
recallFunc();
}

recallFunc() {
static int i = 1;
printf("i = %d\n", i++);
recallFunc();
}

さて、結果はどうなるでしょう？

投稿日時 - 2003-09-18 14:56:06