c++中为什么可以通过指针或引用实现多态详解

引言：

在c++中司空见惯的事情就是：可以通过指针和引用可以实现多态，而对象不可以。 那为什么？让我们来解开这神秘的暗纱！

1、 类对象的存储方式：

在一个类的实例中，只会存放非静态的成员变量。 如果该类中存在虚函数的话，再多加一个指向虚函数列表指针—vptr。

例如声明如下两个类，并分别实例化两个对象，它们的内存分配大致如下：（vptr具体在什么位置，与编译器有关，大多数都在开始处）

class base
{
public:
 virtual ~base() {};
 virtual string GetName() { return "base"; }
 GetA();
 int a;
};

class derived : public base
{
public:
 virtual ~derived() {};
 virtual string GetName() { return "derived";}
 GetB();
 int b;
};base B1, B2;derived D1, D2;

内存分布大致如下：

1. 类对象中，只有成员变量与vptr.

2. 普通成员函数在内存的某一位置放着。它们与c语言中定义的普通函数没有区别。 当我们通过对象或对象指针调用普通成员函数时， 编译器会拿到它。怎么拿到呢？当然是通过名字了，编译器都会对我们写的函数的名字进行修饰映射，让它们变成内存中唯一的函数名。

3. 无论基类还是子类，每一种类类型的虚函数表只有一份，它里面存放了基类的类型信息和指向基类中的虚函数的指针。 某一类类型的所有对象都指向了相同的虚函数表。

2. 无论通过对象还是指针，能使用的方法只与它们静态类型有关。

例如：下面的 base类型的对象B1或指针pB1，只能使用GetName() 和GetA()方法。 无论它们是如何来的！！！！！

// 直接构造得到
base B1;
base* pB1 = new base();

// 即使从子类转换而来， 通过B1或pB1也永远访问不到GetB（）方法。
derived d1;
B1 = d1;
pB1 = new derived();

3. 不同类型的指针有什么区别？

本质上它们没有任何区别，在32/64位系统中都是4/8字节的一个变量。 唯一不同的就是编译器解释它们的方式，即通过指针来寻址出来的对象类型不同，大小不同 ，指针类型来告诉编译器如何解释该指针。

4. 指针与引用来实现多态

有代码如下 ：

derived* _pD = new derived();
base* _pB = _pD;
_pB.GetName(); // 返回 derived.

想要知道如何通过指针来实现的多态，就要看看对基类指针赋值是发生了什么！ 具体来说 如下图所示：

我们会发现，对指针的赋值，仅仅是让基类指针_pB指向的子类对象的地地址。 当我们使用基类指针调用GetName()函数（该函数是虚函数，它的地址在函数表中）时， 会由_pB指向的地址找到子类的虚函数表指针vptr_上海，再由vptr_上海在虚函数表中找到子类的GetName(),从而调用它。就这样实现了多态。

5. 对象不能实现多态

有代码如下：

base B1;
derived D1;
B1 = D1;
B1.GetName();  // 返回 base

base B2 = D1
B2.GetName(); // 返回 base

上面代码中无论赋值操作还是赋值构造时， 只会处理成员变量，一个类对象里面的vptr永远不会变，永远都会指向所属类型的虚函数表，操作如下图所示：

因此，通过对象调用虚函数时，就没有必要进行动态解析了，白白增加了间接性，浪费性能。编译器直接在编译时就可以确认具体调用哪一个函数了，因此没有所谓的多态。

补充说明：

1. 引用本质上也是通过指针的解引用（即*_point)来实现的，可以<<参考std源码剖析》一本书，所以引用也可以实现多态。

2. 即使通过 基类的指针调用基类的虚函数 或 通过子类的指针调用子类的虚函数 以及通过子类指针调用基类的虚函数， 也是通过多态机制来完成的（即一步步的间接性来完成）。

3. 一个空的class的对象的大小为1个字节， 编译器之所以要这么做，是为了区别同一个类类型的不同对象！

总结

到此这篇关于c++中为什么可以通过指针或引用实现多态的文章就介绍到这了,更多相关c++指针或引用实现多态内容请搜索我们以前的文章或继续浏览下面的相关文章希望大家以后多多支持我们！

赞 (0)

