为手动内存管理类添加copy/move语义及vector适配的技术问询

一、需要定义的类成员 #

原类因自定义析构函数，C会隐式禁用默认的拷贝构造、拷贝赋值、移动构造、移动赋值（C11及以后）。要支持拷贝与移动语义，需手动实现以下成员，同时用拷贝并交换（Copy-and-Swap） idiom简化实现，兼顾异常安全与简洁性：

#include <utility> // 用于std::swap

class MyClass
{
public:
    // 默认构造：分配内存
    MyClass() : Store(new int{}) {}

    // 拷贝构造：深拷贝资源，避免浅拷贝导致重复释放
    MyClass(const MyClass& other) : Store(new int{*other.Store}) {}

    // 移动构造：接管对方资源，置空原对象指针（必须加noexcept，否则vector扩容时不会用移动）
    MyClass(MyClass&& other) noexcept : Store(other.Store) {
        other.Store = nullptr;
    }

    // 析构：仅在指针非空时释放资源
    ~MyClass() {
        delete Store;
    }

    // 拷贝赋值：通过按值传参统一处理拷贝/移动，交换后由参数析构自动释放旧资源
    MyClass& operator=(MyClass other) {
        swap(*this, other);
        return *this;
    }

    // 自定义swap：直接交换指针，比std::swap高效
    friend void swap(MyClass& lhs, MyClass& rhs) noexcept {
        using std::swap;
        swap(lhs.Store, rhs.Store);
    }

private:
    int* Store;
};

二、强制使用拷贝赋值或移动赋值 #

强制拷贝赋值 #

A = B中B是左值，默认触发拷贝赋值。若要显式强调，可通过强制转换左值引用实现：

A = static_cast<const MyClass&>(B); // 强制调用拷贝逻辑
// 或直接调用赋值运算符
A.operator=(B);

强制移动赋值 #

用std::move将左值转为右值，触发移动语义：

A = std::move(B); // 移动后B的Store指针被置空，不可再使用其资源

对于vector初始化，默认用拷贝构造元素，强制移动需转换为右值：

std::vector<MyClass> V = { std::move(A), std::move(B) };

三、按值/按引用传递时的拷贝操作 #

• 按值传递：传左值触发拷贝构造，传右值（如std::move后的对象）触发移动构造。例如void func(MyClass obj)，func(A)拷贝构造obj，func(std::move(A))移动构造obj。
• 按左值引用传递（const MyClass&/MyClass&）：仅传递引用，无拷贝/移动操作。
• 按右值引用传递（MyClass&&）：绑定到右值，无构造操作，仅用于实现移动语义的函数（如移动构造、移动赋值）。

四、不同C++版本的实现差异 #

C++98/03 #

• 无移动语义，仅能实现拷贝构造与拷贝赋值，vector存入元素只能用深拷贝，性能较低。
• 自定义析构函数会导致默认拷贝构造/赋值被隐式声明，但为浅拷贝（不安全），必须手动实现深拷贝版本。
• 支持拷贝并交换idiom，但无移动相关逻辑。

C++11及以后 #

• 新增移动语义（右值引用、移动构造/赋值），可实现高效资源转移。
• 自定义析构函数会导致默认的拷贝/移动构造、拷贝/移动赋值被删除，必须手动定义才能支持对应语义。
• noexcept关键字新增，标记无异常的移动构造后，std::vector扩容时会优先用移动而非拷贝，提升性能。
• 支持列表初始化（std::vector V = { ... }）。

C++17及以后 #

• 拷贝并交换的实现逻辑无本质变化，新增保证复制消除，部分场景可避免拷贝/移动，但对当前类实现影响极小。
• 移动语义规则细节优化，整体兼容C++11的实现。

示例代码解释 #

原代码默认行为：

MyClass A, B;
A = B; // 触发拷贝赋值（B是左值）
std::vector<MyClass> V = { A, B }; // 用拷贝构造创建vector元素

强制移动的写法：

A = std::move(B); // 强制移动赋值
std::vector<MyClass> V = { std::move(A), std::move(B) }; // 强制移动构造vector元素

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