質問をすることでしか得られない、回答やアドバイスがある。

15分調べてもわからないことは、質問しよう!

新規登録して質問してみよう
ただいま回答率
85.50%
C++

C++はC言語をもとにしてつくられた最もよく使われるマルチパラダイムプログラミング言語の1つです。オブジェクト指向、ジェネリック、命令型など広く対応しており、多目的に使用されています。

Q&A

解決済

1回答

711閲覧

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

wistaile

総合スコア24

C++

C++はC言語をもとにしてつくられた最もよく使われるマルチパラダイムプログラミング言語の1つです。オブジェクト指向、ジェネリック、命令型など広く対応しており、多目的に使用されています。

0グッド

0クリップ

投稿2019/10/07 16:16

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

前提

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

C++

1template <class T, class U, class V> 2struct A {}; 3 4template <template <class...> class TT> 5void test0() {} 6 7int main() { 8 test0<A>(); 9}

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

C++

1template <int i, size_t j, char k> 2struct B {}; 3 4template <template <auto...> class TT> 5void test1() {} 6 7int main() { 8 test1<B>(); 9}

質問

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

C++

1template <int i, class T, class U, int j> 2struct C {}; 3 4template <template < ??????? > class TT> 5void test2() {} 6 7int main() { 8 test2<C>(); 9}

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

気になる質問をクリップする

クリップした質問は、後からいつでもMYページで確認できます。

またクリップした質問に回答があった際、通知やメールを受け取ることができます。

バッドをするには、ログインかつ

こちらの条件を満たす必要があります。

guest

回答1

0

ベストアンサー

こんにちは。

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

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

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

C++

1template <auto X> struct NonType { }; 2template <class... Args> struct Foo { }; 3 4 : 5 6Foo<int, NonType<123>> foo;

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

投稿2019/10/08 04:21

編集2019/10/08 04:22
Chironian

総合スコア23272

バッドをするには、ログインかつ

こちらの条件を満たす必要があります。

あなたの回答

tips

太字

斜体

打ち消し線

見出し

引用テキストの挿入

コードの挿入

リンクの挿入

リストの挿入

番号リストの挿入

表の挿入

水平線の挿入

プレビュー

15分調べてもわからないことは
teratailで質問しよう!

ただいまの回答率
85.50%

質問をまとめることで
思考を整理して素早く解決

テンプレート機能で
簡単に質問をまとめる

質問する

関連した質問