0

例1のように非型テンプレートを使って、要素数Nの配列に対する関数テンプレートは作成できますが、さらにテンプレートパラメータパックを使用して、例2のように要素数の違う複数の配列を受け取れるようにしたいです。

// 例1
#include <iostream>
#include <array>

template <size_t N>
void func(const char (&s)[N])
{
  std::cout << s;
}

int main()
{
    func("aaa");
}
// 例2
template<typename T>
void print(T t) {
    std::cout << t << std::endl;
}

template<typename T, typename... Ts>
void print(T t, Ts... ts) {
    std::cout << t;
    print(ts...);
}

template <size_t... Ns>
void func(const char (&s)[Ns]...)
{
  print(s...);
}



int main()
{
    func("aaa", "bbbb");
}

例2のコードは以下のエラーでコンパイルエラーになってしまいます。

prog.cc:5:30: error: '...' must immediately precede declared identifier
void func(const char (&s)[Ns]...)
                             ^~~
                       ...
prog.cc:7:3: error: call to function 'print' that is neither visible in the template definition nor found by argument-dependent lookup
  print(s...);
  ^
prog.cc:24:5: note: in instantiation of function template specialization 'func<4UL, 4UL>' requested here
    func("aaa", "bbbb");
    ^
prog.cc:16:6: note: 'print' should be declared prior to the call site
void print(T t, Ts... ts) {
     ^
2 errors generated.

このコードをコンパイルできるようにするにはどのように修正すればよいでしょうか?
funcのコードを以下のパターンでもで試しましたが、いずれもダメでした。

template <size_t... Ns>
void func(const char (&s)[Ns...])
{
  print(s...);
}

template <size_t... Ns>
void func(const char (&s...)[Ns])
{
  print(s...);
}

template <size_t... Ns>
void func(const char... (&s)[Ns])
{
  print(s...);
}

そもそも、要素数の違う複数の配列を受け取る関数テンプレートの作成は可能でしょうか?

1 件の回答 1

3

正解はここでした。

template <size_t... Ns>
void func(const char (&... s)[Ns])
{
  print(s...);
}

こっちのほうが見やすい

template <size_t N>
using CharArray = char[N];
 
template <size_t... Ns>
void func(CharArray<Ns>&... s)
{
  print(s...);
}

この質問に回答するには、ログインする必要があります。

求めていた回答ではありませんか? のタグが付いた他の質問を参照する。