c/c++ 多態的實現原理分析

来源:https://www.cnblogs.com/xiaoshiwang/archive/2018/08/23/9140384.html
-Advertisement-
Play Games

多態的實現原理分析 當類里有一個函數被聲明成虛函數後，創建這個類的對象的時候，就會自動加入一個__vfptr的指針， __vfptr維護虛函數列表。如果有三個虛函數，則__vfptr指向的是第一個虛函數， __vfptr+1指向的是第二個虛函數，__vfptr+2指向的是第三個虛函數。 當子類覆蓋了 ...


多態的實現原理分析

當類里有一個函數被聲明成虛函數後，創建這個類的對象的時候，就會自動加入一個__vfptr的指針，

__vfptr維護虛函數列表。如果有三個虛函數，則__vfptr指向的是第一個虛函數，

__vfptr+1指向的是第二個虛函數，__vfptr+2指向的是第三個虛函數。

當子類覆蓋了父類的虛函數後，__vfptr+n就不是指向父類的虛函數了，而是指向的子類的函數。

所以當我們用父類的指針或者引用去調用被覆蓋的虛函數時，才能夠調用到子類的函數。

1.成員函數加上virtual修飾後，sizeof（類）的數字變大，即使有多個成員函數聲明成虛函數，sizeof（類）的數字不會再變大。

加了virtual後，用GDB調試的時候，發現對象b下多了個_vptr

#include <iostream>
using namespace std;

class Base{
public:
  Base() : x(0){

  }
  ~Base(){

  }
  virtual void show(){
    cout << "Base show" << endl;
  }
private:
  int x;
};

int main(){
  cout << sizeof(Base) << endl;//16
  Base b;
}

沒加virtual的效果：

#include <iostream>
using namespace std;

class Base{
public:
  Base() : x(0){

  }
  ~Base(){

  }
  void show(){
    cout << "Base show" << endl;
  }
private:
  int x;
};

int main(){
  cout << sizeof(Base) << endl;//4
  Base b;
}

2.聲明瞭虛擬函數後，系統會自動維護一個指針_vptr，指向虛函數列表。

多態是通過虛函數列表實現的。

#include <iostream>
using namespace std;

class Base{
public:
  Base() : x(0){

  }
  ~Base(){

  }
  virtual void show(){
    cout << "Base show" << endl;
  }
  virtual void print(){
    cout << "Base print" << endl;
  }
  void fun(){
    cout << "Base fun" << endl;
  }
  
private:
  int x;
};

class D : public Base{
public:
  D() : y(0){

  }
  ~D(){

  }
  void show(){
    cout << "D show" << endl;
  }
  void fun(){
    cout << "D fun" << endl;
  }
  virtual void list(){
    cout << "D list" << endl;
  }
private:
  int y;
};
int main(){
  D d;
  d.fun();//調用子類的fun方法，父類的fun方法被隱藏了

  Base *pb = &d;
  pb->show();//調用子類的show方法，多態（覆蓋）
  pb->fun();//調用父類的fun方法

  Base &fb = d;
  fb.show();//用子類的show方法，多態（覆蓋）
  fb.fun();//調用父類的fun方法
}

3.虛函數表

3.1 單繼承，無覆蓋
#include <iostream>
using namespace std;

class Base{
public:
  virtual void f(){}
  virtual void g(){}
  virtual void h(){}  
};

class D : public Base{
  virtual void f1(){}
  virtual void g1(){}
  virtual void h1(){}  
};

int main(){
  D d;
}

用GDB查看函數指針的方法：x/a 記憶體地址。查看下一個函數指針：x/a 記憶體地址+8

gdb的分析結果：

