> でもexpression templateの多用って実行コードを
> 爆発的に肥大化させるように思えるんだが，
確かに typeof / auto がないと途中でExpression Templateを
virtual関数に分断せざるを得ないのでその分コード量が
増えるんだがしかし、

逆に言えばtypeofやautoや型推論があれば、むしろETによって
最適コードだけが出力されるので、実行コード量は減る方向に
行くんじゃないかと思う。例えば型情報を全部手書きで頑張ると、
　http://www.boost.org/libs/spirit/doc/techniques.html
　の no_rule3.cpp
くらいにはすぐに落ちるわけで。