C++(17): C++：模板函数与模板类

1. 简述

泛型编程是一种编程风格，可以开发一套代码适应不同的数据类型。

C++中，泛型编程是通过模板来实现的。模板是C++支持参数化多态的工具，使用模板可以使用户为类属类型（如数组的元素类型和容器的数据类型）编写通用的代码，然后再编写特定的类型来创建类属类型的特定实例。

模板是一种对类型进行参数化的工具，通常有两种形式：模板函数和模板类。

2. 模板函数

模板函数允许以类型作为参数来定义函数，从而实现对不同类型数据的相同操作。下面是一个简单的模板函数例子，该函数接受两个同类型参数，并返回它们的和。

模板函数的定义：

template <typename T>  

T add(T a, T b)

{

    return a + b;  

}

在这个例子中，template <typename T>是模板声明，它告诉编译器我们将要使用一个类型参数T。在函数体中，我们可以用T作为类型来声明变量，或者用它来调用T类型的成员函数。这样，我们就可以用这个模板函数来操作多种数据类型。

模板函数的使用：

int main(int argc, char* argv[])

{

    int a = 1, b = 2;  

    float c = 1.1, d = 2.2;  

    std::cout << add<int>(a, b) << std::endl;  ///< 输出3  

    std::cout << add<float>(c, d) << std::endl; ///< 输出3.3  

    return 0;  

}

3. 模板类

当我们需要编写一个类，可以支持多种不同的数据类型时，我们可定义一个模板类。

模板类的定义举例如下，在如下代码中，我们定义了一个动态数组类，这个类可以支持多种不同的类型构成数组，并操作他们。

template <class T>  

class DynamicArray

{

private:  

    T* array;  

    int size;  

public:  

    DynamicArray(T arr[], int s);  

    void print();  

    ~DynamicArray();  

};  

template <class T>  

DynamicArray<T>::DynamicArray(T arr[], int s)

{

    size = s;  

    array = new T[s];  

    for (int i = 0; i < size; i++) {  

        array[i] = arr[i];  

    }  

}  

template <class T>  

void DynamicArray<T>::print()

{

    for (int i = 0; i < size; i++) {  

        std::cout << array[i] << " ";  

    }  

    std::cout << std::endl;  

}  

template <class T>  

DynamicArray<T>::~DynamicArray()

{

    delete[] array;  

}

在上述例子中，我们定义了一个名为DynamicArray的模板类，该类有一个私有成员变量array（一个动态分配的数组）和一个公有成员变量size（表示数组的大小）。这个类有一个构造函数，用于初始化数组和大小，有一个print函数用于打印数组，和一个析构函数用于释放内存。这样我们就可以用这个模板类来创建不同类型的动态数组，例如：

int main(int argc, char* argv[])

{

    int arr[5] = {1, 2, 3, 4, 5};  

    DynamicArray<int> intArray(arr, 5);  

    intArray.print();  ///< 输出1 2 3 4 5  

 

    double darr[3] = {1.1, 2.2, 3.3};  

    DynamicArray<double> doubleArray(darr, 3);  

    doubleArray.print();  ///< 输出1.1 2.2 3.3  

    return 0;  

}