📚 课程目录第2章 C++语言基础高频考点与回答框架

第2章 C++语言基础高频考点与回答框架：类与对象、继承多态、虚函数、const/static、编译链接

本章聚焦 C++ 面向对象核心机制与底层编译模型，是架构师面试中区分“会用”与“懂原理”的关键分水岭。以下结构化问答覆盖 虚函数实现、菱形继承、const/static 语义及编译链接，每道题均给出考察点、回答框架、示例、追问与避坑指南。

图2-1 虚函数与多态回答框架：聚焦 vptr、vtable 与动态绑定

📌 面试问题

请解释 C++ 虚函数的实现原理，包括虚表指针、虚函数表以及它们在多态中的作用。

🎯 面试官考察点

是否理解虚函数底层的内存布局与调用机制
能否区分静态多态与动态多态
是否知道构造函数/析构函数中调用虚函数的陷阱
是否了解虚函数对性能的影响

🧩 回答框架

关键概念：每个包含虚函数的类都有一个虚函数表（vtable），对象内存头部存放虚表指针（vptr）。
初始化时机：构造函数执行时设置 vptr 指向当前类的 vtable；派生类构造完成后 vptr 指向派生类的 vtable。
动态绑定过程：通过 vptr 找到 vtable，再从 vtable 中取出函数地址，间接调用。
注意事项：构造函数/析构函数中调用虚函数不会动态绑定；虚函数调用无法内联，且比普通函数多一次间接寻址。

✏️ 简短示例回答

虚函数通过 vptr 和 vtable 实现动态绑定。每个对象存 vptr 指向类的 vtable，vtable 存储虚函数地址。调用时先取 vptr，再查表，最后间接调用。构造函数中 vptr 指向当前类，因此不会多态。性能上多一次间接寻址且无法内联。

🔍 可能追问

虚函数表存放在哪个内存区域？
多重继承下对象有几个 vptr？
虚函数调用能否通过编译期优化避免间接寻址？

⚠ 避坑提醒：不要混淆虚函数与非虚函数（普通成员函数）的调用机制；不要回答“虚函数表是每个对象一份”，正确的是每个类一份。

📌 面试问题

什么是 C++ 中的菱形继承（Diamond Problem）？如何处理？虚继承的内存布局有何特点？

🎯 面试官考察点

是否理解多重继承可能产生的二义性
能否清晰描述虚继承的语法与底层实现（虚基类指针/偏移量）
是否知道虚继承下构造函数的调用顺序

🧩 回答框架

问题描述：类 B 和 C 继承自 A，类 D 同时继承 B 和 C，导致 D 中包含两份 A 的成员，访问产生二义性。
解决方案：使用虚继承（class B : virtual public A），使最终派生类只保留一份 A 的副本。
内存布局：虚继承时子类对象中增加虚基类指针（vbptr）或偏移量表，运行时定位虚基类子对象。
构造函数调用：最派生类负责构造虚基类，虚基类的构造函数只执行一次。

✏️ 简短示例回答

菱形继承造成数据冗余和二义性。通过虚继承让 D 只保留一个 A。虚继承下对象内存包含 vbptr 或偏移量表，运行时计算虚基类位置。最派生类 D 负责初始化 A，避免重复构造。访问 A 成员无歧义。

🔍 可能追问

虚继承和普通继承在构造顺序上有什么区别？
vbptr 与 vptr 可以合并吗？为什么通常分开？
请画出一个菱形继承的内存布局图。

⚠ 避坑提醒：不要认为虚继承会增加运行时开销就避免使用；实际架构中（如 IOStream）大量使用虚继承。不要混淆虚函数和虚继承的“虚”字。

📌 面试问题

请系统阐述 C++ 中 static 和 const 关键字的常见用法，并说明它们在编译链接阶段的行为差异。

🎯 面试官考察点

是否全面掌握 static 在作用域、存储期、链接性三层面的影响
是否理解 const 的“不可变性”与“内部链接”特性
能否区分 static const 成员变量与常量表达式（constexpr）
是否了解编译单元和符号表的处理规则

🧩 回答框架

static 用法：①局部变量：静态存储期，只初始化一次；②全局变量/函数：内部链接，仅在当前编译单元可见；③类成员：属于类而非对象，需类外定义。
const 用法：①修饰变量：只读语义；②修饰成员函数：不能修改对象；③全局 const 变量默认内部链接（C++ 特性），相当于 static。
编译链接行为：static 变量在符号表中标记为 LOCAL 符号；const 全局变量（C++）类似 static，不会导出到外部；非 const 全局变量默认外部链接，可能产生重复定义错误。
static const 成员：C++17 前需类外定义，C++17 后 inline static const 可类内初始化。

✏️ 简短示例回答

static 控制存储期和链接性：局部 static 函数内持久化，全局 static 隐藏符号，类 static 共享数据。const 提供只读保证：全局 const 默认内部链接（类似 static），成员函数 const 支持常对象调用。static const 成员常用于类内整型常量，C++17 后可内联定义。

🔍 可能追问

const 全局变量和宏定义（#define）有哪些区别？
static 局部变量在多线程环境下是否需要加锁？
constexpr 与 const 在编译期行为上有什么不同？

⚠ 避坑提醒：不要回答“const 全局变量放在只读数据段”，实际上编译器可以进行优化，不保证。不要混淆 static 成员函数的本质（没有 this 指针，不能访问非静态成员）。

📊 补充：C++ 编译链接四阶段与常见符号错误

阶段	输入/输出	关键行为	常见面试问题
预处理	.cpp → .ii	头文件展开、宏替换、条件编译	#pragma once vs header guard
编译	.ii → .s	语法分析、语义分析、生成汇编	模板实例化、内联函数替换
汇编	.s → .o / .obj	生成目标文件（机器码 + 符号表）	符号的 LOCAL / GLOBAL 属性
链接	多个 .o + 库 → 可执行文件	符号解析、重定位、段合并	未定义引用、重复定义、弱符号

💡 面试加分点：提到 static 全局函数/变量在链接时会被标记为 LOCAL 符号，不会与其他编译单元冲突；而 const 全局变量在 C++ 中默认内部链接，因此可以在头文件中定义而不会引起多重定义错误。