C 與 C++ 核心共同點深度解析：從結構體到類別的演進本質

前言

「C 語言與 C++ 語言的共同點是什麼？」這不只是面試題，更是理解 C++ 如何在 C 基礎上構建物件導向體系的關鍵。本文將從語法相容性、記憶體模型、編譯模型、核心機制對應四個維度，深度剖析兩者的共同基因與演進邏輯。

核心共同點總覽

深度剖析：結構體與類別的本質關係

原始回答指出：「C++ 中的結構體和類別沒有本質區別，只不過結構體的預設權限為 public，類別預設為 private。」這是核心洞察。我們從機器碼層面驗證：

1. 記憶體佈局完全一致

// C 風格
struct PointC { int x; int y; };

// C++ 風格
struct PointCpp { int x; int y; };
class PointClass { public: int x; int y; }; // 显式 public

// 编译后内存布局完全相同：连续 8 字节 (x:4, y:4)，无隐藏成员
static_assert(sizeof(PointC) == sizeof(PointCpp) && sizeof(PointCpp) == sizeof(PointClass));
static_assert(offsetof(PointC, x) == offsetof(PointCpp, x) && offsetof(PointCpp, x) == offsetof(PointClass, x));

2. 成員函式 = 靜態函式 + 隱含 this 指標

// C++ 类
struct Shape { 
    int x, y; 
    void move(int dx, int dy) { x += dx; y += dy; } 
};

// 等价的 C 实现
struct Shape { int x, y; };
void Shape_move(Shape* this, int dx, int dy) {  // 显式 this 指针
    this->x += dx; 
    this->y += dy; 
}

// 调用方式
Shape s; 
s.move(1, 2);          // C++ 语法糖
Shape_move(&s, 1, 2);  // C 等价展开

關鍵點：C++ 非靜態成員函式編譯後就是第一個參數為 this 指標的普通函式。x86-64 System V ABI 下，this 經由 RDI 傳遞；Microsoft x64 ABI 經由 RCX。這正是原始回答提到的「在 x86 系統中使用 ecx 傳遞參數而非堆疊」。

3. 繼承 = 結構體嵌套 + 虛函式表

// C++ 单继承
struct Base { int a; virtual void foo(); };
struct Derived : Base { int b; void foo() override; };

// C 等价实现（简化）
struct Base { int a; void (*foo)(struct Base*); }; // 函数指针表雏形
struct Derived { struct Base base; int b; };       // 组合 = 继承

// 虚函数表机制（单继承无虚基类时）
// Base 对象内存：[vptr][a]
// Derived 对象内存：[vptr][a][b]  -- vptr 指向 Derived 的 vtable
// vtable: [&Base::foo, &Derived::foo, ...]

原始回答的代碼片段：

struct b { a xxx; ... }  // b 从 a 继承 = 组合 a 作为首成员

正是這個原理。單繼承無虛基類時，派生類物件記憶體佈局 = 基類子物件 + 派生類自有成員，基類指標可直接指向派生類物件開頭（向上轉型零成本）。

4. 存取控制 = 編譯期檢查，執行期零成本

public/protected/private、friend 皆為編譯器強制的靜態檢查。機器碼層面完全沒有權限概念—— 只要拿到位址，隨時可讀寫。這也是原始回答所言：「在機器碼那個層次沒有限制」。

其他關鍵共同機制

模板與泛型的雛形

C 的巨集 (#define) 是 C++ 模板的「文字替換」前身。C++ 模板在編譯期實例化生成具體型別程式碼，本質上是型別安全的巨集展開，且支援型別推導、特化、SFINAE、概念 等進階特性。

異常處理與 setjmp/longjmp

C 的 setjmp/longjmp 是非局部跳轉的原始形式。C++ 異常機制（try/catch/throw）在編譯器實現上通常基於零成本異常模型 (Itanium C++ ABI)：正常路徑零開銷，拋出時透過堆疊展開表查找處理器，本質上是結構化的 longjmp。

RTTI (Run-Time Type Information)

C 無原生 RTTI。C++ 的 typeid、dynamic_cast 依賴虛函式表擴展的 type_info 結構，同樣是編譯器為類別自動生成的中繼資料。

實務啟示：為什麼要理解這些共同點？

1. 跨語言互操作：編寫 C++ 庫供 C/Python/Go/Rust 調用時，必須用 extern "C" 導出純 C 介面，理解 ABI 兼容性至關重要。
2. 效能調優：知道虛函式呼叫 = 間接跳轉 + 可能的快取未命中，才能在熱點路徑考慮 final、CRTP、樣板化消除虛呼叫。
3. 記憶體佈局控制：#pragma pack、alignas、[[no_unique_address]] 等屬性在 C/C++ 通用，關鍵於高效能資料結構、網路封包、硬體暫存器映射。
4. 除錯與逆向：看組合語言/核心傾印時，識別 this 指標、虛表指標、物件佈局，能快速定位物件生命週期、切面、繼承關係問題。

結語

C 與 C++ 的共同點遠超「語法相似」—— 它們共享相同的記憶體模型、編譯鏈結模型、呼叫慣例、ABI 基礎。C++ 可視為「在 C 的機器模型之上，增加了語義層面的抽象（類別、模板、異常、RAII），並由編譯器自動降級為 C 風格的機器碼」。深刻理解這一點，您就能在兩語言間自由穿梭，寫出既具 C 效能又具 C++ 表達力的現代系統級程式碼。