2010-09-05

興味深い変更点

最新のドラフトであるN3126では、14.7.3 Explicit specialization [temp.expl.spec]から、non-deletedという言葉が削除されている。これはつまり、以下のようなコードが書けるということを意味する。

// あらゆるインスタンス化の定義を削除
template < typename T >
void g( T ) = delete ;

// 削除されていない定義
template < >
void g< double >( double ) { }

void call_g()
{
    g( 0 ) ; // エラー
    g( true ) ; // エラー
    g( 0.0 ) ; // OK   
}

関数gは、double以外の型でinstanciateされると、エラーとなる。

以前の文面では、deleted functionを明示的に特殊化することはできなかった。そのため、同じ事をしようとすれば、非テンプレートなオーバーロード関数を書くしかなかっただろう。C++0xでは、関数の明示的な特殊化ができる。そして、別にプライマリーテンプレートではdeletedな定義を、特殊化で定義するのは、特に問題はないと思われる。結局、同じことは非テンプレートなオーバーロード関数で行えるのだ。

No comments: