如何在C++中实现静态多态性？

在C++中，静态多态性的实现需要用到模板和函数重载。

模板

模板是C++提供的一种泛型编程机制，可以让程序员编写适用于不同数据类型的函数或类，具有通用性。在使用模板时，需要考虑以下几个方面：

定义模板

在定义模板时，需要使用 template 关键字，后面紧跟着模板参数列表，可以是一个或多个参数，参数间用逗号隔开。模板参数可以是类型、常量或其他模板。

以下是一个简单的模板定义：

template <typename T>
T max(T a, T b) {
    return a > b ? a : b;
}

上面的代码定义了一个名为 max 的模板函数，可以比较两个同类型的变量，返回其中较大的一个。

模板参数

在使用模板时，需要将需要使用的数据类型作为模板参数进行传递。可以用尖括号将模板参数括起来，放在函数名的后面，中间用逗号隔开。

以下是使用上面定义的 max 函数的示例：

int a = 1, b = 2;
int maxNum = max<int>(a, b);

在上面的代码中，将 int 作为模板参数，传递给了 max<T> 函数，用于比较 a 和 b 两个整数，返回其中较大的一个。

类模板

与函数模板类似，类模板也是通过模板参数来定义通用的类或数据结构。类模板的定义形式如下：

template <typename T>
class Vector {
    private:
        T *data;
        int size;
    public:
        Vector(int n) {
            size = n;
            data = new T[size];
        }
        ~Vector() {
            delete [] data;
        }
};

上面的代码定义了一个名为 Vector 的类模板，可以用作通用的数组，用于存储不同类型的数据。

实例化类模板

与函数模板不同，类模板需要被实例化为具体的类类型，才能够被使用。实例化时，需要指定模板参数的具体类型，然后就可以使用该类模板来创建对象。

以下是使用上面定义的 Vector 类模板的示例：

Vector<int> intVec(10);  // 创建一个能够存储10个整数的向量
Vector<float> floatVec(20);  // 创建一个能够存储20个浮点数的向量

在上面的代码中，分别将 int 和 float 作为模板参数，传递给了 Vector<T> 类模板，用于创建存储不同类型数据的向量。

函数重载

函数重载是C++中的一种方法，可以在同一个作用域内定义多个同名函数，但它们的参数类型或数量不同。通过函数重载可以实现静态多态性。

以下是函数重载的示例：

int add(int a, int b) {
    return a + b;
}

float add(float a, float b) {
    return a + b;
}

在上面的代码中，分别定义了两个名为 add 的函数，一个用于两个整数相加，一个用于两个浮点数相加。由于这两个函数的参数类型不同，因此不会产生二义性，编译器可以正确定位要调用的函数。

使用函数重载可以让代码更加清晰明了，避免使用不必要的变量和类型转换。同时，函数重载是C++实现静态多态性的重要手段。