C++拷贝构造函数讲解_C++对象复制执行流程分析

拷贝构造函数用于用已存在对象初始化新对象，三种典型触发场景：对象显式初始化、函数值传递参数、函数返回局部对象；其签名必须为单参数const引用，未定义时编译器合成默认浅拷贝版本；与拷贝赋值操作语义不同，前者作用于对象创建时，后者作用于已有对象内容替换。

拷贝构造函数在C++中负责用一个已存在的对象初始化一个新对象，它不是简单的内存复制，而是由编译器在特定时机自动调用的、可被用户自定义的构造函数。理解它，关键在于搞清“什么时候调”和“怎么调”。

哪些情况会触发拷贝构造函数？

以下三种典型场景会隐式调用拷贝构造函数（前提是类未禁用或未被优化掉）：

• 用一个对象显式初始化另一个对象： A a1; A a2 = a1; 或 A a2(a1);
• 函数传值调用时，实参按值传递给形参： void func(A x) { ... }; func(a1);
• 函数返回局部对象（非引用、非右值引用）： A create() { A tmp; return tmp; } A obj = create();

注意：现代编译器常启用返回值优化（RVO）或命名返回值优化（NRVO），可能跳过拷贝构造；C++11后移动语义也可能替代拷贝，但前提是类有可用的移动构造函数且返回的是临时对象。

拷贝构造函数的签名和默认行为

必须是单参数构造函数，参数类型为 const 类型&（强烈推荐加 const），例如：A(const A& other)。不写时编译器会合成一个默认拷贝构造函数——它对每个非静态成员做“逐成员拷贝”（memberwise copy）：

立即学习“C++免费学习笔记（深入）”；

• 内置类型（int、double等）直接复制值
• 类类型成员，调用其自身的拷贝构造函数
• 指针成员也只复制地址值，不会深拷贝所指内容（即默认是浅拷贝）

如果类管理动态资源（如 new 出来的内存、打开的文件句柄），默认拷贝往往导致多个对象指向同一块资源，析构时重复释放引发崩溃——这时必须手动定义深拷贝版本。

标签： 栈 c++