拷贝构造函数必须可访问，即使被优化也不得缺失；对象初始化、值传递参数、值返回、容器操作等场景均需其存在，否则编译失败。
拷贝构造函数 在 C++ 中不是“可能被调用”，而是只要满足特定初始化语义，编译器就**必须能访问它**——哪怕实际调用被优化掉了。真正需要你关注的，是哪些写法会触发它的逻辑调用，以及为什么有些地方看似没调用却仍要定义它。
用对象初始化新对象时一定会触发
这是最直观也最容易验证的场景。注意：不是所有“=”都是赋值，很多是初始化。
-
MyClass a;→ 默认构造 -
MyClass b = a;→ 看似赋值，实为拷贝初始化，调用MyClass(const MyClass&) -
MyClass c(a);→ 直接初始化，同样调用拷贝构造 -
MyClass d{a};→ 列表初始化（C++11 起），也触发拷贝构造
关键点：只要语法上是在「创建新对象」且「用已有同类型对象做依据」，就属于该场景。编译器不会因为写了 = 就去调用 operator= —— 那是已有对象的修改，不是初始化。
值传递参数时形参构造必然依赖它
函数声明为 void func(MyClass obj)，调用 func(x) 时，obj 是一个全新对象，其诞生过程就是拷贝构造。
- 即使函数体里什么也不做，
obj的构造和析构都会发生 - 若
MyClass没有可访问的拷贝构造（比如被= delete或私有且不可见），这段代码直接编译失败 - 引用传递
void func(const MyClass& obj)完全不触发拷贝构造——这是规避开销的常用手段
常见误判：以为“传参只是地址传递”，但值传递语义下，对象是实实在在复制了一份，不管底层是否做了 RVO 或移动优化。
值返回局部对象时逻辑上需要它
函数声明为 MyClass create()，内部 return local_obj;，这里有两个潜在拷贝点：
组合式C++代码评审方案，融合静态分析、AI推理、多轮迭代评审和C++专项检查，适用于PR审查、增量代码审查、全项目评审和代码质量评分，触发词包括review cpp、cpp代码评审、C++review、代码审查。
- 从
local_obj复制到函数返回值临时对象（C++17 前） - 从返回值临时对象复制到接收变量（如
auto x = create();）
但 C++17 引入强制 RVO（guaranteed copy elision），第一处拷贝在多数情况下被跳过；第二处若接收者是同一类型，也可能被省略。不过：
- 编译器仍要求
MyClass有可访问的拷贝（或移动）构造函数，否则报错 - 若函数返回的是表达式结果（如
return MyClass{};），C++11 起更倾向调用移动构造；但若类没声明移动操作，仍回落到拷贝构造
换句话说：你写 return obj; 这一行，就等于向编译器承诺“我允许你用拷贝或移动来生成返回值”——它选哪个，取决于类定义和上下文，但入口必须开着。
容器操作和隐式复制容易被忽略
STL 容器如 std::vector、std::map 在扩容、插入、赋值时，内部常需复制元素。例如：
-
vec.push_back(obj);→ 若触发 reallocation，已有元素会被拷贝（C++11 前）或移动（C++11 后，若有移动构造） -
vec = other_vec;→ 元素级拷贝/移动 -
std::set<myclass> s; s.insert(obj);</myclass>→ 插入时构造节点内对象，本质仍是拷贝初始化
这些调用不显眼，但一旦 MyClass 的拷贝构造被删除、私有或不可访问，容器操作就会编译失败。尤其在模板实例化时，错误信息往往很长，根源却只是忘了让拷贝构造 public。
真正麻烦的不是“什么时候调用”，而是“什么时候必须存在但没被调用”。比如你禁用了拷贝构造，又用了 std::vector<myclass></myclass>，编译器不会温柔提醒“你可能需要它”，而是在实例化 vector 时爆出一长串无法匹配的模板错误。所以判断依据永远是：这个类会不会出现在任何需要复制语义的地方——包括你没直接写的代码里。
C++免费学习笔记（深入）：立即使用
在学习笔记中，你将探索 C++ 的入门与实战技巧！
