c++中的 variadic template function 中的 Args 不能接受 0 个参数？

按照定义 Args 应该是可以接受 0 个参数的，但是为什么如下的代码不能正确编译呢？（ c++11)

#include <iostream>
#include <string>

template <typename T, typename... Args>
auto print(std::ostream& os, const T& t, const Args&... rest) -> decltype(os)
{
    os << t;
    if (sizeof...(Args) == 0)
        return os << t;
    else
        return print(os, rest...);
}

int main()
{
    print(std::cout, std::string("hepup"));
    print(std::cout, 1, 2.23434);
    print(std::cout, "hello", '\n', 3.134, true, 1e8);
    return 0;
}

错误提示的是

recursive.cc:16:16: error: no matching function for call to 'print'
        return print(os, rest...);
               ^~~~~
recursive.cc:21:5: note: in instantiation of function template specialization
      'print<std::__1::basic_string<char>>' requested here
    print(std::cout, std::string("hepup"));
    ^
recursive.cc:10:6: note: candidate function template not viable: requires at least 2
      arguments, but 1 was provided
auto print(std::ostream& os, const T& t, const Args&... rest) -> decltype(os)
     ^
1 error generated.

诸如此类的。

按照标准A template parameter pack is a template parameter that accepts zero or more template arguments (non-types, types, or templates)那么应该是可以接受 0 个参数，然后通过判断条件结束递归。可是为什么会编译出错呢？

geelaw

2020-01-07 14:47:50 +08:00

因为一个对 print(os) 的调用总是会产生，所以出错。

一种解法是用 if constexpr 阻止不发生的路径的代码生成。
另一种是用重载

template <typename T>
std::ostream &print(std::ostream &os, T const &t) { return os << t; }

template <typename T, typename ...TRest>
std::ostream &print(std::ostream &os, T const &t, const TRest &...rest) { return print(os << t, rest...); }

第一个版本更加优先。

更自然的解法是允许 0 个东西被打印：

template <typename T>
std::ostream &print(std::ostream &os) { return os; }

template <typename T, typename ...TRest>
std::ostream &print(std::ostream &os, T const &t, const TRest &...rest) { return print(os << t, rest...); }