c++ - 具有通用引用的成员函数模板不接受左值

标签 c++ templates c++11 universal-reference

我一直在尝试使用模板成员函数在我的类中设置一个值。我想使用通用引用,以便我可以接受正确类型的任何变体(例如 TT&T&&常量 T, 常量 T&, 常量 T&&)

但是,我的成员函数似乎只接受右值,这与接受通用引用的自由函数不同。

template <typename T>
class Foo{
public:
    void memberURef(T&& t){
        val = std::forward<T>(t);
    }
private:
    T val;
};


template <typename T>
void freeURef(T&& t){

}

int main() {
    int lval = 1;
    const int clval = 1;
    freeURef(lval); // fine
    freeURef(clval); // fine

    Foo<int> foo;
    foo.memberURef(2);
    foo.memberURef(lval); //error: cannot bind 'int' lvalue to 'int&&'
    foo.memberURef(clval); //error: no matching function for call to 'Foo<int>::memberURef(const int&)'
    return 0;
}

最佳答案

在给出的代码中,Foo被实例化为 Foo<int> .一旦发生这种情况,类模板就会被实例化,如下所示:

class Foo{
public:
    void memberURef(int&& t){       // Uh oh!
        val = std::forward<int>(t);
    }
private:
    int val;
};

注意成员函数不再是模板,因此不再接受通用引用,而是右值引用。为了使成员函数接受通用引用,Foo类需要修改如下:

template <typename T>
class Foo{
public:
    template <typename L>
    void memberURef(L&& t){
        val = std::forward<L>(t);
    }
private:
    T val;
};

这样,memberURef在类模板被实例化之后仍然是一个函数模板,因此它仍然接受一个通用引用。

关于c++ - 具有通用引用的成员函数模板不接受左值,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/28643645/

相关文章:

c++ - 构造函数中的模板类转换

c++ - 无法使用重载运算符<<来打印对象的值

c++ - 在 C++11 中获取当前时间的最快方法是什么?

c++ - 删除数组时delete和delete[]是一样的吗?

c++ - 如何在 Redhat Enterprise 上安装 C++11 C++0x 头文件

c++ - 高效生成 UTC 时间戳

c++ - C++模板元编程的归纳法是什么?

c++ - Sublime 上的 EasyClangComplete 有什么用?

参数中的c++ const

c++ - C++14 中的简单 constexpr LookUpTable