スタックオーバーフローの仕様の続き - まめめも

いろいろコメントをいただきました。ありがとうございます。 問題点を整理すると、 1. 「無限に再帰呼び出しをする」という意味は、リソースが有限な現実のコンピュータでは実現不可能である (末尾再帰だけとか特殊な例はできるけど、一般的には無理だと思う) 。 2. C 言語の規格を流し読みする限り、くだんのプログラムは「無限に再帰呼び出しをする」という意味になりそう。そうならない理由が見つからない。 3. 1 と 2 より、現実のコンピュータで C 言語の規格に完全に準拠することは不可能である。 で、それはなんか変な気がしたので、2 が間違ってるかと思って聞いてみたのでした。 具体的に何を心配しているかというと、例えば、ものすごくスタックが短くて main 関数の呼び出しすら失敗するような環境 *1 でも、「C 言語の規格に準拠しています」と言っていいんでしょうか。別にいいのか。 ちなみにこの問

[sshi]

「あのプログラムが規格として未定義になる根拠 (または適切に未定義にする規格の作り方) に興味がある」/じわじわおもしろい。/CoqかなにかでCコンパイラをモデル化&検証したって話があったような/参考になるかな

[kgbu]

なるほど、そういう話か。スタックのサイズには上限が定義できるかもしれないが、ネストの深さでは、１回に積む量（引数とかauto変数とか？）が不定だと意味ないかもなー。C++だと違うのだろうか＜調べろ自分