首頁
編程語言
C語言|JAVA編程
Python編程
網頁編程
ASP編程|PHP編程
JSP編程
數據庫
MYSQL數據庫|SqlServer數據庫
Oracle數據庫|DB2數據庫
您现在的位置: 程式碼之家 >> 編程語言 >  >> 更多程式語言 >> 程式設計綜合問答

C++ 基類與派生類指標轉換的風險:靜態綁定、動態綁定與未定義行為

     編輯:程式設計綜合問答

程式碼分析

A a;
B *ptr = (B *)&a;  // 強制將基類物件指標轉為派生類指標
ptr->foo();          // 非虛函數:靜態綁定,呼叫 B::foo() -> 輸出 3
ptr->fun();          // 虛函數:動態綁定,但 vptr 指向 A 的虛表 -> 呼叫 A::fun() -> 輸出 2
ptr->testB();        // 派生類專有函數:極度危險,存取不存在的成員 -> 未定義行為

核心問題

  1. 非虛函數靜態綁定:編譯期根據指標類型(B*)決定呼叫 B::foo(),即使物件實為 A。
  2. 虛函數動態綁定:執行期根據物件真實類型(A)查虛表,呼叫 A::fun()。
  3. 存取派生類專有成員:testB()、資料成員 B 獨有的欄位在 A 物件中不存在,讀寫會導致記憶體破壞、崩潰或無聲錯誤。

為什麼編譯器允許?

C++ 強制轉型((B*))告訴編譯器「我相信你知道我在做什麼」,編譯器不做執行期檢查。這是 C++「信任程式設計師」哲學的體現,也是坑的來源。

正確做法

  • 只用向上轉型(A* ptr = new B();),配合虛函數實現多態。
  • 若必須向下轉型,使用 dynamic_cast<B*>(ptr)(需 RTTI 且基類有虛函數),失敗回傳 nullptr。
  • 設計上避免需要知道具體派生類型的代碼,改用虛函數或 Visitor 模式。

警告:將基類物件強轉為派生類指標屬於未定義行為,輕則輸出錯誤,重則隨機崩潰,嚴禁用於生產代碼。

  1. 上一篇文章:
  2. 下一篇文章:
Copyright © 程式碼之家 All Rights Reserved