部分特殊化

ウィキペディア小見出し辞書

部分特殊化

出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2020/10/02 16:54 UTC 版)

「テンプレートの部分特殊化」の記事における「部分特殊化」の解説

部分特殊化は、複数の型にまたがって影響を及ぼすようになった明示的特殊化であると言える。 templatestruct get_iterator{ typedef typename Container::iterator type;}; このコードは例えば、次のように用いる。 using std::string;string s = "abc";get_iterator::type it = std::find(s.begin(), s.end(), 'a'); ここで、次のような部分特殊化を導入する。 templatestruct get_iterator{ typedef T* type;}; get_iteratorの後ろのという記述で、コンパイラはこれが部分特殊化だと認識する。これによって、次のように配列に対してもget_iteratorが使用可能になる。 const int MAX = 10;int a[MAX] = {1, 2, 3, 4, 5, 6, 7, 8, 9, 10};get_iterator::type it = std::find(a, a + MAX, 5); int[MAX]だけでなく、const char[80]やstd::complex[4]などT[N]の形に一致する型であればいずれも部分特殊化版のget_iteratorが使用される。このように、どの一次テンプレート・明示的特殊化・部分特殊化を使用するかはパターンマッチ的に決定される。 テンプレートの部分特殊化が可能なのはクラステンプレートのみである。関数テンプレートは部分特殊化できず、明示的特殊化のみ可能である。しかし多くの場合、関数テンプレートの部分特殊化は多重定義によって代用できる。