C++右值引用成员函数如何安全返回值？适配移动/拷贝构造

需求说明 #

调用auto var = S<ComplexType>{}.Value()时，需满足：

• 若T支持移动构造，则通过移动构造返回内部的value
• 若T不支持移动构造，则 fallback 到拷贝构造返回
• 禁止暴露对象内部状态（外部不能通过返回值修改原对象的value）

初始代码选项 #

template <typename T>
struct S
{
    T Value() &&
    {
        // Option 1
        return value;
        // Option 2
        // return std::move(value);
        // Option 3
        // return T{std::move(value)};
    }

    T value;
};

错误实现示例 #

返回T&&的方式会导致外部可修改对象内部状态，不符合需求：

template <typename T>
struct S
{
    T&& Value()&&
    {
        return std::move(value);
    }

    T value;
};

最优实现分析 #

直接采用Option 2的写法是最优解，代码如下：

template <typename T>
struct S
{
    T Value() &&
    {
        return std::move(value);
    }

    T value;
};

为什么这是最优解： #

• 适配移动/拷贝构造：std::move(value)将内部成员value转换为右值。若T存在移动构造函数，会触发移动构造创建新对象返回；若不存在移动构造，则自动 fallback 到拷贝构造，完全符合需求。
• 避免暴露内部状态：返回的是T类型的独立对象，而非引用。外部拿到的是原value的移动/拷贝副本，无法通过返回值修改原对象的内部状态，规避了返回T&&的风险。
• 通用性更强：相比Option 3的return T{std::move(value)}，Option 2无需担心T的移动构造函数被声明为explicit的情况——返回值的初始化规则会自动适配，而Option 3的列表初始化在某些场景下会因explicit限制编译失败。

其他选项的问题： #

• Option 1：直接返回value（左值），无论T是否支持移动构造，都会触发拷贝构造，无法利用移动语义优化性能，不符合需求。
• Option 3：显式通过T{std::move(value)}构造对象，虽然能触发移动构造，但如果T的移动构造是explicit的，这种写法会导致编译错误，通用性不如Option 2。

内容的提问来源于stack exchange，提问作者Honey