相关推荐

  • C++基础之this指针与另一种“多态”

    C++基础之this指针与另一种“多态”

    一.引入定义一个类的对象,首先系统已经给这个对象分配了空间,然后会调用构造函数. 一个类有多个对象,当程序中调用对象的某个函数时,有可能要访问到这个对象的成员变量.而对于同一个类的每一个对象,都是共享同一份类函数.对象有单独的变量,但是没有单独的函数,所以当调用函数时,系统必须让函数知道这是哪个对象的操作,从而确定成员变量是哪个对象的.这种用于对成员变量归属对像进行区分的东西,就叫做this指针.事实上它就是对象的地址,这一点从反汇编出来的代码可以看到. 二.分析1.测试代码: 复制代码 代码如

  • C++ 通过指针实现多态实例详解

    C++ 通过指针实现多态实例详解

     C++ 通过指针实现多态实例详解 1.父类(DBConnector) 1)DBConnector.h #include <string> using namespace std; class DBConnector { private: string name; public: DBConnector(); DBConnector(string _name); ~DBConnector(); void show(); }; 2)DBConnector.cpp #include "D

  • c++中为什么可以通过指针或引用实现多态详解

    c++中为什么可以通过指针或引用实现多态详解

    引言: 在c++中司空见惯的事情就是:可以通过指针和引用可以实现多态,而对象不可以. 那为什么?让我们来解开这神秘的暗纱! 1. 类对象的存储方式: 在一个类的实例中,只会存放非静态的成员变量. 如果该类中存在虚函数的话,再多加一个指向虚函数列表指针-vptr. 例如声明如下两个类,并分别实例化两个对象,它们的内存分配大致如下:(vptr具体在什么位置,与编译器有关,大多数都在开始处) class base { public: virtual ~base() {}; virtual string

  • 在vue中封装方法以及多处引用该方法详解

    步骤: 1.先建立一个文件,放你想封装的方法:然后导出: 部分代码: 注: 导出这个地方需要特别注意:如果是一个对象的话:export 对象:如果是一个函数的话:export { 函数 } 2.引入文件: 补充知识:vue uni-app 公共组件封装,防止每个页面重复导入 1.公共插件 实现目标,将公共组件或者网络请求直接在this中调用,不需要再页面引用 #例如网络请求 var _this = this; this.api.userInfo({ token: '' } #通用工具 _this

  • C++中指针和引用的区别详解

    C++中指针和引用的区别 指针和引用在C++中很常用,但是对于它们之间的区别很多初学者都不是太熟悉,下面来谈谈他们2者之间的区别和用法. 1.指针和引用的定义和性质区别: (1)指针:指针是一个变量,只不过这个变量存储的是一个地址,指向内存的一个存储单元:而引用跟原来的变量实质上是同一个东西,只不过是原变量的一个别名而已.如: int a=1;int *p=&a; int a=1;int &b=a; 上面定义了一个整形变量和一个指针变量p,该指针变量指向a的存储单元,即p的值是a存储单元的

  • iOS中的集合该如何弱引用对象示例详解

    前言 本文主要给大家介绍了关于iOS集合弱引用对象的相关内容,分享出来供大家参考学习,下面话不多说了,来一起看看详细的介绍吧. 1. 使用 NSValue NSValue 可以弱引用保存一个对象,我们可以使用这种方法间接的引用. NSValue *value = [NSValue valueWithNonretainedObject:@selector(class)]; [array addObject:value]; 2. 使用 NSPointerArray,NSMapTable,NSHash

  • C++的指针,引用和STL详解

    目录 指针.引用 指针 引用 STL STL中六大组件 常用容器用法介绍 vec.front(),vec.back()    返回vector的首尾元素 重载运算符 总结 对象的定义:对象是指一块能存储数据并具有某种类型的内存空间 一个对象a,它有值和地址:运行程序时,计算机会为该对象分配存储空间,来存储该对象的值,通过该对象的地址,来访问存储空间中的值. 指针.引用 指针 类型名 * 指针变量名: 每个变量都被存放在从某个内存地址(以字节为单位)开始的若干个字节中:"指针",也称作&

  • 从汇编看c++中的多态详解

    在c++中,当一个类含有虚函数的时候,类就具有了多态性.构造函数的一项重要功能就是初始化vptr指针,这是保证多态性的关键步骤. 构造函数初始化vptr指针 下面是c++源码: class X { private: int i; public: X(int ii) { i = ii; } virtual void set(int ii) {//虚函数 i = ii; } }; int main() { X x(1); } 下面是对应的main函数汇编码: _main PROC ; 16 : in

  • C#中的char、string和StringBuilder的使用详解

    char 字符 char代表一个Unicode字符,它是System.Char的别名 char someChar = 'a';//定义了一个字符 char newLine= '\n';//这是一个换行符 System.Char定义了一组静态方法: ToUpper 将指定的字符转换为等效的大写形式 ToLower 将指定的字符转换为等效的小写形式 IsWhiteSpace 判断指定的字符是否为空白字符 -- 例子: Console.WriteLine(char.ToUpper('c'));//输出

  • C语言 指针的初始化赋值案例详解

    目录 1.指针的初始化 2.指针的赋值 3.指针常量 4.指针初始化补充 5.void *型指针 6.指向指针的指针 1.指针的初始化 指针初始化时,"="的右操作数必须为内存中数据的地址,不能够是变量,也不能够直接用整型地址值(可是int*p=0;除外,该语句表示指针为空).此时,*p仅仅是表示定义的是个指针变量,并没有间接取值的意思. 比如: int a = 25; int *ptr = &a; int b[10]; int *point = b; int *p = &am

  • C语言sizeof和strlen的指针和数组面试题详解

    目录 一.概念 sizeof: strlen: 二.例题及解析 2.1 一维数组 2.2 字符数组 2.3 二维数组 三.总结 一.概念 sizeof: sizeof操作符的结果类型为size_t,(它在头文件用typedfe定义为unsigned int类型),计算的是分配空间的实际字节数.sizeof是运算符,可以以类型.函数.做参数 . strlen: strlen结果类型也为size_t(size_t strlen( const char *string )),但strlen是计算的空间

  • Golang拾遗之指针和接口的使用详解

    目录 指针和接口 golang的指针 指向interface的指针 总结 指针和接口 golang的类型系统其实很有意思,有意思的地方就在于类型系统表面上看起来众生平等,然而实际上却要分成普通类型(types)和接口(interfaces)来看待.普通类型也包含了所谓的引用类型,例如slice和map,虽然他们和interface同为引用类型,但是行为更趋近于普通的内置类型和自定义类型,因此只有特立独行的interface会被单独归类. 那我们是依据什么把golang的类型分成两类的呢?其实很简

随机推荐