18    D d;
(gdb) n
(gdb) p d
$2 = {<Base> = {_vptr.Base = 0x555555755d48 <vtable for D+16>}, <No data fields>}
(gdb) x/a 0x555555755d48
$3 = (long *) 0x555555554a06 <Base::f()>//虛函數表第1個地址
(gdb) x/a 0x555555755d48+8
$4 = (long *) 0x555555554a12 <Base::g()>//虛函數表第2個地址
(gdb) x/a 0x555555755d48+16
$5 = (long *) 0x555555554a1e <Base::h()>//虛函數表第3個地址
(gdb) x/a 0x555555755d48+24
$6 = (long *) 0x555555554a2a <D::f1()>//虛函數表第4個地址
(gdb) x/a 0x555555755d48+32
$7 = (long *) 0x555555554a36 <D::g1()>//虛函數表第5個地址
(gdb) x/a 0x555555755d48+40
$8 = (long *) 0x555555554a42 <D::h1()>//虛函數表第6個地址
(gdb) x/a 0x555555755d48+48
$9 = (long *) 0x7ffff7dc7438 <vtable for __cxxabiv1::__si_class_type_info+16>
3.2 單繼承，覆蓋
#include <iostream>
using namespace std;

class Base{
public:
  virtual void f(){}
  virtual void g(){}
  virtual void h(){}  
};

class D : public Base{
  virtual void f(){}
  virtual void g1(){}
  virtual void h1(){}  
};

int main(){
  D d;
}

gdb的分析結果：

18    D d;
(gdb) n
(gdb) p d
$1 = {<Base> = {_vptr.Base = 0x555555755d50 <vtable for D+16>}, <No data fields>}
(gdb) p (long*)*((long*)0x555555755d50)
$2 = (long *) 0x555555554a0e <D::f()>//虛函數表第1個地址(變成了子類的f())
(gdb) p (long*)*((long*)0x555555755d50+1)
$3 = (long *) 0x5555555549f6 <Base::g()>//虛函數表第2個地址
(gdb) p (long*)*((long*)0x555555755d50+2)
$4 = (long *) 0x555555554a02 <Base::h()>//虛函數表第3個地址
(gdb) p (long*)*((long*)0x555555755d50+3)
$5 = (long *) 0x555555554a1a <D::g1()>//虛函數表第4個地址
(gdb) p (long*)*((long*)0x555555755d50+4)
$6 = (long *) 0x555555554a26 <D::h1()>//虛函數表第5個地址
(gdb) p (long*)*((long*)0x555555755d50+5)
$7 = (long *) 0x7ffff7dc7438 <vtable for __cxxabiv1::__si_class_type_info+16>
3.3 多繼承，不覆蓋
#include <iostream>
using namespace std;

class Base{
public:
  virtual void f(){}
  virtual void g(){}
  virtual void h(){}  
};
class Base1{
public:
  virtual void f(){}
  virtual void g(){}
  virtual void h(){}  
};
class Base2{
public:
  virtual void f(){}
  virtual void g(){}
  virtual void h(){}  
};
class D : public Base,public Base1,public Base2{
  virtual void f1(){}
  virtual void g1(){}
  virtual void h1(){}  
};
int main(){
  D d;
}

gdb的分析結果：

29    D d;
(gdb) n
(gdb) p d
$1 = {<Base> = {_vptr.Base = 0x555555755ca8 <vtable for D+16>}, <Base1> = {
    _vptr.Base1 = 0x555555755ce8 <vtable for D+80>}, <Base2> = {
    _vptr.Base2 = 0x555555755d10 <vtable for D+120>}, <No data fields>}
(gdb) p (long*)*((long*)0x555555755ca8)
$3 = (long *) 0x555555554b6c <Base::f()>//虛函數表(Base)第1個地址
(gdb) p (long*)*((long*)0x555555755ca8+1)
$4 = (long *) 0x555555554b78 <Base::g()>//虛函數表(Base)第2個地址
(gdb) p (long*)*((long*)0x555555755ca8+2)
$5 = (long *) 0x555555554b84 <Base::h()>//虛函數表(Base)第3個地址
(gdb) p (long*)*((long*)0x555555755ca8+3)
$6 = (long *) 0x555555554bd8 <D::f1()>//虛函數表(Base)第4個地址
(gdb) p (long*)*((long*)0x555555755ca8+4)
$7 = (long *) 0x555555554be4 <D::g1()>//虛函數表(Base)第5個地址
(gdb) p (long*)*((long*)0x555555755ca8+5)
$8 = (long *) 0x555555554bf0 <D::h1()>//虛函數表(Base)第6個地址
(gdb) p (long*)*((long*)0x555555755ca8+6)
$9 = (long *) 0xfffffffffffffff8
(gdb) p (long*)*((long*)0x555555755ce8)
$10 = (long *) 0x555555554b90 <Base1::f()>//虛函數表(Base1)第1個地址
(gdb) p (long*)*((long*)0x555555755ce8+1)
$11 = (long *) 0x555555554b9c <Base1::g()>//虛函數表(Base1)第2個地址
(gdb) p (long*)*((long*)0x555555755ce8+2)
$12 = (long *) 0x555555554ba8 <Base1::h()>//虛函數表(Base1)第3個地址
(gdb) p (long*)*((long*)0x555555755ce8+3)
$13 = (long *) 0xfffffffffffffff0
(gdb) p (long*)*((long*)0x555555755d10)
$14 = (long *) 0x555555554bb4 <Base2::f()>//虛函數表(Base2)第1個地址
(gdb) p (long*)*((long*)0x555555755d10+1)
$15 = (long *) 0x555555554bc0 <Base2::g()>//虛函數表(Base2)第2個地址
(gdb) p (long*)*((long*)0x555555755d10+2)
$16 = (long *) 0x555555554bcc <Base2::h()>//虛函數表(Base2)第3個地址
(gdb) p (long*)*((long*)0x555555755d10+3)
$17 = (long *) 0x7ffff7dc74f8 <vtable for __cxxabiv1::__vmi_class_type_info+16>
3.4 多繼承，覆蓋
#include <iostream>
using namespace std;

class Base{
public:
  virtual void f(){}
  virtual void g(){}
  virtual void h(){}  
};
class Base1{
public:
  virtual void f(){}
  virtual void g(){}
  virtual void h(){}  
};
class Base2{
public:
  virtual void f(){}
  virtual void g(){}
  virtual void h(){}  
};
class D : public Base,public Base1,public Base2{
  virtual void f(){}
  virtual void g1(){}
  virtual void h1(){}  
};
int main(){
  D d;
}

gdb的分析結果：

29    D d;
(gdb) n
(gdb) p d
$1 = {<Base> = {_vptr.Base = 0x555555755cb0 <vtable for D+16>}, <Base1> = {
    _vptr.Base1 = 0x555555755ce8 <vtable for D+72>}, <Base2> = {
    _vptr.Base2 = 0x555555755d10 <vtable for D+112>}, <No data fields>}
(gdb) p (long*)*((long*)0x555555755cb0)
$2 = (long *) 0x555555554ba4 <D::f()>//虛函數表(Base)第1個地址(變成了子類的f())
(gdb) p (long*)*((long*)0x555555755cb0+1)
$3 = (long *) 0x555555554b5c <Base::g()>//虛函數表(Base)第2個地址
(gdb) p (long*)*((long*)0x555555755cb0+2)
$4 = (long *) 0x555555554b68 <Base::h()>//虛函數表(Base)第3個地址
(gdb) p (long*)*((long*)0x555555755cb0+3)
$5 = (long *) 0x555555554bbc <D::g1()>//虛函數表(Base)第4個地址
(gdb) p (long*)*((long*)0x555555755cb0+4)
$6 = (long *) 0x555555554bc8 <D::h1()>//虛函數表(Base)第5個地址
(gdb) p (long*)*((long*)0x555555755cb0+5)
$7 = (long *) 0xfffffffffffffff8
(gdb) p (long*)*((long*)0x555555755ce8)
$8 = (long *) 0x555555554bb5 <non-virtual thunk to D::f()>//虛函數表(Base1)第1個地址(變成了子類的f())
(gdb) p (long*)*((long*)0x555555755ce8+1)
$9 = (long *) 0x555555554b74 <Base1::g()>//虛函數表(Base1)第2個地址
(gdb) p (long*)*((long*)0x555555755ce8+2)
$10 = (long *) 0x555555554b80 <Base1::h()>//虛函數表(Base1)第3個地址
(gdb) p (long*)*((long*)0x555555755ce8+3)
$11 = (long *) 0xfffffffffffffff0
(gdb) p (long*)*((long*)0x555555755d10)
$12 = (long *) 0x555555554baf <non-virtual thunk to D::f()>//虛函數表(Base2)第1個地址(變成了子類的f())
(gdb) p (long*)*((long*)0x555555755d10+1)
$13 = (long *) 0x555555554b8c <Base2::g()>//虛函數表(Base2)第2個地址
(gdb) p (long*)*((long*)0x555555755d10+2)
$14 = (long *) 0x555555554b98 <Base2::h()>//虛函數表(Base2)第3個地址
(gdb) p (long*)*((long*)0x555555755d10+3)
$15 = (long *) 0x7ffff7dc74f8 <vtable for __cxxabiv1::__vmi_class_type_info+16>

