CRTP能省掉vptr是因为它通过模板参数在编译期静态绑定多态行为，无需虚函数机制；基类不定义虚函数、派生类显式继承并正确传递自身类型，即可实现零运行时开销的静态多态。
CRTP 在单片机 C++ 中为什么能省掉 vptr？
因为虚函数表指针（vptr）是编译器为含虚函数的类自动插入的隐式成员，每个对象占 4 或 8 字节；而 CRTP 把多态行为在编译期静态绑定，根本不需要虚函数，自然没有 vptr。关键前提是：你得让基类模板参数明确知道派生类类型，且所有调用都通过 static_cast 回到派生类。
怎么写一个无虚函数、零运行时开销的 CRTP 基类？
典型结构是基类接受派生类作为模板参数，并在需要调用派生类逻辑的地方用 static_cast<derived>(this)->foo()</derived>。注意：不能用 this->foo()（可能触发 ADL 或意外重载），也不能漏掉 static_cast（否则编译不过）。
常见错误现象：error: invalid static_cast from type 'Base<t>*' to type 'T*'</t> —— 这通常是因为派生类没真正继承自 Base<derived></derived>，比如写成了 class D : public Base 而不是 class D : public Base<d></d>。
实操建议：
立即学习“C++免费学习笔记（深入）”；
- 基类构造函数应为
protected，防止被直接实例化 - 派生类必须显式继承
Base<derived></derived>，模板参数必须和自身类名完全一致（包括命名空间） - 若需访问派生类的静态成员（如寄存器地址），可在基类中用
Derived::REG_ADDR直接引用 - 避免在基类中定义虚析构函数——它会悄悄引入 vptr；改用普通析构函数，或确保派生类析构函数为 public 且非虚
CRTP 和普通继承混用会踩什么坑？
一旦你在 CRTP 基类里加了任何虚函数（哪怕只是 virtual ~Base() = default;），整个派生类对象就会带上 vptr，前功尽弃。更隐蔽的问题是：如果派生类自己又继承了别的虚基类，或者用了多重继承且其中一路含虚函数，vptr 也会回来。
使用场景限制很明确：CRTP 适合“一个硬件外设对应一个固定驱动类”的嵌入式场景，比如 UartDriver、SpiPeripheral，它们不 runtime 切换行为，也不需要被统一容器（如 std::vector<:unique_ptr>></:unique_ptr>）管理。
性能影响：CRTP 展开后每个派生类都有独立的一套基类函数副本，代码体积略增，但无分支预测失败、无间接跳转、无 cache miss —— 对 Cortex-M3/M4 的 tight loop 更友好。
一个最小可运行的 UART 驱动 CRTP 示例
假设你有一组寄存器映射在 0x4000_4400，想让不同波特率/数据位配置的 UART 实例共享初始化逻辑，但不带 vptr：
template<typename Derived>
struct UartBase {
void init() {
static_cast<Derived*>(this)->enable_clock();
static_cast<Derived*>(this)->configure_pins();
static_cast<Derived*>(this)->setup_baudrate();
// ... 其他共用流程
}
};
struct Uart1 : UartBase<Uart1> {
static constexpr uint32_t BASE_ADDR = 0x40004400;
void enable_clock() { RCC->APB2ENR |= RCC_APB2ENR_USART1EN; }
void configure_pins() { GPIOA->AFR[0] |= 0x77000000; }
void setup_baudrate() {
auto& usart = *reinterpret_cast<volatile UsartReg*>(BASE_ADDR);
usart.BRR = 0x271; // 115200 @ 72MHz
}
};
调用方式：Uart1 uart; uart.init(); —— 编译后无 vptr，无虚调用开销，所有地址和配置都在编译期确定。
容易被忽略的是：CRTP 不解决“如何把多个不同外设驱动统一调度”的问题；它只解决“单个驱动内部去虚化”。真要 runtime 多态，还是得权衡——要么接受 vptr，要么用函数指针表 + 手动 dispatch，要么上 tiny-ecs 类型的 tag dispatch。
