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

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

穿越時空

发布： 2025-12-17 03:11:18

原创

126人浏览过

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

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

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

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

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

核心机制：

基类中声明虚函数或纯虚函数
派生类重写这些函数
通过基类指针或引用调用函数，实际执行的是对象真实类型的版本

例如：

立即学习“C++免费学习笔记（深入）”；

class Animal {
public:
    virtual void speak() = 0;
    virtual ~Animal() = default;
};
<p>class Dog : public Animal {
public:
void speak() override { std::cout << "Woof!\n"; }
};</p><p>Animal* a = new Dog();
a->speak(); // 运行时决定调用 Dog::speak()</p>

登录后复制

特点：

灵活性高：支持任意数量的派生类型，可在运行时动态选择行为
有性能开销：每次调用需通过虚表（vtable）查找，存在间接跳转
需要虚表指针：每个对象额外占用一个指针大小的内存
支持运行时类型识别（RTTI）

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

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

基本结构：

秒哒

秒哒-不用代码就能实现任意想法

535

查看详情

template<typename Derived>
class Base {
public:
    void interface() {
        static_cast<Derived*>(this)->implementation();
    }
};
<p>class Derived : public Base<Derived> {
public:
void implementation() {
std::cout << "CRTP call\n";
}
};</p>

登录后复制

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

特点：