您的分享是我們最大的動力!

-Advertisement-
Play Games
更多相關文章
  • angular6項目中使用scss
    一、新建項目使用scss 使用ng new 項目名稱創建項目的時候 ng new my-app --skip-install --prefix mpr --style=scss 二、已有項目使用scss 首先，安裝node-sass包 npm install node-sass --save-dev ...
  • docker與虛擬機有何不同
    docker與虛擬機有何不同 Docker 是一個開源的應用容器引擎，讓開發者可以打包他們的應用以及依賴包到一個可移植的容器中，然後發佈到任何流行的 Linux 機器上，也可以實現虛擬化。 容器技術有很多種，Docker是目前最流行的一種，網易雲也在使用Docker。伺服器虛擬化解決的核心問題是資源 ...
  • 如何理解低耦合AND高內聚?[轉]
    1、高內聚 首先我們來看看內聚的含義：軟體含義上的內聚其實是從化學中的分子的內聚演變過來的，化學中的分子間的作用力,作用力強則表現為內聚程度高。在軟體中內聚程度的高低，標識著軟體設計的好壞。 我們在進行架構設計時的內聚高低是指，設計某個模塊或者關註點時，模塊或關註點內部的一系列相關功能的相關程度的高 ...
  • Activiti6.0 工作流引擎 websocket即時聊天發圖片文字 好友群組 SSM源碼
    博文來源：http://www.fhadmin.org/webnewsdetail1.html 即時通訊：支持好友，群組，發圖片、文件，消息聲音提醒，離線消息，保留聊天記錄 工作流模塊 1.模型管理 ：web線上流程設計器、預覽流程xml、導出xml、部署流程 2.流程管理 ：導入導出流程資源文件、 ...
  • Kafka、RabbitMQ、RocketMQ消息中間件的對比
    引言 分散式系統中,我們廣泛運用消息中間件進行系統間的數據交換,便於非同步解耦。現在開源的消息中間件有很多,目前對Kafka、RabbitMQ、RocketMQ這三個消息中間件做下對比分析。 摘自:https://blog.csdn.net/wuzhengfei1112/article/details ...
  • 第一章：開發環境及代碼結構
    開發環境： 安裝JDK8 安裝STS http://spring.io/tools/sts/ 安裝MySql 伺服器 https://www.mysql.com/downloads/ 客戶端 Navicat Premium 12 代碼結構： 項目：Maven多模塊項目 wtrover-securit ...
  • 【模板】 線段樹
    洛谷P3372 https://www.luogu.org/problemnew/show/P3372 線段樹入門版qwq 區間查詢 區間修改（都是加法qaq） ...
  • HDU4576 Robot(概率)
    題意 抄襲自https://www.cnblogs.com/Paul-Guderian/p/7624039.html 多組輸入n,m,l,r。表示在一個環上有n個格子。接下來輸入m個w表示連續的一段命令，每個w表示機器人沿順時針或者逆時針方向前進w格，已知機器人是從1號點出發的，輸出最後機器人停在環 ...
