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
  • 移動開發（一）：使用.NET MAUI開發第一個安卓APP
    移動開發（一）：使用.NET MAUI開發第一個安卓APP 對於工作多年的C#程式員來說，近來想嘗試開發一款安卓APP，考慮了很久最終選擇使用.NET MAUI這個微軟官方的框架來嘗試體驗開發安卓APP，畢竟是使用Visual Studio開發工具，使用起來也比較的順手，結合微軟官方的教程進行了安卓 ...
  • wpf ToggleButton選中效果和一個登錄界面
    前言 QuestPDF 是一個開源 .NET 庫，用於生成 PDF 文檔。使用了C# Fluent API方式可簡化開發、減少錯誤並提高工作效率。利用它可以輕鬆生成 PDF 報告、發票、導出文件等。 項目介紹 QuestPDF 是一個革命性的開源 .NET 庫，它徹底改變了我們生成 PDF 文檔的方 ...
  • 彈幕樹洞項目功能新增篇
    項目地址 項目後端地址： https://github.com/ZyPLJ/ZYTteeHole 項目前端頁面地址： ZyPLJ/TreeHoleVue (github.com) https://github.com/ZyPLJ/TreeHoleVue 目前項目測試訪問地址： http://tree ...
  • 第27篇 sqlserver2022詳細安裝步驟
    話不多說，直接開乾 一.下載 1.官方鏈接下載： https://www.microsoft.com/zh-cn/sql-server/sql-server-downloads 2.在下載目錄中找到下麵這個小的安裝包 SQL2022-SSEI-Dev.exe，運行開始下載SQL server； 二. ...
  • .NET 開源高性能 MQTT 類庫
    前言 隨著物聯網（IoT）技術的迅猛發展，MQTT（消息隊列遙測傳輸）協議憑藉其輕量級和高效性，已成為眾多物聯網應用的首選通信標準。 MQTTnet 作為一個高性能的 .NET 開源庫，為 .NET 平臺上的 MQTT 客戶端與伺服器開發提供了強大的支持。 本文將全面介紹 MQTTnet 的核心功能 ...
  • Serilog文檔翻譯系列（六） - 可用的接收器、增強器、格式化輸出
    Serilog支持多種接收器用於日誌存儲，增強器用於添加屬性，LogContext管理動態屬性，支持多種輸出格式包括純文本、JSON及ExpressionTemplate。還提供了自定義格式化選項，適用於不同需求。 ...
  • 警惕 Visual Studio 屬性求值副作用導致邏輯不符合預期
    目錄簡介獲取 HTML 文檔解析 HTML 文檔測試參考文章 簡介 動態內容網站使用 JavaScript 腳本動態檢索和渲染數據，爬取信息時需要模擬瀏覽器行為，否則獲取到的源碼基本是空的。 本文使用的爬取步驟如下： 使用 Selenium 獲取渲染後的 HTML 文檔 使用 HtmlAgility ...
  • [使用目前最新版]HybridCLR6.9.0+YooAsset2.2.4實現純C# Unity熱更新方案 (一)
    1.前言 什麼是熱更新 游戲或者軟體更新時，無需重新下載客戶端進行安裝，而是在應用程式啟動的情況下，在內部進行資源或者代碼更新 Unity目前常用熱更新解決方案 HybridCLR，Xlua，ILRuntime等 Unity目前常用資源管理解決方案 AssetBundles，Addressable， ...
  • 在 ASP.NET Core Web API 中使用操作篩選器統一處理通用操作
    本文章主要是在C# ASP.NET Core Web API框架實現向手機發送驗證碼簡訊功能。這裡我選擇是一個互億無線簡訊驗證碼平臺，其實像阿裡雲，騰訊雲上面也可以。 首先我們先去 互億無線 https://www.ihuyi.com/api/sms.html 去註冊一個賬號 註冊完成賬號後，它會送 ...
  • 第28篇 如何.net中實現高效可靠數據同步api
    通過以下方式可以高效，並保證數據同步的可靠性 1.API設計 使用RESTful設計，確保API端點明確，並使用適當的HTTP方法（如POST用於創建，PUT用於更新）。 設計清晰的請求和響應模型，以確保客戶端能夠理解預期格式。 2.數據驗證 在伺服器端進行嚴格的數據驗證，確保接收到的數據符合預期格 ...
所有分類