可变参数模板未编译[重复]

Question

代码：

#include <iostream>

template<typename T>    
void out()                   // line 4
{
}

template<typename T, typename... Args>
void out(T value, Args... args)        // line 9
{
    std::cout << value;
    out(args...);    // line 12
}

int main()
{
    out("12345", std::endl);    // line 17
    return 0;
}

构建错误：

g++ -O0 -g3 -Wall -c -fmessage-length=0 -std=c++11 -pthread -MMD -MP -MF"main.d" -MT"main.d" -o "main.o" "../main.cpp"
../main.cpp: In function ‘int main()’:
../main.cpp:17:24: error: no matching function for call to ‘out(const char [6], <unresolved overloaded function type>)’
../main.cpp:17:24: note: candidates are:
../main.cpp:4:6: note: template<class T> void out()
../main.cpp:4:6: note:   template argument deduction/substitution failed:
../main.cpp:17:24: note:   candidate expects 0 arguments, 2 provided
../main.cpp:9:6: note: void out(T, Args ...) [with T = const char*; Args = {}]
../main.cpp:9:6: note:   candidate expects 1 argument, 2 provided

我想让这个程序给出和std::cout << "12345" << std::endl;一样的结果模板函数有什么问题？

Answer 1

问题是您将out 的无参数版本设置为模板，如果不显式提供模板参数就无法调用它。因此

void out() {}

template<typename T, typename... Args>
void out(T value, Args... args) {
    std::cout << value;
    out(args...);
}

int main() {
    out(1, 2.0, "3");
    return 0;
}

按预期工作。

Answer 2

有一个语法错误（缺少.）导致编译器发疯。

之后，您可能还会遇到out("12345", std::endl) 调用的问题，因为std::endl 是编译器无法选择的重写函数（只需将其转换为static_cast<std::ostream&(*)(std::ostream&)>(std::endl)）

另外，out 中的递归以 out() 调用结束，但没有输出为 0 的参数。（另请参阅 yuri 回答：https://stackoverflow.com/a/20879525/924727）