C++ の話だけど、Modern C++ Design ではテンプレートで sizeof を使う話が載ってたな。
テンプレートはコンパイル時に全て型計算が終わるから、 >>713 の例はともかく、
コンパイル時に確定している sizeof に関してテンプレートで使えないって強弁するのもなぁ。
要するに sizeof がいつ計算されるかは決まって無いにしろ、コンパイル時に確定している型の
sizeof の計算が必ず実行時に計算されると発想するのは極端なんじゃないかな？