c++ - 可变参数形式与单个参数的非可变参数形式不明确

Question

为什么在下面的代码中编译器不会因为歧义而提示？

template <typename T>
void print (const T& arg)
{
std::cout << arg << std::endl;
}
template <typename T, typename... Types>
void print (const T& firstArg, const Types&... args)
{
std::cout << firstArg << std::endl;    // print first argument
print(args...);                       // call print() for remaining arguments
}

Answer 1

这是因为重载决议总是偏爱非可变函数形式而不是可变函数形式。

C++11 标准坚持这一点。