テンプレートテンプレートパラメータとして、非型テンプレートパラメータが混在するテンプレートを受け取りたい

Question

バージョンはC++17です。

前提

以下のようにテンプレート引数を複数持つようなクラスは、可変長テンプレートテンプレートパラメータを用いて受け取ることができます。

template <class T, class U, class V>
struct A {};

template <template <class...> class TT>
void test0() {}

int main() {
  test0<A>();
}

一方で、非型テンプレート引数を複数持つようなクラスは、autoを用いて以下のように受け取ることができます。

template <int i, size_t j, char k>
struct B {};

template <template <auto...> class TT>
void test1() {}

int main() {
  test1<B>();
}

質問

同様にして、普通のテンプレート引数と非型テンプレート引数が混在しているクラス一般（例えばstd::array）をテンプレートテンプレートパラメータで受け取ることはできますか？

template <int i, class T, class U, int j>
struct C {};

template <template < ??????? > class TT>
void test2() {}

int main() {
  test2<C>();
}

よろしくお願いいたします。

Answer 1

こんにちは。

テンプレート・テンプレート・パラメータとして渡す可変長引数テンプレートでは、ややこし過ぎるので、その前提となる可変長引数パラメータで非型パラメータと型パラメータを混在できるのか？について回答してみます。

パラメータパックを見る限り可変長引数テンプレートに、非型パラメータと型パラメータを混在する記述はないようなので、少なくとも直接的には無理だろうと思います。

以下のようにラップして渡すことはできます。

template <auto X>        struct NonType { };
template <class... Args> struct Foo { };

    :

Foo<int, NonType<123>> foo;

テンプレート・テンプレート・パラメータとして受け取れるのか？については、できそうな気もするのですが、ごめんなさい、複雑過ぎて手がでません。