以下のコードは、多くのコンパイラでエラーになりますが C++03 ではこれを禁止する規定はありません。 template <int I> struct A {}; char xxx(int); char xxx(float); template <class T> A<sizeof(xxx((T)0))> f(T){} int main() { f(1); } これが問題になる理由は ・実装が難しいから ・名前</sizeof(xxx((t)0))></class></int>…