C++ 语言深度与现代特性

一、虚函数表

• 核心思想：C++实现运行时多态的机制。每个包含虚函数的类(或从其派生)都有一个与之关联的虚函数表。该表是一个函数指针数组，指向类的各个虚函数的实际地址。
• 内存模型：类的每一个对象实例包含一个隐藏的指针（vptr),指向该类的虚函数表，调用虚函数时，通过vptr找到虚表，再通过偏移量找到正确的函数地址进行调用。
• 关键点：解释了override、final关键字的意义；多重继承下可能有多个vptr；构造函数/析构函数中虚函数调用机制

二、对象内存模型

• 核心思想：描述了C++对象在内存中的布局方式，包括成员变量、虚表指针、继承与多重继承下的内存结构。
• 关键点：空类大小至少为1字节（用于地址标识）；成员变量按照声明顺序（受访问控制影响）；虚继承会引入额外的指针类解决菱形继承问题；内存对齐对性能和大小的影响

三、 RAII

• 核心思想：资源获取即初始化。将资源（内存、文件句柄、锁等）的声明周期与对象的声明周期绑定。在构造函数中获取资源，在析构函数中释放资源。
• 价值：是C++管理资源、避免泄露的核心理念，确保了异常安全。
• 核心应用：智能指针是RAII管理内存的典范；std::fstream、std::thread、std::lock_gurad都是RAII的体现 。

四、 移动语义

• 核心思想：通过右值引用，实现资源所有权的转移而非复制，从而提升性能。核心区分“将亡值”（可被移动资源）和“左值”。
• 关键点：右值引用 T&&,可绑定到临时对象（右值）; 移动构造函数/移动赋值运算符：参数为右值引用，实现资源指针的”窃取“，并将原对象置于有效但不可知的状态。std::move：将一个左值强制转换为右值引用，表示”我允许你移动我的资源“
• 应用：使得在函数返回容器、在容器内交换数据时避免高成本的拷贝

五、模板特化与偏特化

• 核心思想：为通用模板提供针对特定类型或类型组合的定制化实现。
• 全特化：为模板的所有参数指定具体类型，提供完全特殊的实现。

template<> class Vector<bool> { ... }; // 对bool类型的特化

• 偏特化：为模板的部分参考指定具体类型或进一步的约束。

template<typename T> class Vector<T*> { ... }; // 对所有指针类型的偏特化

• 价值：实现编译期多态、类型分发和性能优化。

六、SFINAE

• 核心思想：替换失败并非错误。在模板参数推导和重载决议过程中，如果某个模板的实例化导致编译错误，编译器会默默地忽略这个选项，而不是报错。
• 应用：历史上C++模板元编程和类型特征的核心技术，用于在编译期根据类型属性启用或禁用某些函数重载和特化。
• 现代替代：C++20的concept提供了更清晰、强大的方式来实现SFINAE的功能。

七、constexpr元编程

• 核心思想：在编译期间进行计算和求值。constexpr 函数或变量意味着其值或者结果可以在编译时确定。
• 价值：将计算从运行时转移值编译时，提升运行时性能；能够在编译器进行复杂的类型操作或运算（如计算斐波那契数列、编译器字符串处理）
• 演进：C++11/14限制了constexpr函数必须非常简单（单条return 语句）。C++14/17极大的放宽了限制，允许循环、变量、甚至if等语句使其能表达更复杂的逻辑。

八、C++20 Concept

• 核心思想：为模板参数增加约束，明确指定模板对类型的要求，大幅提升模板代码的可读性、错误信息的友好度和设计清晰度。
• 关键点：
• 概念定义：template concept Iterable = requires(T t) { ++t.begin();t.end();};
• 使用概念：

// 要求类型T必须满足“可排序”概念
template<typename T> requires Sortable<T>
void sort(T& container);
// 或更简洁的写法
void sort(Sortable auto& container);

• 价值：取代了晦涩的SFINAE和标签发布，是模板元编程的未来方向。