例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...);
}
そもそも、要素数の違う複数の配列を受け取る関数テンプレートの作成は可能でしょうか?