C++ 的拷贝构造什么时候被调用？几种情况讲清

你写了 MyClass(const MyClass& other) 这个拷贝构造函数，却总不确定它到底什么时候被调用。C++ 拷贝构造什么时候被调用，核心就一句话：每当用一个已存在的同类型对象去初始化另一个对象、或按值传参、或函数按值返回对象时，拷贝构造就会被触发。理解它，才能避免意料之外的深拷贝、浅拷贝 bug。本文把几种情况逐一讲清，并给出可复现的示例、运行验证与失败排查，同时对比 Java 等语言的不同。下面给出的均为关键片段，完整可编译程序需包含 main 函数入口。

C++ 拷贝构造被调用的几种情况

先看结论

C++ 拷贝构造，在"用一个对象初始化另一个同类型对象"时被调用，例如 T a = b;。
函数按值传参、按值返回对象，都会触发拷贝构造（返回值优化可能省略，但语义上仍是拷贝）。
赋值 a = b; 调用的是赋值运算符，不是拷贝构造，二者别混。
容器类（vector、map）插入元素时也会拷贝，批量操作要留意拷贝开销。
现代 C++ 更推荐用移动语义避免不必要的拷贝，拷贝构造应加上 = default 或显式 = delete 来表达意图。

一、用同类型对象初始化

最直观的一种，下面代码为关键片段：

class T { /* ... */ };
T a;
T b = a;   // 拷贝构造：用 a 初始化 b
T c(a);    // 拷贝构造：直接构造形式

T b = a; 和 T c(a); 走的都是拷贝构造，因为 b、c 是"被创建"出来的。理解 C++ 拷贝构造的触发点，先看"是不是在构造"。把示例用 g++ 命令编译运行，预期会看到构造与析构成对出现。想系统入门可看 C++ 教程。

这里还有一个容易忽略的细节：即便你没写拷贝构造，编译器也会生成一个默认版本，做逐成员拷贝。一旦类里含指针或需要资源的成员，默认版本往往不够用，这时候就要自己实现。明确这一点，才能判断"为什么我的对象被莫名其妙地复制了一份"。

g++ 编译运行展示拷贝构造被调用次数

二、按值传参和按值返回

函数按值接收对象，实参会拷贝给形参：

void f(T x) { /* ... */ }
T a;
f(a);              // 拷贝构造：a 拷贝给 x
T g() { T t; return t; }  // 按值返回，语义上拷贝构造（RVO 可能省略）

注意：引用传参 void f(const T& x) 不会触发拷贝构造，这也是大对象优先传 const 引用的原因。实际运行中，按值传参会多出一次拷贝，是很多性能问题的来源。检查瓶颈时可用编译器 -fno-elide-constructors 关闭优化来观察真实的拷贝次数。

当你怀疑某次调用产生了多余拷贝，最直接的验证方式是给拷贝构造加一行打印，看它究竟被调用了几次。如果打印次数和预期不符，再结合 -fno-elide-constructors 对比，就能定位是不是返回值优化在"偷懒"。这种"先观测再下结论"的方式，比凭直觉猜测可靠得多。

三、容器与数组中的拷贝

把对象放进 vector、map 等容器，插入时会拷贝一份：

std::vector<T> v;
T a;
v.push_back(a);    // 拷贝构造：a 的副本进容器

当容器扩容重新分配内存时，已有元素还会被再次拷贝。频繁拷贝大对象是性能陷阱，必要时用移动语义 std::move 或存指针来规避。这正是 C++ 拷贝语义的核心场景：值语义下，进出容器都意味着拷贝。想了解 C++ 在语言谱系里的定位，可看 Python 与 C++、C 语言的区别。这也是为什么写性能敏感代码时，能用移动就别拷贝，能传引用就别按值。

数组、返回值、函数参数三者背后是同一套规则：只要是"按值"传递或存放，就会走拷贝。把这层关系理顺，再看标准库里 emplace_back 为什么比 push_back 更省一次拷贝，就豁然开朗了——前者直接在容器里构造，绕开了那次多余的复制。

拷贝构造与赋值的输出对照

四、和赋值运算符、其他语言与移动语义的对比

关键区分：T a; T b; b = a; 这里 a、b 都已存在，调用的是赋值运算符，不是拷贝构造。很多人把"拷贝"和"赋值"混为一谈。对比 Java：Java 没有拷贝构造概念，对象变量是引用，赋值只是复制引用；C++ 的拷贝构造是值语义下的深拷贝入口，写错容易出悬空指针或双重释放。深拷贝与浅拷贝的差异，就体现在拷贝构造里有没有为新对象分配独立资源。Java 侧的对象模型可对照 Java 教程理解。

什么时候该自己写拷贝构造？只要类管理了需要释放的资源（堆内存、文件句柄、锁），默认的逐成员复制就会出问题。此时要么实现完整的深拷贝，要么直接禁止拷贝，二选一，含糊不得。

C++11 之后还多了移动构造 T(T&&)。当源对象是临时值（右值）时，编译器优先调用移动构造而非拷贝，省掉一次深拷贝。所以"什么时候调用拷贝构造"的完整答案要加一句：只有当没有更优移动可用、且确需独立副本时才走拷贝。如果某类根本不该被拷贝（比如持有唯一资源的句柄），应写 T(const T&) = delete;，误用时编译期就报错；若想保留默认行为，= default; 比留空更清晰。想进一步区分语言选型，可参考 C 语言与 C++ 的取舍相关讨论。

总结

C++ 拷贝构造什么时候被调用？记住"构造新对象 + 同类型来源"：初始化、按值传参、按值返回、容器插入都会触发。赋值走的是另一套运算符。认清触发点，再配合移动语义和 const 引用传参，就能既安全又高效。修复相关 bug 前，先用最小示例验证是拷贝还是赋值在生效，避免改错地方。

延伸学习

想把 C++ 打牢，可以顺着这条线：

系统入门，C++ 入门课程；
结合字符串存储对比看 C++字符数组和字符串区别；
写类时回查 C 语言与 C++ 的取舍。

常见问题

Q：为什么有时候拷贝构造没被调用，但代码里明明是初始化？

A：编译器可能做返回值优化（RVO/NRVO）或复制消除，直接在目标位置构造对象，省掉一次拷贝。这是性能优化，语义上仍是"需要可拷贝"，所以拷贝构造必须可用（哪怕被省略）。若想验证，可加打印或关闭优化观察。

Q：`T a = b;` 和 `a = b;` 为什么一个调拷贝构造一个不调？

A：前者 a 还不存在，是从 b 构造出来的，所以走拷贝构造；后者 a 已存在，是把 b 的值赋给 a，走赋值运算符。区分"创建"和"已存在再赋值"是关键，排查时先确认对象是否早已声明。

Q：拷贝构造里不写深拷贝会有什么后果？

A：如果类里有指针成员，默认拷贝只复制指针地址，两个对象指向同一块内存，析构时会 double free 或相互篡改。管理资源的类必须自己实现深拷贝，或用智能指针避免手动管理。浅拷贝在普通值类型上没问题，一旦涉及动态资源就要警惕。