模板功能使用参数包时如何传递其他模板参数？

Question

当函数/类使用参数包时，是否可以有其他模板参数？

我尝试简单的求和函数。我想使用template Printer类进行打印。怎么做？如何告诉编译器专门“标记”第一个参数...或有一些解决方法。

下面的代码会产生错误。

#include <iostream>

template <typename T>
double sum(T t)
{
    return t;
}

template <typename Printer, typename T, typename... Rest>
double sum(Printer printer, T t, Rest... rest)
{
    printer.print();

    return t + sum(rest...);
}

struct P
{
    void print() { std::cout << "= " << std::endl; }
};

int main()
{
    P printer;
    std::cout << sum(printer, 2, 3, 4.1) << std::endl;
    return 0;
}

Answer 1

您会收到一条错误消息，因为唯一接受多个参数的sum重载期望第一个参数是打印机对象。由于您只想打印一次，因此最干净的方法是将求和运算完全分成自己的函数：

template <typename T>
double sum_impl(T t)
{
    return t;
}

template <typename T, typename... Rest>
double sum_impl(T t, Rest... rest)
{
    return t + sum(rest...);
}

，然后在sum

中使用它

template <typename Printer, typename T, typename... Rest>
double sum(Printer printer, T t, Rest... rest)
{
    printer.print();

    return sum_impl(t, rest...);
}