C++11拷贝构造函数与拷贝赋值函数调用时机深度解析与避坑指南

1次阅读

共计 2101 个字符，预计需要花费 6 分钟才能阅读完成。

在 C ++ 中，拷贝构造函数（Copy Constructor）和拷贝赋值运算符（Copy Assignment Operator）是控制对象拷贝行为的核心成员函数。它们的标准形式如下：

class MyClass {
public:
    // 拷贝构造函数
    MyClass(const MyClass& other);

    // 拷贝赋值运算符
    MyClass& operator=(const MyClass& other);
};

C++11 引入的移动语义（Move Semantics）通过右值引用（Rvalue Reference）为这些传统拷贝操作带来了新的变化。移动构造函数和移动赋值运算符的加入，使得编译器在特定场景下可以避免昂贵的深拷贝操作。

在实际开发中，以下场景常常引发困惑：

对象初始化方式差异：直接初始化（Direct Initialization）与拷贝初始化（Copy Initialization）导致的调用差异
函数参数传递：值传递时何时发生拷贝，何时可以优化
返回值处理：返回值优化（RVO/NRVO）与拷贝 / 移动的相互作用
容器操作 ：std::vector 等容器在扩容时对元素的处理方式
临时对象生命周期：右值临时对象在表达式求值过程中的特殊表现

显式拷贝构造 ：MyClass obj2(obj1) 或MyClass obj2 = obj1
函数参数传递：当对象以值传递方式传入函数时
函数返回值：当函数返回对象且未应用返回值优化时
异常抛出：抛出异常对象时的拷贝行为

显式赋值操作：obj2 = obj1
自赋值检查 ：obj = obj 这种特殊场景
容器元素修改 ：如std::vector 的operator[]返回值被赋值时

移动语义的引入改变了传统拷贝行为的触发逻辑：

当源对象是右值（如临时对象、std::move结果）时，优先调用移动操作
在函数返回局部对象时，编译器会优先尝试移动而非拷贝
标准库容器操作现在会利用移动语义提高性能

class Resource {
public:
    Resource() { std::cout << "Default Constructor\n";}
    Resource(const Resource&) {std::cout << "Copy Constructor\n";}
    Resource& operator=(const Resource&) { 
        std::cout << "Copy Assignment\n";
        return *this;
    }
};

void demo() {
    Resource a;      // Default Constructor
    Resource b(a);   // Copy Constructor
    Resource c = a;  // Copy Constructor
    b = c;           // Copy Assignment
}

class Movable {
public:
    Movable() = default;
    Movable(Movable&&) {std::cout << "Move Constructor\n";}
    Movable& operator=(Movable&&) { 
        std::cout << "Move Assignment\n";
        return *this;
    }
};

void moveDemo() {
    Movable m1;
    Movable m2 = std::move(m1);  // Move Constructor

    m1 = Movable();              // Move Assignment}

不必要的拷贝操作可能带来显著性能开销，特别是对于持有大量资源的对象。优化方法包括：