スタックオーバーフローの仕様の続きの続き

ref: http://d.hatena.ne.jp/ku-ma-me/20081017/p1
ref: http://d.hatena.ne.jp/ku-ma-me/20081019/p2

なんか知らないうちに 2ch で議論されてたので引用。

600 :デフォルトの名無しさん:2008/12/26(金) 19:39:16
http://d.hatena.ne.jp/ku-ma-me/20081017/p1
これってどうなの?


601 :デフォルトの名無しさん:2008/12/26(金) 22:47:14
>>600
似たような話で、規格にはプログラムのサイズについて規定は無いが、実際には有限だ。

関数定義が CPU インストラクションの列で実装されていれば、対象環境の
プログラム配置領域サイズによって制限を受ける。

同じように、自動記憶域がスタックで実装されていれば、対象環境でのスタックの
サイズに応じてプログラムが制限を受ける。

そういうことだと思う。つまりは、言語の規格は上記のような制限の無い仮想マシン
ついての動作を規定するもので、実装方法や実際の動作環境によって生じる制限には
関知しない、と。

【初心者お断り】ガチ規格準拠C専用スレ Part133

プログラムのサイズかあ。なるほどなあ。この人の言う通りなら、「現実のコンピュータで C 言語の規格に完全に準拠することは不可能」ということかな。