拷贝构造函数仅在创建新对象并用已有对象初始化时调用,如myclass obj2 = obj1;、传值参数、返回局部对象;赋值语句obj2 = obj1;调用operator=而非拷贝构造。

拷贝构造函数什么时候被调用
不是所有对象赋值都会触发拷贝构造函数。它只在「创建新对象」且用「已有对象初始化」时才调用,比如 MyClass obj2 = obj1;、func(obj1)(传值入参)、return obj;(返回局部对象)这些场景。赋值语句 obj2 = obj1; 调用的是赋值运算符 operator=,不是拷贝构造——这点最容易混淆。
常见错误现象:MyClass a; MyClass b(a); 是拷贝构造;但写成 MyClass b; b = a; 就完全绕开了它,如果类里没定义 operator=,编译器会用默认的,可能引发浅拷贝问题。
- 传参/返回值用引用(
const MyClass&)能彻底避免拷贝构造调用,尤其对大对象 - 移动语义(C++11+)下,右值可能触发移动构造而非拷贝构造,需注意
std::move的使用时机 - 编译器可能执行返回值优化(RVO),让看似要调用拷贝构造的地方实际不调用——但这属于优化行为,不能依赖
自定义拷贝构造必须深拷贝的场景
只要类里有指针成员(比如 int* data)或持有系统资源(文件句柄、socket 等),就必须手动实现深拷贝。否则默认的逐成员复制只是复制指针值,两个对象指向同一块内存,析构时会 double-free 或悬空指针。
典型错误信息:double free or corruption、segmentation fault,往往出现在第二个对象析构时。
立即学习“C++免费学习笔记(深入)”;
- 深拷贝核心动作:分配新内存 → 复制原始数据 → 更新指针成员
- 记得同步更新其他依赖指针的成员,比如
size_t len或bool is_valid - 如果类中还包含其他自定义类成员,确保它们自身也正确实现了拷贝构造,否则会隐式调用其默认版本
拷贝构造函数声明和定义的写法要点
签名必须是 ClassName(const ClassName& other),缺一不可:const 修饰防止意外修改源对象,引用避免无限递归(传值会再次触发拷贝构造)。
常见错误写法:ClassName(ClassName other)(传值导致死循环)、ClassName(ClassName& other)(无法绑定临时对象或 const 对象)、ClassName(const ClassName other)(非引用,还是传值)。
- 初始化列表里显式调用基类和成员的拷贝构造,比在函数体内赋值更安全高效
- 不要在拷贝构造里调用
operator=,逻辑重复且可能引发未定义行为 - 如果类禁止拷贝,应将拷贝构造设为
= delete,而不是私有化——后者在友元或成员函数内仍可能被误用
移动构造和拷贝构造共存时的行为判断
C++11 后,如果你同时定义了拷贝构造和移动构造,编译器会按值类别自动选择:左值优先匹配拷贝构造(const T&),右值优先匹配移动构造(T&&)。但若只定义了拷贝构造,右值也会退回到它。
容易踩的坑:std::vector<myclass> v; v.push_back(MyClass());</myclass> 中的临时对象本该触发移动,但如果类没定义移动构造,就会调用拷贝构造——性能骤降,甚至失败(如拷贝构造抛异常而移动构造不会)。
- 用
std::is_copy_constructible_v<t></t>和std::is_move_constructible_v<t></t>检查类型是否支持对应操作 - 移动构造里记得把原对象的指针置为
nullptr,防止其析构时释放已被“偷走”的资源 - 拷贝构造和移动构造的异常安全性不同:拷贝构造通常要求强异常安全,移动构造可声明为
noexcept提升容器操作效率
真正麻烦的从来不是写几行拷贝代码,而是搞清哪个对象在什么时刻被谁构造、谁销毁、谁持有哪块内存——尤其是当继承、模板、STL 容器嵌套在一起时,一个没留意的 = 或 {} 就可能让行为偏离预期。










