虚函数表（vtable）与动态派发
基础概念：C++ 实现多态的底层机制，虚函数表是一个存放虚函数指针的数组，每个含有虚函数的类都会有一张虚函数表。虚指针 vptr（virtual pointer）：对象里隐藏的指针成员，指向这个类对应的虚函数表。
对象布局 ：编译器为每个多态类（含虚函数的类）生成一张静态只读的虚函数表（vtbl），按声明序存放各虚函数的函数指针（槽位 slot）；每个对象实例头部内嵌一个 vptr ，指向其动态类型的vtable。
调用路径 ：p->f() 被编译为两级间接寻址——解引用 vptr 取得 vtable，再按编译期确定的槽位索引取出函数指针间接调用，即 晚期绑定（late binding）/ 动态派发（dynamic dispatch）。
覆写语义 ：派生类 override 在其 vtable 的 同槽位 覆写条目，未覆写槽位沿用基类；多重继承下一个对象可携带多组 vptr/vtable。
工程要点 ：间接调用阻断内联，编译器会尝试 去虚化（devirtualization） ；RTTI的 type_info通常也挂载于 vtable。上图展示了派发链：Base* p（静态类型）指向 Derived 对象，调用经对象内 vptr 寻址到 Derived vtable，同槽位命中被覆写的&Derived::f 。
代码示例：
#include <iostream> struct Base { virtual void f() { std::cout << "Base::f\n"; } // 槽位 [0] virtual void g() { std::cout << "Base::g\n"; } // 槽位 [1] virtual ~Base() = default; // 基类析构必须为 virtual }; struct Derived : Base { void f() override { std::cout << "Derived::f\n"; } // 覆写槽位 [0]，[1] 沿用 Base }; int main() { Base* p = new Derived; // 静态类型 Base*，动态类型 Derived p->f(); // 经 vptr 寻址 Derived vtable 槽位 [0] → Derived::f p->g(); // 槽位 [1] 未覆写 → Base::g delete p; // 经虚析构正确调用 ~Derived → ~Base std::cout << sizeof(Base) << '\n'; // 8（x64：一个 vptr，无数据成员） // 验证"同槽位覆写"：两个 vtable 首槽位偏移一致，均为索引 0 }RAII（Resource Acquisition Is Initialization资源获取即初始化）
基础概念：资源的获取放在构造函数，资源释放放在析构函数。依靠对象生命周期自动管理资源，避免内存泄漏、忘记关闭句柄。
核心语义 ：将资源生命周期绑定到对象生命周期——构造函数**获取（acquire） 资源，析构函数 释放（release）**资源，所有权与栈上对象的自动存储期绑定。
保障来源 ：C++ 的 确定性析构（deterministic destruction） 语义保证：无论是正常返回离开词法作用域，还是异常引发 栈展开（stack unwinding） ，已完全构造的自动对象的析构函数必然执行——这是**异常安全（exception safety，basic/strong guarantee）**的基石。
与 GC 对比 ：释放时机确定、无 finalizer 式的延迟回收；典型载体如`ock_guard/unique_lock 、fstream、jthread及智能指针本身。
代码示例：
template<typename T> class MyRAII { private: T* ptr; public: explicit MyRAII(T* p) : ptr(p) {} // 获取资源 ~MyRAII() { delete ptr; } // 释放资源 // 禁止拷贝（防止两个对象管理同一块内存，二次释放） MyRAII(const MyRAII&) = delete; MyRAII& operator=(const MyRAII&) = delete; T& operator*() const { return *ptr; } T* operator->() const { return ptr; } }; void test() { MyRAII<int> p(new int(10)); // 不管函数正常返回还是抛出异常，离开作用域自动调用析构 delete }示例图：
标准库RAII指针
std::unique_ptr
独占所有权，禁止拷贝，只能移动std::move
std::shared_ptr
共享所有权，引用计数，多个 shared_ptr 可以指向同一资源
以std::shared_ptr的代码为示例：
#include <iostream> #include <memory> struct Widget { ~Widget() { std::cout << "~Widget\n"; } }; int main() { auto p1 = std::make_shared<Widget>(); // 单次分配：对象 + 控制块 std::cout << p1.use_count() << '\n'; // 1 { auto p2 = p1; // 拷贝构造：控制块内 strong count 原子递增 std::cout << p1.use_count() << '\n'; // 2 } // p2 析构：strong 递减至 1，对象存活 std::cout << p1.use_count() << '\n'; // 1 } // p1 析构：strong 归零 → ~Widget； // weak 也归零 → 释放控制块 // 循环引用反例：strong 永不归零 → 内存泄漏 // struct Node { std::shared_ptr<Node> next; }; // 成环泄漏 // struct Node { std::weak_ptr<Node> next; }; // 用 weak_ptr 打破环路以上便是本篇文章的全部内容，如果能帮到您的话，欢迎点赞收藏，也可以在评论区留下你的想法与疑问。
