VARIADIC шаблон не компилируется

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 answer: https://stackoverflow.com/a/20879525/924727)