>>655
解説どうも。
しかし、たとえばclass Bでfを定義すると、
A.fとは全く別の物になりますよね？

クライアントがclass Aのfを期待して呼び出したつもりが、
全く別のfが呼ばれていると言うことになりますよね？

分割コンパイルについて、テキストではなく
中間コード形式のバイナリで保存するのを考えていますので、
場合によってはクライアントが実装の宣言を見ることが出来なくなります。
こうなってくると、ドキュメントを完全に信じないといけないことになりますので。