C++函数参数传对象与传引用的区别及最佳实践

你观察到的两种传参方式确实都能运行，但它们在底层机制、性能和语义上有本质区别，下面详细拆解：

核心区别 #

1. 对象拷贝开销 #

• 传值（executePrint(Dog dog)）：调用函数时，会创建原对象的完整副本。这个过程会触发Dog的拷贝构造函数（如果没自定义，编译器会生成默认版本），函数执行完毕后，副本会被销毁，触发析构函数。
  • 如果Dog是包含大内存（比如动态数组、大字符串）的复杂对象，拷贝操作会带来显著的性能损耗，甚至可能因为默认浅拷贝导致内存泄漏（比如类内有指针成员时）。
• 传引用（executePrint2(Dog &dog)）：传递的是原对象的别名，不会创建任何副本。函数直接操作原对象的内存，没有拷贝和销毁的开销，性能远高于传值。

2. 对原对象的修改能力 #

• 传值：函数内操作的是副本，无论怎么修改副本，都不会影响外部的原对象。比如如果给Dog加一个成员变量age，在executePrint里修改dog.age，外面的dog的age不会变。
• 传引用：函数内对dog的所有修改，都会直接作用于原对象。如果需要在函数里修改原对象的状态，这是必要的方式。

3. 语义表达 #

• 传值：语义上表示“我只需要这个对象的一份拷贝，不需要关联原对象”，适合函数内部需要独立操作对象副本的场景。
• 传引用：语义上表示“我需要访问原对象本身”，如果配合const（比如const Dog &dog），还能明确表达“我不会修改原对象”，让代码意图更清晰。

业界通用最佳实践 #

1. 优先使用const引用：如果函数不需要修改原对象，用const Dog &dog替代传值和非const引用。这样既避免拷贝开销，又能通过const约束防止意外修改原对象，是最安全高效的选择。
2. 非const引用用于修改原对象：当函数需要修改原对象的状态时，使用非const引用（Dog &dog），明确告知调用者“此函数会改变你的对象”。
3. 仅在必要时传值：只有当你明确需要对象的副本（比如函数内部要修改对象但不想影响外部），或者对象本身非常小（大小和基本类型相当，比如只有几个int成员）时，才考虑传值。

结合你的代码示例，executePrint完全没必要传值，改成const Dog &dog会更高效，同时保证原对象不被修改。

内容的提问来源于stack exchange，提问作者Riccardo Perego