拷贝构造函数必须可访问,只要语法上存在用已有对象初始化新对象、值传递参数或值返回三种场景之一。其签名应为myclass(const myclass& other),否则将导致编译失败或无限递归。

拷贝构造函数不是“可能被调用”,而是只要语法上涉及「用已有对象初始化新对象」,编译器就必须能访问它——哪怕实际调用被 RVO 或移动语义绕过,缺了就会编译失败。
用对象初始化新对象时一定触发
这包括所有创建新对象且依赖已有同类型对象的写法,和是否写了 = 无关。关键看左边是不是一个「尚未存在」的对象。
-
MyClass a;→ 调用默认构造 -
MyClass b(a);→ 直接初始化,调用拷贝构造 -
MyClass c = a;→ 拷贝初始化(不是赋值!),调用拷贝构造 -
MyClass d{a};→ 列表初始化(C++11 起),同样触发拷贝构造 -
MyClass e; e = a;→e已存在,这是赋值操作,调用operator=,不触发拷贝构造
常见误判:把 = 当成赋值符号。C++ 里初始化语义优先于赋值语义,编译器看到 MyClass x = y; 第一反应是构造,不是修改。
值传递参数时形参必须能构造
函数声明为 void func(MyClass obj),调用 func(x) 时,obj 是个全新对象,它的诞生过程就是一次拷贝构造。
- 即使函数体为空,
obj的构造和析构仍会发生(除非被优化) - 若
MyClass的拷贝构造被= delete或设为私有且不可见,这段代码直接编译失败 -
void func(const MyClass& obj)完全不触发拷贝构造——这是规避开销最直接的方式 - 不要写
void func(MyClass obj)还幻想“底层传指针就没事”:值传递语义下,复制是强制的,编译器只保证结果等价,不保证不复制
值返回局部对象时逻辑上需要它
函数声明为 MyClass create(),内部 return local_obj;,这里有两个逻辑拷贝点(C++17 前):
- 从
local_obj复制到函数返回值临时对象 - 从该临时对象复制到接收变量(如
auto x = create();) - C++17 强制 RVO 后,第一处通常被跳过;但编译器仍要求
MyClass有可访问的拷贝或移动构造函数,否则报错 - 若返回的是纯右值(如
return MyClass{};),C++11 起优先尝试移动构造;但类没定义移动操作时,仍回落到拷贝构造 - 换句话说:
return obj;这一行,就是在向编译器声明“我允许你用拷贝或移动来生成返回值”——入口必须开着
拷贝构造函数参数必须是 const 引用
签名必须为 MyClass(const MyClass& other),不能是 MyClass(MyClass other)。
- 后者会导致无限递归:传参本身就要调用拷贝构造,而该构造函数又需要传参……栈迅速溢出
-
const不仅防止意外修改源对象,更是语义必需:你只是在“读取”它来构造新对象 - 即使类里全是 POD 成员,也建议显式定义带
const &的拷贝构造——避免未来加指针成员时踩坑
真正容易被忽略的,是“编译器优化不等于可以删掉拷贝构造”。只要语法上存在初始化、值传参、值返回这三种场景之一,它就必须可访问。很多线上 bug 就卡在以为“没打印日志=没调用”,结果只是被 RVO 吃掉了——但一旦关掉优化,或者换平台,立刻暴露。
C++免费学习笔记(深入):立即使用
在学习笔记中,你将探索 C++ 的入门与实战技巧!











