「gcc-3.4に脅かされるFreeBSD5.3-RELEASE」記事へのコメント

ソースコードの書き方にも問題がある．

[annoymouse coward (11178)]

gcc3.4.0でgrubをコンパイルするとコードサイズが異常に大きくなるとの事ですが，
grubがコンパイラのバグという地雷を踏んだ理由の一つとして
そのソースコードの書き方にも原因があると思います．

grubの該当するソースコードは，関数の中で関数を定義するという妙な記述をしています．
これは，一般的なC言語の文法上はエラーになるので，めったに利用されない

Re:ソースコードの書き方にも問題がある．

[Anonymous Coward]

Algol60以降のプログラミング言語は手続きを入れ子にできる仕様をもつものが多く
て、識別子の有効範囲規則はそのために存在していました。Pascal, PL/I, Ada ...

むしろ、C言語の仕様が手抜きではないでしょうか。手続きが入れ子にできなければ、
実行時に静的リンク/ディスプレイが不要に

Re:ソースコードの書き方にも問題がある．

[Anonymous Coward]

実行時に静的リンク/ディスプレイが不要になるため、実行時環境の手抜きができるということでしょう。

実行時環境とは何の関係もありませーん。スタティックリンクを含めたアクティベーションレコードやディスプレイをセットアップするのはコンパイラのお仕事です(スタティックリンクを含めてアクティベーションレコードをきちんとセットするようなコードを生成する訳ですから)。つまり、Cはコンパイラ作成者が楽できる仕様、ってことです。

で、言語理論から見たら手抜きなのは重々承知でコンパイラ作成者の利便性を取ってそうやってるわけですから(しかもこの手抜きは超有名な話)

むしろ、C言語の仕様が手抜きではないでしょうか

などと言われても、「何を今さらそんなこと」と以上の反応はできませんね。