>>345
＞仮定義は、複数のファイルを跨げないんだよ。
この解釈も不可解だね。

ISO/IEC 9899:1999 9.6.2.3
If the declaration of an identifier for an object is a tentative definition and has internal
linkage, the declared type shall not be an incomplete type.
という項目がある。これは、static int a[]; みたいな内部リンケージであって不完全な（＝サイズがわからない）宣言を許さないという意味。
しかしここで着目したいのは、仮定義であって外部リンケージであることもありうる、という点。仮定義かつ外部リンケージとして存在できるということと
＞仮定義は、複数のファイルを跨げないんだよ。
という主張は矛盾するのだが？