いまだにどのコンパイラーも実装してない6年前に追加されたC++0xの新機能

以下のコードは、well-formedなC++0xのコードである。

template < void * = nullptr >
void f() { }

int main()
{
    f() ; // OK
    f<nullptr>() ; // OK
}

まず、function template parameterは、default argumentを取ることができるようになった。これは、gccがサポートしている。

また、non-type tepmlate argumentは、nullポインターに変換可能な定数式を取ることができるようになった（14.3.2 [temp.arg.nontype]）。これは、どのコンパイラーも未だに実装していない。したがって、上記のコードは、現行のコンパイラーではコンパイルできない。

はたして、これは単に未実装なのか。しかし、関数テンプレートのデフォルト実引数は実装しているのに、これを実装していないというのは、忘れているんじゃないだろうか。gccにバグレポートすべきなんだろうか。