C++无指针成员类的拷贝与移动构造函数作用及实现问询

先澄清一个常见误区：拷贝构造函数不是只接收非临时对象——它的参数是const X&，临时对象也能绑定到这个const左值引用；移动构造函数的参数是X&&，针对的是可被移动的对象，包括临时对象、被std::move()转换的左值。

非指针成员场景下的核心作用 #

就算类里只有int、std::string、std::array<double, N>这类非指针成员，拷贝/移动构造的价值依然明显：

• 消除默认构造+赋值的双重开销：比如你的类有一个大std::string或者容量1000的double数组，默认构造会先把成员初始化（比如std::string初始为空，数组做值初始化），之后再赋值就是二次操作；而拷贝/移动构造是直接用已有对象的成员初始化新对象，一步到位，避免冗余操作。
• 触发成员的移动语义，避免不必要的深拷贝：像std::string本身支持移动，移动构造时只是转移内部指针，比拷贝整个字符数组快得多；如果依赖默认构造+赋值，可能会触发深拷贝，拖慢性能。
• 实现自定义业务逻辑：比如你想统计对象被拷贝/移动的次数，或者对成员做特殊初始化处理，这时候就需要自定义构造函数来实现，而不是用编译器生成的默认版本。

非指针成员类的拷贝/移动构造实现 #

拷贝构造函数 #

核心逻辑是逐一拷贝成员，如果没有特殊业务需求，编译器生成的默认拷贝构造完全够用（它会自动调用每个成员的拷贝构造）。如果需要自定义逻辑（比如计数），显式实现如下：

#include <string>
#include <array>

class MyClass {
private:
    int id;
    std::string name;
    std::array<double, 1000> data;
    static int copy_count; // 统计拷贝次数
public:
    // 普通构造函数
    MyClass(int i, const std::string& n, const std::array<double, 1000>& d)
        : id(i), name(n), data(d) {}

    // 拷贝构造函数
    MyClass(const MyClass& other)
        : id(other.id), name(other.name), data(other.data) {
        copy_count++;
    }

    // 可选：暴露统计接口
    static int get_copy_count() { return copy_count; }
};

int MyClass::copy_count = 0;

移动构造函数 #

核心是转移成员的资源：对支持移动语义的成员（如std::string）用std::move()转换成右值，触发其移动构造；对int、std::array这类移动和拷贝开销无差的成员，直接拷贝即可。同样，编译器会生成默认移动构造，自定义时可以加入业务逻辑：

class MyClass {
private:
    int id;
    std::string name;
    std::array<double, 1000> data;
    static int move_count; // 统计移动次数
public:
    // 普通构造函数...

    // 移动构造函数，尽量加noexcept让容器优先选择移动
    MyClass(MyClass&& other) noexcept
        : id(other.id), name(std::move(other.name)), data(other.data) {
        move_count++;
        // 可选：将源对象置为有效但未定义的状态（比如清空name）
        other.id = 0;
        other.name.clear();
    }

    // 可选：暴露统计接口
    static int get_move_count() { return move_count; }
};

int MyClass::move_count = 0;

关键注意事项 #

• noexcept的重要性：移动构造函数加上noexcept后，std::vector这类标准容器在扩容时会优先选择移动而非拷贝，能大幅提升性能。
• 不要过度自定义：如果你的类没有特殊业务逻辑，编译器生成的默认拷贝/移动构造完全够用，没必要手动写，反而增加代码复杂度。
• 源对象状态：移动构造后，源对象应处于“有效但未定义”的状态——可以安全地析构或赋值，但不要依赖它的原有值。

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