C++11新特性:std::move()和std::forward()

只谈情不闲聊 提交于 2020-02-29 05:51:14

    C++11通过std::move()和std::forward()函数分别实现了左值转右值和完美转发的功能。

    对于std::move(),考虑如下情形:

    void func(int &&args) {

        std::cout << args << std::endl;

    }

    int a = 10;

    func(20);    // ok

    func(a);      // error, 右值引用不能绑定左值

    func(std::move(a));    // ok

    

    对于std::forward(),完美转发,当

    void func(int &arg) {
        std::cout << "func lvalue" << std::endl;
    }

    void func(int &&arg) {
        std::cout << "func rvalue" << std::endl;
    }

    template <typename T>
    void wrapper(T &&args) {
        func(args);
    }

    int main() {
        int a = 10; 

        wrapper(a);
        wrapper(20);

        return 0;
    }
    以上函数输出:

        func lvalue
        func lvalue

    虽然我们调用wrapper()函数时,传入的参数一个是左值,一个是右值,但是最终的输出确都是左值。原因是我们在中间加了一层转发函数wrapper()。

    引用叠加,引用是可以叠加的,对于 T &&a; 叠加规则如下:

    (1)当T类型为 Type 时,a 为 Type &&a,右值引用。

    (2)当T类型为 Type& 时,a为 Type &a,左值引用。

    (3)当T类型为 Type&& 时,a为 Type &&a,右值引用。

   通过引用叠加,分析以上示例可知,调用wrapper()时,wrapper(a) 是调用的原型是 wrapper(int &),是左值调用;wrapper(20)调用的原型是wrapper(int &&),是右值调用。但是在wrapper()函数内部,无论如何,args都是一个左值,在调用func()函数的时候,调用的func()原型总是func(int &)。

    因此,根本原因其实是,右值引用属性不能被转发。所以,C++11提供了std::forward()函数用于完美转发。即,在转发过程中,左值引用在被转发之后仍然保持左值属性,右值引用在被转发之后依然保持右值属性。修改之后的代码如下:

 void func(int &arg) {
        std::cout << "func lvalue" << std::endl;
    }

    void func(int &&arg) {
        std::cout << "func rvalue" << std::endl;
    }

    template <typename T>
    void wrapper(T &&args) {
        func(std::forward<T>(args));
    }

    int main() {
        int a = 10; 

        wrapper(a);
        wrapper(20);

        return 0;
    }

    如此,输出如下:

        func lvalue
        func rvalue

标签
易学教程内所有资源均来自网络或用户发布的内容,如有违反法律规定的内容欢迎反馈
该文章没有解决你所遇到的问题?点击提问,说说你的问题,让更多的人一起探讨吧!