テンプレートの問題は、パラメータとして必要な特定のアイテムを指定する必要があるtypenameことtemplateですvalue。ただし、次のパラメーターがこれら 3 つのいずれかであるかどうかに基づいてテンプレートを特殊化するとは言えません。
次の例のように、これらのパラメーターに基づいて特化する方法があるとしたらと考えていました。
template <...Xs>
struct X;
template <template <typename...> class TT>
struct X<TT> {};
template <typename T>
struct X<T> {};
template <typename T, T I>
struct X<I> {};
これは、指定されていないパラメーターのパラメーター パックを受け取るテンプレートであり、特殊化によってのみアクセスできます。
これにより、テンプレートの特殊化をより詳細に制御し、任意のパラメーター リストを受け入れることができます。このような機能について何か議論されているかどうか知っている人はいますか?
そうでない場合、提案プロセスはどのようなものですか?