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

1次阅读

没有评论

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

在 C ++ 中，拷贝构造函数和拷贝赋值函数是控制对象拷贝行为的两个重要成员函数。它们的定义虽然简单，但理解其调用时机对写出正确的 C ++ 代码至关重要。

拷贝构造函数 ：用于用一个已存在的对象初始化一个新对象。它的标准形式是 ClassName(const ClassName& other)。
拷贝赋值函数 ：用于将一个已存在对象的值赋给另一个已存在的对象。它的标准形式是 ClassName& operator=(const ClassName& other)。

这两个函数在对象拷贝时被自动调用，如果我们没有显式定义它们，编译器会为我们生成默认版本。

理解这些函数的调用时机是掌握它们的关键。以下是几个常见场景：

对象初始化时 ：

MyClass obj1;
MyClass obj2 = obj1; // 调用拷贝构造函数
MyClass obj3(obj1);  // 调用拷贝构造函数

函数参数传递时 ：

void func(MyClass obj);
MyClass a;
func(a); // 调用拷贝构造函数

函数返回值时 （在没有返回值优化的情况下）：

MyClass createObj() {
    MyClass obj;
    return obj; // 可能调用拷贝构造函数
}

赋值操作时 ：

MyClass obj1, obj2;
obj1 = obj2; // 调用拷贝赋值函数

如果我们没有显式定义拷贝构造函数和拷贝赋值函数，编译器会自动生成它们。这些默认实现会逐个拷贝对象的成员变量（浅拷贝）。对于简单类这通常足够，但对于包含指针或资源的类来说可能不够安全。

C++11 引入了移动语义，这改变了拷贝行为的优化方式。通过定义移动构造函数和移动赋值函数，我们可以在某些情况下避免不必要的拷贝：

class MyClass {
public:
    // 移动构造函数
    MyClass(MyClass&& other) noexcept {// 转移资源而不是拷贝}

    // 移动赋值函数
    MyClass& operator=(MyClass&& other) noexcept {
        // 转移资源而不是拷贝
        return *this;
    }
};

当使用临时对象（右值）初始化或赋值时，编译器会优先选择移动操作而非拷贝操作，这可以显著提高性能。