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

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...);
}