一周排行
    -Advertisement-
    Play Games
  • WPF 已知問題 監聽 WMI 事件導致觸摸失效
    示例項目結構 在 Visual Studio 中創建一個 WinForms 應用程式後，項目結構如下所示： MyWinFormsApp/ │ ├───Properties/ │ └───Settings.settings │ ├───bin/ │ ├───Debug/ │ └───Release/ ...
  • [STAThread]特性
    [STAThread] 特性用於需要與 COM 組件交互的應用程式，尤其是依賴單線程模型（如 Windows Forms 應用程式）的組件。在 STA 模式下，線程擁有自己的消息迴圈，這對於處理用戶界面和某些 COM 組件是必要的。 [STAThread] static void Main(stri ...
  • UWP WinUI3 傳入 AddHandler 的 RoutedEventHandler 類型與事件所需不匹配將拋出參數異常
    在WinForm中使用全局異常捕獲處理 在WinForm應用程式中，全局異常捕獲是確保程式穩定性的關鍵。通過在Program類的Main方法中設置全局異常處理，可以有效地捕獲並處理未預見的異常，從而避免程式崩潰。 註冊全局異常事件 [STAThread] static void Main() { / ...
  • .NET 多版本 WinForm 開源控制項庫 SunnyUI
    前言 給大家推薦一款開源的 Winform 控制項庫，可以幫助我們開發更加美觀、漂亮的 WinForm 界面。 項目介紹 SunnyUI.NET 是一個基於 .NET Framework 4.0+、.NET 6、.NET 7 和 .NET 8 的 WinForm 開源控制項庫，同時也提供了工具類庫、擴展 ...
  • .net core8 使用Swagger（附當前源碼）
    說明 該文章是屬於OverallAuth2.0系列文章，每周更新一篇該系列文章（從0到1完成系統開發）。 該系統文章，我會儘量說的非常詳細，做到不管新手、老手都能看懂。 說明：OverallAuth2.0 是一個簡單、易懂、功能強大的許可權+可視化流程管理系統。 有興趣的朋友，請關註我吧(*^▽^*) ...
  • WPF 什麼時候 VisualTreeHelper.GetDescendantBounds 將返回無窮大
    一、下載安裝 1.下載git 必須先下載並安裝git，再TortoiseGit下載安裝 git安裝參考教程：https://blog.csdn.net/mukes/article/details/115693833 2.TortoiseGit下載與安裝 TortoiseGit，Git客戶端，32/6 ...
  • C# 開源教程帶你輕鬆掌握數據結構與演算法
    前言 在項目開發過程中，理解數據結構和演算法如同掌握蓋房子的秘訣。演算法不僅能幫助我們編寫高效、優質的代碼，還能解決項目中遇到的各種難題。 給大家推薦一個支持C#的開源免費、新手友好的數據結構與演算法入門教程：Hello演算法。 項目介紹 《Hello Algo》是一本開源免費、新手友好的數據結構與演算法入門 ...
  • 第22篇 生成proto文件bat腳本
    1.生成單個Proto.bat內容 @rem Copyright 2016, Google Inc. @rem All rights reserved. @rem @rem Redistribution and use in source and binary forms, with or with ...
  • 記一次 .NET某上位機視覺程式 卡死分析
    一：背景 1. 講故事 前段時間有位朋友找到我，說他的窗體程式在客戶這邊出現了卡死，讓我幫忙看下怎麼回事？dump也生成了，既然有dump了那就上 windbg 分析吧。 二：WinDbg 分析 1. 為什麼會卡死 窗體程式的卡死，入口門檻很低，後續往下分析就不一定了，不管怎麼說先用 !clrsta ...
  • 醫學DICOM文件與PACS系統進行數據傳輸
    前言 人工智慧時代，人臉識別技術已成為安全驗證、身份識別和用戶交互的關鍵工具。 給大家推薦一款.NET 開源提供了強大的人臉識別 API，工具不僅易於集成，還具備高效處理能力。 本文將介紹一款如何利用這些API，為我們的項目添加智能識別的亮點。 項目介紹 GitHub 上擁有 1.2k 星標的 C# ...
所有分類