非指针成员对象的移动构造：临时值如何释放？

首先要明确：非指针成员（比如示例中的int m_Value）不存在需要手动释放的动态资源，移动语义的核心是转移动态分配资源的所有权，对于基本类型这类“值语义”的成员，根本不需要“释放临时值”的操作。

为什么&other.m_Value = nullptr不可行？ #

&other.m_Value是取成员变量的内存地址，得到的是一个int*类型的右值（地址是固定的常量，无法被赋值），所以语法上不允许给它赋值nullptr，这是典型的语法错误。

正确的处理方式 #

对于非指针成员，移动构造函数的逻辑非常简单：直接拷贝值即可。移动后的源对象（other）只需要保持“可析构、可被赋值”的合法状态，而基本类型本身就满足这个要求——即使你不修改other.m_Value，它的析构也不会有任何问题。

如果希望源对象处于更清晰的“已被移动”状态，也可以选择将其重置为默认值（比如0），这是可选操作：

class Foo
{
public:
    Foo(Foo&& other) noexcept
    {
        m_Value = other.m_Value;
        // 可选：将源对象的成员重置为默认合法值
        other.m_Value = 0;
    }
private:
    int m_Value;
};

什么时候需要置为nullptr？ #

只有当成员是指向动态分配资源的指针（比如int* m_Ptr），或者是其他需要手动管理的资源（如文件句柄、网络连接）时，才需要在移动构造中转移所有权，并将源对象的成员置为安全状态（比如nullptr），避免析构时重复释放资源：

class Bar
{
public:
    Bar(Bar&& other) noexcept
    {
        m_Ptr = other.m_Ptr;
        other.m_Ptr = nullptr; // 这里合法，因为m_Ptr是指针成员（左值）
    }

    ~Bar()
    {
        delete m_Ptr; // 析构时仅处理非空指针
    }
private:
    int* m_Ptr = nullptr;
};

总结 #

• 基本类型/非指针成员：移动时直接拷贝值，无需特殊释放操作，源对象成员可选择重置为默认值，但不是必须的。
• 动态资源指针/手动管理资源：移动时转移所有权，将源对象的成员置为安全状态（如nullptr），防止重复释放。

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