为什么这个可变参数模板是错误的？

Question

只是想知道为什么这是无效的:

#include <iostream>

template <std::size_t... Is>
void foo(Is&&... args) {
    std::cout << "foo called with " << sizeof...(Is) << "params\n"; 
}

int main() {
    foo(1, 2, 3, 4); 
}

这似乎是一个非常合理的例子,但它在任何我可以得到的编译器上都失败了.

如果我取代size_t的class例子按预期工作.我也尝试使用新的auto模板参数,但没有在线编译器接受这个,所以我不知道这是一个无效的用例还是一致性问题.

Answer 1

它不是有效的C++,这就是原因.

如果使用模板参数实例化该函数模板,1, 2, 3, 4则在将参数替换为模板后,您将获得签名:

void foo(1&&, 2&&, 3&&, 4&&);

这显然不是一个有效的功能.

如果你想编写一个接受任意数量参数但只有它们属于正确类型的函数模板,你可以在C++ 17中这样做:

template<typename T>
  using is_size_t = std::is_same<T, std::size_t>;

template<typename... T>
  std::enable_if_t<std::conjunction<is_size_t<T>...>::value>>
  foo(T&&... args);

或者(也使用C++ 17):

template<typename... T>
  std::enable_if_t<(std::is_same_v<std::size_t, T> && ...)>
  foo(T&&... args);

对于C++ 14,您需要std::conjunction自己实现,例如使用p0032r1中的and_模板