贝利信息

c++中的编译期和运行期多态_c++ CRTP与虚函数对比

日期:2025-12-17 00:00 / 作者:穿越時空
运行期多态通过虚函数实现,调用时经由虚表在运行时确定具体函数,如Animal基类指针调用Dog::speak();编译期多态采用CRTP,利用模板在编译时静态分发,如Base中通过static_cast调用implementation;前者灵活但有性能与内存开销,后者高效紧凑但类型需编译前确定;选择依据性能、内存、扩展性需求,现代C++常混合使用。

在C++中,多态通常指一个接口表现出多种形态的能力。根据实现时机的不同,多态可分为编译期多态和运行期多态。这两种机制分别由CRTP(Curiously Recurring Template Pattern)和虚函数实现,各有优劣和适用场景。

运行期多态:基于虚函数的动态分发

运行期多态通过继承和虚函数实现,调用哪个函数在程序运行时才确定。

核心机制:

例如:

class Animal {
public:
    virtual void speak() = 0;
    virtual ~Animal() = default;
};

class Dog : public Animal { public: void speak() override { std::cout << "Woof!\n"; } };

Animal* a = new Dog(); a->speak(); // 运行时决定调用 Dog::speak()

特点:

编译期多态:CRTP 实现静态分发

CRTP 是一种模板技术,让基类知道其派生类类型,在编译时完成函数绑定。

基本结构:

template
class Base {
public:
    void interface() {
        static_cast(this)->implementation();
    }
};

class Derived : public Base { public: void implementation() { std::cout << "CRTP call\n"; } };

调用 Derived d; d.interface(); 会触发编译期解析,直接内联到 Derived::implementation()

特点:

CRTP vs 虚函数:关键对比

从以下几个维度比较两者:

如何选择?

如果你需要:

现代C++常采用混合策略:底层库用CRTP提升效率(如Eigen),上层接口用虚函数提供灵活性。

基本上就这些。理解两者的差异,能帮助你在设计时做出更合适的权衡。