自定义博客皮肤VIP专享

*博客头图：

点击选择上传的图片

格式为PNG、JPG，宽度*高度大于1920*100像素，不超过2MB，主视觉建议放在右侧，请参照线上博客头图

请上传大于1920*100像素的图片！

博客底图：

点击选择上传的图片

图片格式为PNG、JPG，不超过1MB，可上下左右平铺至整个背景

栏目图：

点击选择上传的图片

图片格式为PNG、JPG，图片宽度*高度为300*38像素，不超过0.5MB

主标题颜色：

RGB颜色，例如：#AFAFAF

Hover：

RGB颜色，例如：#AFAFAF

副标题颜色：

RGB颜色，例如：#AFAFAF

预览取消提交

自定义博客皮肤

-+

上一步保存

qq_75270497的博客

博客等级

码龄3年

66
原创

1905
点赞

2000
收藏

1292
粉丝

关注

私信

热门文章

分类专栏

最新评论

从C语言的面向过程编程过渡理解面向对象编程风格
we will rise.: 在 C 语言中要求所有子类结构体的首元素必须是基类结构体，其根本原因与 **内存地址对齐** 和 **类型安全转换** 密切相关。以下是分层次的解释： --- ### **1. 内存地址一致性原理** #### **C 语言的结构体内存规则**： - **结构体的起始地址** 与其 **第一个成员的起始地址** **完全相同**（偏移量始终为 0）。 - 若基类结构体（如 `Base`）是子类结构体（如 `Sub`）的第一个成员，则以下关系必然成立： ```c struct Base { void (*func)(void); }; // 基类包含函数指针 struct Sub { struct Base base; int data; }; // 子类首元素是基类 Sub sub; // 以下地址相等： (void*)&sub == (void*)&sub.base ``` #### **关键推论**： - 当子类对象（`Sub`）被强制转换为基类指针（`Base*`）时，转换后的指针 **直接指向子类内部的基类成员**。 - 通过基类指针调用函数指针 `func` 时，实际访问的是子类中 `base.func` 的正确内存位置。 --- ### **2. 若基类不是首元素：灾难性后果** 假设错误的设计： ```c // 错误示例：基类不是首元素 struct Sub { int data; // 其他成员在前 struct Base base; // 基类在第二个位置 }; ``` 此时内存布局如下： ``` | data (4字节) | base (假设 8 字节) | ... | ``` - 子类对象地址为 `0x1000`，`data` 位于 `0x1000`，`base` 位于 `0x1004`。 - 若将 `Sub*` 强制转换为 `Base*`： ```c Sub* sub_ptr = malloc(sizeof(Sub)); Base* base_ptr = (Base*)sub_ptr; // 实际指向 0x1000，而非 base 的真实地址 0x1004 ``` - 调用 `base_ptr->func()` 时： - 实际访问的是 `0x1000` 处的内存（即 `data` 的值），而非 `base.func`。 - 导致 **野指针调用**（程序崩溃或未定义行为）。 --- ### **3. 函数指针调用的正确性** 当基类是首元素时： ```c Sub sub; Base* base_ptr = (Base*)⊂ // 正确指向 sub.base base_ptr->func(); // 实际调用 sub.base.func() ``` - 编译器生成的代码会直接通过 `base_ptr` 访问 `func`，而由于 `base_ptr` 实际指向子类内部的 `base` 成员，调用完全合法。 --- ### **4. 类似设计模式的实践** #### **Linux 内核的 `sk_buff`**： - 网络数据包结构 `sk_buff` 的头部包含公共控制信息（类似基类）。 - 协议专用数据（如以太网头、IP头）通过指针偏移访问。 - 通过确保公共头部是首元素，实现高效的类型转换和数据操作。 #### **C 语言模拟面向对象**： - 基类结构体定义统一接口（函数指针）。 - 所有子类首元素为基类，实现多态： ```c typedef struct Animal { void (*speak)(struct Animal* self); // 函数指针 } Animal; typedef struct Cat { Animal base; // 首元素必须是基类 int age; } Cat; void cat_speak(Animal* self) { Cat* cat = (Cat*)self; // 安全反向转换 printf("Meow! I'm %d years old\n", cat->age); } int main() { Cat cat = { .base = { .speak = cat_speak }, .age = 3 }; Animal* animal = (Animal*)&cat; // 子类转基类 animal->speak(animal); // 正确调用 cat_speak } ``` --- ### **5. C++ 对比与扩展** 在 C++ 中，若使用继承： ```cpp class Base { public: virtual void func() = 0; // 虚函数 }; class Sub : public Base { // 公有继承保证基类子对象位于首地址 int data; public: void func() override { /* ... */ } }; ``` - 编译器会自动将基类子对象放在派生类内存布局的起始位置。 - 虚函数表指针（vptr）可能位于对象首地址（取决于编译器实现），但基类成员仍紧随其后。 #### **C++ 的潜在风险**： - 若使用多重继承，第二个基类的子对象会有偏移。 - 虚函数表指针可能破坏首地址对齐（因此 C 语言实现更可控）。 --- ### **总结** 要求子类首元素必须是基类的本质是： 1. **内存安全**：确保类型转换时指针指向正确的内存区域。 2. **函数指针有效性**：保证通过基类指针调用的函数实际属于子类实现。 3. **零成本抽象**：通过编译器静态保证的内存布局，避免运行时偏移计算。这种模式在以下场景中至关重要： - 系统编程（如操作系统内核、网络协议栈） - 嵌入式开发（需精确控制内存布局） - 高性能库设计（如实现类似多态的通用接口）
从C语言的面向过程编程过渡理解面向对象编程风格
we will rise.: 就是文中的例子，我们要先把子类对象转化成shape对象，但是我们调用draw这个函数时，我们会默认用的是shape对象中的draw函数，但是此时我们使用的其实是子类转化过来的shape对象，他会根据shape对象中draw函数指针的位置对draw函数进行调用，如果子类首元素是其他类型而不是draw这个指针，就会出现调用野指针的问题
从C语言的面向过程编程过渡理解面向对象编程风格
m0_51177738: 用 c 语言模仿面向对象的多态特性的时候，父对象与子对象内存排布为什么必须要重合？
动规算法-地下城游戏
忆愿: 优质好文，博主的文章细节很到位，兼顾实用性和可操作性，感谢博主的分享，期待博主持续带来更多好文
linux下的调试工具gdb的详细使用介绍
优快云-Ada助手: CS入门技能树或许可以帮到你：https://edu.youkuaiyun.com/skill/gml?utm_source=AI_act_gml

Linux修炼

关注

文章平均质量分 89

关注数：文章数：4 文章阅读量：4406 文章收藏量：75

作者: we will rise.

我知道我写的文章会有很多小错误，但是我会常常回头看，会看很多书，会为我写的文章负责，为大家负责，共勉，加油！

展开