深入理解C++中的编译时多态性与运行时多态性：模板与虚函数的差异和应用

编译时多态性（Compile-time Polymorphism）

**模板（Templates）**是一种编译时多态性技术，通过在编译时确定类型来生成特定的代码。

特点

• 类型检查：在编译时完成。
• 代码生成：模板实例化时，根据具体类型生成代码。
• 运行时开销：没有额外的运行时开销。

示例

template <typename T>
T add(T a, T b) {
    return a + b;
}

int main() {
    int result = add(3, 4);       // 生成int类型的add函数代码
    double result2 = add(3.0, 4.0); // 生成double类型的add函数代码
    return 0;
}

总结：模板通过在编译期间生成特定类型的代码实现多态，因此称为编译时多态性。

运行时多态性（Run-time Polymorphism）

**虚函数（Virtual Functions）**依赖动态绑定机制，支持在运行时根据对象的实际类型来调用相应的方法，从而实现多态性。

特点

• 类型检查：在运行时完成。
• 动态绑定：通过虚函数表在运行时根据对象实际类型选择方法。
• 运行时开销：有动态绑定和虚函数表查找的开销。

示例

class Base {
public:
    virtual void display() {
        std::cout << "Display from Base" << std::endl;
    }
};

class Derived : public Base {
public:
    void display() override {
        std::cout << "Display from Derived" << std::endl;
    }
};

int main() {
    Base* b = new Derived();
    b->display();  // 输出：Display from Derived
    delete b;
    return 0;
}

总结：虚函数通过在运行时根据对象的实际类型选择方法，实现了运行时多态性。

对比分析

特性	模板（Templates）	虚函数（Virtual Functions）
决策时间	编译时	运行时
实现机制	编译时生成特定类型代码	通过虚函数表动态绑定
类型检查	编译时	运行时
运行时开销	无	有虚函数表查找开销
使用场景	泛型编程，STL容器	面向对象编程的多态行为

使用场景总结

• 模板：适用于需要高效地处理不同类型数据的场景，如泛型编程和STL容器。
• 虚函数：适用于需要不同子类实现不同行为，但通过基类接口使用这些子类对象的场景，如面向对象编程中的多态和设计模式。