调用std::在返回值上移动-签名应该是什么

考虑

class X
{
public:
    std::unique_ptr<int> m_sp;
    A m_a;

    A test1()
    {
        return std::move(m_a);
    }

    A&& test2()
    {
        return std::move(m_a);
    } 

    std::unique_ptr<int> test3()
    {
        return std::move(m_sp);
    }

    std::unique_ptr<int>&& test4()
    {
        return std::move(m_sp);
    }

    std::unique_ptr<int> test5()
    {
        return std::make_unique<int>(50);
    }
};

class A
{
public:
    A()
    {
        m_i = 1;
    }

    A(A&& other)
    {
        this->m_i = other.m_i;
        other.m_i = -1;
    }

    A& operator=(A&& other)
    {
        this->m_i = other.m_i;
        other.m_i = -1;
        return *this;
    }

    int m_i;
};

练习这些课程

X x;
A y;
y.m_i = 10;
y = x.test1();

X x2;
A y2;
y2.m_i = 10;
y2 = x2.test2();

两者都调用A的移动赋值,但只有在test1情况下,我们才调用A的移动构造函数。为什么呢?是因为我们不能退回a&&(标准::移动将向A&&,但是test1说它必须返回一个A)。

通常,当您想要移动/转移昂贵成员变量的所有权时,是否要将返回值指定为右值引用(A&&)还是左值(A)类型?

感觉有点不自然,好像您没有使用成员变量,您让RVO/NRVO做它该做的事情,只返回一个左值。以unique_ptr为例,当您有一个自动变量时,您有一个类似test5()的签名,但是如果您有一个不适合RVO/NRVO的变量,如成员变量,则应首选test3或test4的签名。

我很想知道。

谢谢