会,值传递函数参数时强制调用拷贝构造函数:因需用原对象初始化形参新对象;参数必须为const t&,否则引发无限递归;未定义时编译器合成浅拷贝版本;指针/引用传递不触发。

会,只要函数参数是类类型的值传递(非指针、非引用),编译器就会在调用时触发拷贝构造函数——这是 C++ 标准明确规定的隐式行为,不是优化可选项,也不是编译器“可能”做的事。
为什么值传参会强制调用拷贝构造函数
因为值传递的本质就是创建一个独立副本。C++ 不允许直接把原对象的内存“搬进”函数栈帧;它必须用已有对象初始化一个新对象,而这个初始化动作,正是拷贝构造函数的职责。
关键约束在于:拷贝构造函数的参数必须是 const T&(或非常量引用),否则会陷入无限递归——比如写成 T(T d),传参本身就要拷贝,拷贝又要调用该函数,循环不止。
- 如果类没定义拷贝构造函数,编译器会合成默认版本,执行逐成员浅拷贝
- 如果类含指针或动态资源(如
char*、std::unique_ptr),默认拷贝通常出错,必须手动实现深拷贝逻辑 - 即使函数体内什么也不做,只要形参是值类型,拷贝构造就已发生(且对应析构会在函数返回时执行)
哪些写法会触发,哪些不会
看参数声明形式,不看调用时怎么写:
-
void f(Person p)→ 触发拷贝构造(值传递) -
void f(const Person& p)→ 不触发(引用传递,无新对象) -
void f(Person* p)→ 不触发(指针传递,只拷贝地址值) -
Person x = y;或Person x(y);→ 触发(对象初始化) -
Person x; x = y;→ 不触发(这是赋值,调用operator=)
实际调试中怎么确认是否调用了
最直接的办法是在拷贝构造函数里加日志输出,或用调试器断点停在其中。注意以下干扰项:
- C++17 起,RVO/NRVO 优化可能跳过返回时的拷贝,但**函数参数的值传递不受 RVO 影响**,一定调用
- 移动语义(
Person&&)只在右值场景介入,对普通变量的值传参无效 - 异常处理中
throw obj也会调用拷贝构造;但catch(Person e)是另一个拷贝点,容易被忽略
真正容易被忽略的是:哪怕你只读不改参数,哪怕函数是 inline,哪怕编译器做了内联展开,只要语法上是值传递,拷贝构造的语义就存在——它可能被优化掉,但前提是满足严格条件,不能默认假设它消失。
C++免费学习笔记(深入):立即使用
在学习笔记中,你将探索 C++ 的入门与实战技巧!











