c++ - 可变参数模板与使用元组在参数中添加不同的数据对

Question

以下主要代码工作正常

    string hello = "Hello ";
    string world = "templates!";

    cout << "var template add: ";


    cout << setprecision(2) <<
        var_template_add(5, 4, 5.5, 4.0);

用于遵循模板生成器代码和可变参数函数

template <typename T> 
auto add(T a, T b) {
    return a + b;
}


template <typename T, typename... Rest> 
auto var_template_add(T first, T second, Rest... others) {
    return first + second + add (others...);
}

但是，如果再添​​加两个字符串args，就像这样

var_template_add(5, 4, 5.5, 4.0, hello, world);

被编译器错误捕获，提示“找不到匹配的重载函数”。
再次，

string hello = "Hello ";
string world = "templates!";
cout << "strings add result: " << setprecision(2) << add(hello, world) << endl;

如果我像下面这样写模板函数“添加”，则可以工作:

template <typename T1, typename T2>
auto add(T1 a, T2 b) {
    return a + b;
}

我的问题是，我怎么能排成一线

var_template_add(5, 4, 5.5, 4.0, hello, world);

工作而无需编写上面的另一个添加功能？
请注意，我可以使用元组来传递此值，但就目前而言，我只想远离。有什么想法/改进吗？

Answer 1

当前调用工作的唯一方法是让var_template_add返回单个类型，因此它必须是字符串。
相反，您可以在函数内部编写cout，因此您只需要:

template <typename T, typename... Rest> 
auto var_template_add(T first, T second, Rest... others) {
    cout << setprecision(2) << (first + second) << " ";
    if constexpr (sizeof...(others)) var_template_add(others...);
}

这是 demo。
请注意，在c++ 17之前没有 if constexpr，因此在这种情况下，将额外的重载作为基本情况是一个不错的选择。