可变参数模板未编译

Question

#include <iostream>

template<typename A, typename... B>
void prints(A num, B... args){
    std::cout << num << std::endl;
    prints(args...);
}

int main(){
    prints(1,2,3);
    return 0;
}

当我编译时，我得到了这些错误：

In instantiation of 'void prints(A, B ...) [with A = int; B = {}]':
error: no matching function for call to 'prints()'

main.cpp:4:10: note:   template argument deduction/substitution failed:
main.cpp:7:11: note:   candidate expects at least 1 argument, 0 provided

Answer 1

使用折叠表达式的另一种解决方案如下所示：

#include <iostream>
#include <utility>

template <class... TArgs>
void prints(TArgs&&... args) {
    (std::cout << ... << std::forward<TArgs>(args));
}

int main(){
    prints(1,2,3);
    return 0;
}

Answer 2

函数等待1个或多个参数：

template<typename A, typename... B>
void prints(A num, B... args)

当您仅使用1个参数调用它时，参数 包为空，因此递归调用：

prints(args...);

变成了

prints();

但函数等待（至少）1个参数，因此无法匹配此调用。

您需要添加print（）的零参数重载以匹配空调用：

void prints()
{ }

您必须在递归版本之前声明它。

正如Evg所指出的（谢谢），从C 17开始，您可以避免零参数重载，并且使用if constexpr，您只能在参数 不为空。

那就是...从C 17开始你可以写

template <typename A, typename... B>
void prints (A num, B... args) {
   std::cout << num << std::endl;

   if constexpr ( sizeof...(args) > 0u )
      prints(args...);
}

你不再需要零参数重载了。

请注意，如果您只是简单地编写（使用简单的if，没有if constrexr）

   if ( sizeof...(args) > 0u )
      prints(args...);

您会得到一个编译错误（没有零参数重载），因为编译器必须编译打印（args…） 零件也当尺寸。。。（args）为零（如果constexpr可以避免此情况，则正好是零）。