Question

我正在学习模板并尝试实现此方法：

template <typename Func, typename Left, typename Right>
void flipArgs(Func* function, Left&& leftArg, Right&& rightArg) {
    function(std::forward<Right>(rightArg), std::forward<Left>(leftArg));
}

它需要一个函数和两个参数，并在翻转两个参数的情况下调用给定的函数。

它的功能如下：

void test1(std::string, int) {
}

当我尝试这个功能时：

template <typename T>
void test2(T&& a, int) {
}

使用：

string s("test");
flip(test2<string>, 42, s);

编译器（g ++ 4.7.1）告诉我：

错误：无法将'std :: basic_string'左值绑定到'std :: basic_string＆amp;＆amp;'

我认为T&&之类的函数参数是一个可以绑定到rvalue和lvalue引用的特殊情况？我做错了什么？

Answer 1

我认为像T&&这样的函数参数是一个可以绑定到[rvalues和lvalues]的特殊情况吗？

是的。它基本上意味着模板可以为左值和右值具有不同的实例。

但是......当您在T中明确指定string为test2<string>时，您正在选择一个特定实例：void test2(string&&, int)。 string&&不再是那种特殊情况。 string&&只能绑定到字符串rvalues。没有一个实例化可以绑定rvalues和lvalues。

一般情况下，我建议不要明确传递函数模板参数（除非是这些参数，如std::forward或std::make_unique）。

在这种情况下，您可以强制执行一个绑定到左值的实例化。像flip(test2<string&>, 42, s);这样的东西，会实例化void test2(string&, int)。

如果你真的想要传递一个可以同时接受左值和右值的flip的参数，你需要一个多态函数对象：

struct test2 {
    template <typename T>
    void operator()(T&& a, int) const {
    }
};
flip(test2{}, 42, s);

这里的关键是决定在传递参数时不使用哪种特化，而是稍后才使用该参数。

为了完整起见，在C ++ 14中，您实际上可以使用新的lambda语法创建匿名多态函数对象：

auto test2 = [](auto&& a, int) {};
flip(test2, 42, s);

模板函数作为模板参数

1 个答案: