学懂C++(五十):深入详解 C++ 陷阱:对象切片(Object Slicing)

2024-09-03 04:44

本文主要是介绍学懂C++(五十):深入详解 C++ 陷阱:对象切片(Object Slicing),希望对大家解决编程问题提供一定的参考价值,需要的开发者们随着小编来一起学习吧!

对象切片基本概念

什么是对象切片?

对象切片(Object Slicing)是 C++ 中的一个常见陷阱,发生在将派生类对象赋值给基类对象时。由于基类对象无法存储派生类特有的数据和行为,因此派生类对象的特有部分会被“切掉”,只保留基类部分。

为什么会发生对象切片?

        对象切片发生的原因在于 C++ 的赋值操作是基于值语义的。当你将一个派生类对象赋值给一个基类对象时,实际上是创建了一个新的基类对象,而这个新的基类对象只能包含基类的成员变量和方法。因此,派生类对象的特有部分(即派生类独有的数据和方法)就会被丢弃,这就是对象切片。

示例代码

让我们通过一个具体的例子来深入理解对象切片。

#include <iostream>//基类
class Base {
public:Base(int a): a_(a) {}virtual void show() const {std::cout << "Base class, a: " << a_ << std::endl;}
private:int a_;
};//派生类
class Derived : public Base {
public:Derived(int a, int b): Base(a), b_(b) {}virtual void show() const override {Base::show();std::cout << "Derived class, b: " << b_ << std::endl;}
private:int b_;
};int main() {Derived d(5, 10);Base b = d; // 对象切片,b_ 被“切掉”b.show();   // 只调用 Base 类的 show(),不会显示 b_return 0;
}

 运行结果

Base class, a: 5

如上所示,派生类的 show() 方法没有被调用,派生类对象的成员变量 b_ 也没有被显示。这是因为 bBase 类型的对象,无法存储 Derived 类型的特有部分。对象切片发生在将派生类对象 d 赋值给基类对象 b 时,导致派生类对象的特有数据 b_ 被丢弃。

如何避免对象切片?

有多种方法可以避免对象切片,以下是几种常见的方法。

1. 使用指针或引用

使用指针或引用可以避免对象切片,因为它们不会创建基类对象的副本。这种方法确保派生类的特有部分不会被“切掉”。

int main() {Derived d(5, 10);Base* pb = &d; // 使用指针pb->show();   // 调用 Derived 类的 show() 方法Base& rb = d; // 使用引用rb.show();    // 调用 Derived 类的 show() 方法return 0;
}
运行结果
Base class, a: 5
Derived class, b: 10
Base class, a: 5
Derived class, b: 10

在这段代码中,pbrb 分别是指向 d 的指针和引用。通过它们调用 show() 方法时,会根据虚函数机制动态绑定到 Derived 类的 show() 方法。

2. 使用多态和虚函数

确保基类中的方法是虚函数,这样即使通过基类指针或引用调用方法,也能动态绑定到派生类的实现。注意:虚函数不能避免对象切片,只能保证在使用指针或引用时实现多态行为。

class Base {
public:Base(int a): a_(a) {}virtual void show() const {  // 使用 virtual 关键字std::cout << "Base class, a: " << a_ << std::endl;}virtual ~Base() {} // 确保基类有虚析构函数
private:int a_;
};class Derived : public Base {
public:Derived(int a, int b): Base(a), b_(b) {}virtual void show() const override {Base::show();std::cout << "Derived class, b: " << b_ << std::endl;}
private:int b_;
};int main() {Derived d(5, 10);Base b = d; // 对象切片仍然发生b.show();   // 只调用 Base 类的 show(),不会显示 b_Base* pb = &d; // 使用指针pb->show();   // 调用 Derived 类的 show() 方法Base& rb = d; // 使用引用rb.show();    // 调用 Derived 类的 show() 方法return 0;
}
 运行结果
Base class, a: 5
Base class, a: 5
Derived class, b: 10
Base class, a: 5
Derived class, b: 10

这里,第一行结果来自于对象切片操作,仅调用了 Base 类的 show() 方法,而没有显示派生类的特有数据 b_。后续使用指针或引用来调用 show() 方法时,动态多态性确保了调用 Derived 类的 show() 方法。

3. 使用智能指针

使用智能指针(如 std::unique_ptrstd::shared_ptr)来管理动态分配的对象,可以有效避免对象切片,同时更好地管理内存。

#include <memory>
#include <iostream>class Base {
public:Base(int a) : a_(a) {}virtual void show() const {std::cout << "Base class, a: " << a_ << std::endl;}
private:int a_;
};class Derived : public Base {
public:Derived(int a, int b) : Base(a), b_(b) {}virtual void show() const override {Base::show();std::cout << "Derived class, b: " << b_ << std::endl;}
private:int b_;
};int main() {std::unique_ptr<Base> pb = std::make_unique<Derived>(5, 10); // 使用智能指针管理动态分配的对象pb->show(); // 调用 Derived 类的 show() 方法std::shared_ptr<Base> spb = std::make_shared<Derived>(5, 10); // 使用智能指针spb->show(); // 调用 Derived 类的 show() 方法return 0;
}
运行结果
Base class, a: 5
Derived class, b: 10
Base class, a: 5
Derived class, b: 10

