crtp能彻底消除vptr和vtable开销，前提是基类无虚函数且不通过指针/引用向上转型；因其依赖编译期静态绑定而非运行时多态，所有调用在模板实例化时确定，故无需虚函数表支持。
CRTP 能彻底消除虚函数表指针（vptr）和虚函数表（vtable）的内存开销，前提是基类不声明任何虚函数、派生类不通过指针/引用向上转型为基类类型使用。
为什么 CRTP 能去掉 vptr 和 vtable
虚函数表和 vptr 是编译器为支持 virtual 函数而强制插入的运行时机制。只要类里没有 virtual 成员函数、没有 virtual 析构函数、也没有继承带虚函数的基类，编译器就不会生成 vtable，对象也就不会有 vptr 字段。
CRTP 的基类模板本身不包含虚函数——它靠 static_cast<derived>(this)->someMethod()</derived> 在编译期绑定调用，所有派生类实例化出来的基类特化版本都是具体类型，不参与多态继承链。
- 基类模板
Base<derived></derived>里不能写virtual，哪怕一个virtual ~Base() = default;都会悄悄引入 vptr - 派生类如
class Vec3f : public Base<vec3f></vec3f>，其对象大小 =Vec3f自身成员 + 继承自Base<vec3f></vec3f>的成员，无额外指针 - 用
sizeof对比：含虚函数的类通常比等效 CRTP 类大 4 或 8 字节（取决于平台指针宽度）
容易踩坑的“伪 CRTP”写法
看似用了 CRTP 模式，但一不小心就让编译器又塞进 vptr —— 最常见的是在基类里加了虚析构或虚函数。
- 错误：
template<typename derived> class Base { virtual ~Base() = default; };</typename>→ 强制生成 vtable 和 vptr - 错误：
template<typename derived> class Base { virtual int getValue() = 0; };</typename>→ 不仅 vptr，还让Base变成抽象类，无法直接实例化派生类（除非显式实现） - 正确：
template<typename derived> class Base { ~Base() = default; };</typename>（非虚析构），或干脆不写析构函数 - 若需安全析构，应确保派生类自己管理生命周期，或用
static_assert禁止通过基类指针 delete
CRTP 对象大小验证方法
别只信文档，用编译器实测最可靠。g++/clang 支持 -fdump-class-hierarchy 查看类布局，或者直接打印 sizeof。
struct VirtualSensor {
virtual float read() = 0;
};
struct CRTPSensor : Base<crtpsensor> {
float read() { return 42.0f; }
};
// sizeof(VirtualSensor) → 8 (x64 下 vptr 占 8 字节)
// sizeof(CRTPSensor) → 1（假设无数据成员）或按实际成员对齐
</crtpsensor>
- 注意：空基类优化（EBO）可能让
Base<derived></derived>完全不占空间，但一旦基类有非静态成员或虚函数，EBO 就失效 - 调试时可用
g++ -c -fdump-tree-all查看模板实例化后的 IR，确认是否还有vtable相关符号 - 嵌入式场景建议加
static_assert(sizeof(MyClass) == sizeof(MyDataMembers))，把内存约束写死在编译期
真正零开销的前提是放弃运行时多态接口
CRTP 的内存优势不是白来的：它要求你放弃“用基类指针统一管理不同派生类”的便利。一旦你写 Base<t>* ptr = new Derived;</t>，编译器会报错——因为 Base<t></t> 和 Base<u></u> 是完全不同的类型，不存在父子关系。
- 数组或容器必须用具体类型：比如
std::array<pre class="brush:php;toolbar:false;" ssuresensor></pre>，而不是std::array<base>, 4> - 泛型算法靠模板参数推导，不是靠继承：函数签名应为
template<typename t> float process(const T& sensor)</typename>，而非float process(const Base>&) - 如果硬要统一接口，得用类型擦除（如
std::function）或 variant，但这会重新引入间接开销——CRTP 的零成本只存在于“编译期已知具体类型”的路径上
最常被忽略的一点：CRTP 的“零内存开销”只对单个对象成立；若大量特化导致代码膨胀，指令缓存压力可能抵消部分收益——尤其在资源受限的 MCU 上，得实测二进制尺寸与 cache miss 率。
C++免费学习笔记（深入）：立即使用
在学习笔记中，你将探索 C++ 的入门与实战技巧！
