对象切片指值传递时派生类额外成员和虚表被截断,仅保留基类部分;基类引用(base&)因不复制对象、仅绑定原实例,故可避免切片。

什么是对象切片,为什么基类引用能避免它
对象切片发生在用值传递(Base obj = derived_obj;)或值返回时,派生类中新增的成员和虚函数表信息被“砍掉”,只保留基类部分。基类引用(Base&)不分配新对象内存,只是别名绑定到原对象,因此不会复制、不会丢数据。
常见错误现象:void process(Base b) 接收 Derived 实例后,b 表现为纯 Base,虚函数调用静态绑定,dynamic_cast 失败,成员变量访问不到派生字段。
使用场景:容器存基类指针/引用、函数参数传递、工厂函数返回结果。
关键点:
- 引用本身不拥有对象,生命周期必须长于引用作用域
- 必须是
Base&或const Base&,不能是Base(值类型) - 引用无法重新绑定,但可配合指针实现多态调度
函数参数该用 Base& 还是 const Base&
取决于是否需要修改实参。如果函数只读取、调用虚函数(如 obj.draw()),优先用 const Base&:既避免切片,又防止误改,还能接受临时对象(如 make_derived() 返回的右值)。
但如果函数内部要调用非 const 成员函数(如 obj.reset_state()),就必须用 Base& —— 此时传入临时对象会编译失败,这是好事情,说明接口设计暴露了潜在生命周期问题。
参数差异:
-
void f(Base&):只能绑定左值,拒绝临时对象 -
void f(const Base&):可绑定左值和右值,最常用 -
void f(Base):触发切片,绝对避免
容器里存基类引用不行,得用指针或智能指针
C++ 容器(如 std::vector)要求元素可赋值、可复制,而引用类型不可重新绑定,std::vector<base> 直接编译失败。
正确做法是存 std::unique_ptr<base> 或 Base*(需手动管理)。例如:
std::vector<:unique_ptr>> shapes;
shapes.push_back(std::make_unique<circle>());
shapes.push_back(std::make_unique<rectangle>());
for (auto& ptr : shapes) {
ptr->draw(); // 动态绑定,无切片
}</rectangle></circle></:unique_ptr>
注意:裸指针易悬空;std::shared_ptr 适合共享所有权场景,但有引用计数开销;std::unique_ptr 零开销,语义清晰。
容易忽略的坑:引用绑定到局部对象或临时量
最隐蔽的问题是让引用指向函数内创建的对象,比如:
Base& get_base() {
Derived d; // 局部对象
return static_cast<base>(d); // 错!d 出作用域即销毁
}
调用方拿到的是悬垂引用,行为未定义。同样,Base& r = Derived{}; 也危险——虽然 C++ 允许绑定 const 引用到临时量并延长其生命周期,但仅限于 const Base&,且仅限于直接初始化(不能中间转一道)。
Base& get_base() {
Derived d; // 局部对象
return static_cast<base>(d); // 错!d 出作用域即销毁
}
调用方拿到的是悬垂引用,行为未定义。同样,Base& r = Derived{}; 也危险——虽然 C++ 允许绑定 const 引用到临时量并延长其生命周期,但仅限于 const Base&,且仅限于直接初始化(不能中间转一道)。
安全做法:
- 引用必须绑定到调用方负责生命周期的对象(如参数、成员变量、堆对象)
- 不确定时,改用
std::shared_ptr<base>明确表达所有权 - 调试时开启 ASan(AddressSanitizer),能捕获多数悬垂引用访问
C++免费学习笔记(深入):立即使用
在学习笔记中,你将探索 C++ 的入门与实战技巧!