此例中,pbspb 是指向 Derived 类型对象的智能指针,因此调用了 Derived 类的 show() 方法,避免了对象切片。

总结

        对象切片是 C++ 中一个常见而隐蔽的陷阱,发生在将派生类对象按值赋给基类对象时。由于基类对象无法存储派生类的特有部分,这些特有数据和行为将会被丢弃。要避免对象切片,可以使用指针或引用来管理对象,或者使用智能指针来处理动态分配的对象。此外,通过使用虚函数,可以确保基类指针或引用的多态性行为,但这并不能避免对象切片本身。

        理解和避免对象切片是编写高质量 C++ 代码的关键。掌握这些技术和概念不仅可以提高代码的健壮性,还能使程序更具有扩展性和维护性,避免由于对象切片带来的各种潜在问题。

这篇关于学懂C++(五十):深入详解 C++ 陷阱:对象切片(Object Slicing)的文章就介绍到这儿,希望我们推荐的文章对编程师们有所帮助!



http://www.chinasem.cn/article/1132060

相关文章

C#数据结构之字符串(string)详解

《C#数据结构之字符串(string)详解》:本文主要介绍C#数据结构之字符串(string),具有很好的参考价值,希望对大家有所帮助,如有错误或未考虑完全的地方,望不吝赐教... 目录转义字符序列字符串的创建字符串的声明null字符串与空字符串重复单字符字符串的构造字符串的属性和常用方法属性常用方法总结摘

Java并发编程必备之Synchronized关键字深入解析

《Java并发编程必备之Synchronized关键字深入解析》本文我们深入探索了Java中的Synchronized关键字,包括其互斥性和可重入性的特性,文章详细介绍了Synchronized的三种... 目录一、前言二、Synchronized关键字2.1 Synchronized的特性1. 互斥2.

Java中StopWatch的使用示例详解

《Java中StopWatch的使用示例详解》stopWatch是org.springframework.util包下的一个工具类,使用它可直观的输出代码执行耗时,以及执行时间百分比,这篇文章主要介绍... 目录stopWatch 是org.springframework.util 包下的一个工具类,使用它

Java进行文件格式校验的方案详解

《Java进行文件格式校验的方案详解》这篇文章主要为大家详细介绍了Java中进行文件格式校验的相关方案,文中的示例代码讲解详细,感兴趣的小伙伴可以跟随小编一起学习一下... 目录一、背景异常现象原因排查用户的无心之过二、解决方案Magandroidic Number判断主流检测库对比Tika的使用区分zip

Java实现时间与字符串互相转换详解

《Java实现时间与字符串互相转换详解》这篇文章主要为大家详细介绍了Java中实现时间与字符串互相转换的相关方法,文中的示例代码讲解详细,感兴趣的小伙伴可以跟随小编一起学习一下... 目录一、日期格式化为字符串(一)使用预定义格式(二)自定义格式二、字符串解析为日期(一)解析ISO格式字符串(二)解析自定义

springboot security快速使用示例详解

《springbootsecurity快速使用示例详解》:本文主要介绍springbootsecurity快速使用示例,具有很好的参考价值,希望对大家有所帮助,如有错误或未考虑完全的地方,望不吝... 目录创www.chinasem.cn建spring boot项目生成脚手架配置依赖接口示例代码项目结构启用s

Python中随机休眠技术原理与应用详解

《Python中随机休眠技术原理与应用详解》在编程中,让程序暂停执行特定时间是常见需求,当需要引入不确定性时,随机休眠就成为关键技巧,下面我们就来看看Python中随机休眠技术的具体实现与应用吧... 目录引言一、实现原理与基础方法1.1 核心函数解析1.2 基础实现模板1.3 整数版实现二、典型应用场景2

一文详解SpringBoot响应压缩功能的配置与优化

《一文详解SpringBoot响应压缩功能的配置与优化》SpringBoot的响应压缩功能基于智能协商机制,需同时满足很多条件,本文主要为大家详细介绍了SpringBoot响应压缩功能的配置与优化,需... 目录一、核心工作机制1.1 自动协商触发条件1.2 压缩处理流程二、配置方案详解2.1 基础YAML

Python实现无痛修改第三方库源码的方法详解

《Python实现无痛修改第三方库源码的方法详解》很多时候,我们下载的第三方库是不会有需求不满足的情况,但也有极少的情况,第三方库没有兼顾到需求,本文将介绍几个修改源码的操作,大家可以根据需求进行选择... 目录需求不符合模拟示例 1. 修改源文件2. 继承修改3. 猴子补丁4. 追踪局部变量需求不符合很

java中反射(Reflection)机制举例详解

《java中反射(Reflection)机制举例详解》Java中的反射机制是指Java程序在运行期间可以获取到一个对象的全部信息,:本文主要介绍java中反射(Reflection)机制的相关资料... 目录一、什么是反射?二、反射的用途三、获取Class对象四、Class类型的对象使用场景1五、Class