Question

我不知道我所拥有的是编译器错误，还是我不知道我正在尝试做什么的语法。想象一个需要2个数组引用的函数：

void takeArrays(const char (&str1)[4], const char (&str2)[4]) {
}

使用以下方法编译时编译正常：

takeArrays("foo", "bar");

为什么我要这样做？因为传递const char*会丢失字符串文字的大小信息，这对我正在做的事情很重要。

然而，我真正想做的是传递可变数量的数组引用。事情变得有点丑陋（变得更糟）。我天真地尝试过这个：

template<typename... Args>
void takeArrays(const char (&Args... strs)[4]) {
}

得到"error: variable or field ‘takeArrays’ declared void"和"error: expected primary-expression before ‘const’"（gcc 4.6）。所以我尝试了这个：

template<typename... Args>
void takeArrays(const char (&(Args... strs))[4]) {
}

得到"no matching function for call to ‘takeArrays(const char [4], const char [4])’"和"candidate is template<class ... Args> void takeArrays(const char (& (*)(Args ...))[4])"。这是不可读的，但似乎接近我想要的。我尝试了很多变化，似乎无法编译。

假设有一种正确的方式来编写上述内容，我真正想做的就是调用：

takeArrays("foo", "foobar", "longerstring");

获取不同大小的数组的可变列表，即上面的调用应由编译器扩展为：

void takeArrays(const char (&str1)[4], const char (&str2)[7],
                const char (&str3)[13]);

这是我尝试过的第一个想法，我的尝试是这样的：

template<size_t... Sizes>
void takeArrays(const char (&strs)[Sizes]...);

毋庸置疑，我得到的只是错误消息。我知道我正在尝试做的事情有点疯狂，但我真的想知道它是否可能，如果可能，那么适当的语法是什么。提前谢谢。

Answer 1

相同元素类型的可变数组的语法是：

template<size_t... Sizes>
void takeArrays(const char (&...args)[Sizes]);

这类似于一般的可变参数const引用语法：

template<typename... Args>
void takeArrays(const Args &...args);

一种容易记住的方法是省略号紧跟在参数名称之前。

可变参数模板数组引用参数的语法是什么？

1 个答案: