C++静态多态：重写、重载、模板

在 C++ 里，静态多态是在编译时就确定函数调用版本的多态机制，主要通过重写（在部分语境下更强调派生类对基类虚函数的重写属于动态多态，但这里也存在函数特征匹配等静态确定过程）、重载和模板来实现。下面为你详细介绍这三种方式，并给出使用示例和注意事项。

函数重载（Overloading）

详细介绍

函数重载指的是在同一个作用域内定义多个同名函数，不过这些函数的参数列表（参数个数、类型或者顺序）不同。编译器会依据调用函数时提供的实参类型、个数和顺序来确定调用哪个具体的函数。

使用示例

#include <iostream>
// 重载函数，计算两个整数的和
int add(int a, int b) {
    return a + b;
}
// 重载函数，计算两个双精度浮点数的和
double add(double a, double b) {
    return a + b;
}
// 重载函数，计算三个整数的和
int add(int a, int b, int c) {
    return a + b + c;
}
int main() {
    std::cout << "Addition of two integers: " << add(3, 5) << std::endl;
    std::cout << "Addition of two doubles: " << add(3.5, 5.5) << std::endl;
    std::cout << "Addition of three integers: " << add(1, 2, 3) << std::endl;
    return 0;
}

在上述代码中，add 函数被重载了三次，分别处理不同类型和数量的参数。编译器会在编译时根据实参的情况选择合适的函数进行调用。

注意事项

• 参数列表必须不同：仅返回类型不同不能构成函数重载，因为编译器无法仅根据返回类型来区分调用哪个函数。
• 避免二义性：若存在多个重载函数都能匹配调用时的实参，就可能产生二义性错误。此时，需要明确指定调用的函数或者修改函数签名以消除歧义。

模板（Templates）

详细介绍

模板是 C++ 的一种通用编程机制，能够编写与类型无关的代码。模板分为函数模板和类模板。函数模板可以根据不同的类型参数生成不同的函数实例，类模板则可以根据不同的类型参数生成不同的类实例。

使用示例

#include <iostream>
// 函数模板，实现通用的加法操作
template <typename T>
T add(T a, T b) {
    return a + b;
}
int main() {
    std::cout << "Addition of two integers: " << add(3, 5) << std::endl;
    std::cout << "Addition of two doubles: " << add(3.5, 5.5) << std::endl;
    return 0;
}

在这个例子中，add 函数模板可以处理不同类型的参数，编译器会根据调用时的实参类型自动实例化相应的函数。

注意事项

• 模板实例化：编译器会根据模板的参数类型实例化具体的函数或类。对于模板函数，在使用时编译器会根据实参类型生成对应的函数代码；对于模板类，需要显式指定模板参数来实例化具体的类。
• 编译错误信息：模板代码的编译错误可能比较难理解和调试，因为错误信息可能包含大量的模板展开信息。
• 模板的局限性：模板虽然提供了很强的通用性，但也有一定的局限性。例如，模板中的代码需要在编译时就确定类型，对于一些运行时才能确定类型的情况可能不适用。

重写（Override，这里更强调静态特征匹配相关部分）

详细介绍

在继承关系中，派生类可以定义一个与基类中同名且参数列表相同的函数，这就是重写。当通过基类指针或引用调用该函数时，如果基类函数是虚函数，就会实现动态多态；但从静态角度看，函数的匹配和调用规则在编译时也有一定的确定过程。

使用示例

#include <iostream>
// 基类
class Base {
public:
    void print() {
        std::cout << "Base::print()" << std::endl;
    }
};
// 派生类
class Derived : public Base {
public:
    void print() {
        std::cout << "Derived::print()" << std::endl;
    }
};
int main() {
    Base base;
    Derived derived;
    base.print();  // 调用 Base::print()
    derived.print(); // 调用 Derived::print()
    Base* basePtr = &derived;
    basePtr->print(); // 调用 Base::print()，因为基类函数不是虚函数
    return 0;
}

在这个例子中，Derived 类重写了 Base 类的 print 函数。由于 Base 类的 print 函数不是虚函数，所以通过基类指针调用 print 函数时，会根据指针的静态类型调用 Base 类的 print 函数。

注意事项

• 虚函数与非虚函数：如果基类函数是虚函数，通过基类指针或引用调用该函数时会实现动态多态；如果不是虚函数，则根据指针或引用的静态类型来确定调用的函数。
• 函数签名匹配：派生类重写的函数必须与基类函数的名称、参数列表和返回类型（协变返回类型除外）完全一致。
  综上所述，函数重载、模板和重写（在静态特征匹配方面）是 C++ 实现静态多态的重要方式，它们各自有不同的特点和适用场景，在使用时需要注意相关的细节和潜在问题。