特定のテンプレートのインスタンス化のみを行うタイプのテンプレートパラメータを制限する

Question

タイプテンプレートパラメータを特定のテンプレートのインスタンス化のみを受け入れるように制約する慣用方法とは何ですか？

例えば、

template<typename P> 
class C { 
    C() = default; 
    ... 
}; 

template<typename T> 
class Accepted { 
    ... 
}; 

template<typename T> 
class Other { 
    ... 
}; 

C<Accepted<float>> obj1; // should compile 
C<Accepted<int>> obj2; // should compile 
C<Other<int>>  obj3; // should not compile 
C<double>   obj4; // should not compile 

Answer 1

専門は答えです。

template<typename P> class C; 

template<typename T> 
class Accepted { 
    ... 
}; 

template<typename P> 
class C<Accepted<P>> { 
    C() = default; 
    ... 
}; 

以上がインスタンス化するとき、それは専門を選択するための任意のC<Accepted<T>>がよく形成することができます。 C<T>のようなものは、一次特殊化を選択しますが、これは定義されていないため、コンパイルされません。

Answer 2

私は文脈についてもっと知ることなく、2つの可能な答えを見ています。

template<typename T> class C; 
template<template<typename> typename TT, typename T> class C<TT<T>> { 
... static_assert(std::is_same<TT<T>, Accepted<T>>::value, "The given type is not an instantiation of Accepted!"); ... 
} 

これは非常に有用です - これは何のために特別ですか？ 2番目のテンプレートがあるとします。 SortedAccepted<T>という同じ要件を満たしていますが、テンプレート引数をAccepted<T>に制限しています。

1つのオプションは、自分自身を受け入れたとして、それからの派生は同じ制約条件を満たさなければならないように契約として受け入れ設計することです：

template<template<typename> typename TT, typename T> class C { 
... static_assert(std::is_base_of<Accepted<T>, TT<T>>::value, 
    "The given type is not a derivation of Accepted!"); ... 
}; 

これが受け入れを延長する必要があることを設計原理から、次のではなく、その派生によって、修正された。前の例から、Acceptedは冪等のソートメソッド（accepted.sort().sort() == accepted.sort()）を必要とするかもしれませんが、SortedAcceptedは暗黙的にこのプロパティを保持しますが、さらにsorted_accepted.sort() == sorted_acceptedを提供します。 Acceptedが期待される場所であればどこでもSortedAcceptedを許可することで失うものはありませんが、十分に得ることができます！

私があなたの問題を正しく理解していれば、あなたは形質とコンセプトに興味があるかもしれません。

<type_traits>およびBoost's extensionsに見られるタイプの形質は、形質を共有するコレクション、これらの表現などについてコンパイル時の保証を提供します。たとえば、S s; T t; auto u = s + tの場合、std::is_arithmetic<S>::valueおよびstd::is_arithmetic<T>::valueがtrueの場合、std::is_arithmetic<decltype(u)>::valueがtrueになります。 is_floating_pointのいずれかである場合、uも同様です。

Conceptsは、型形質由来の次の論理的ステップである：本質的にはreified要件の形質である。 （ 'Concepts Lite'）