C++ 泛型编程 -- 函数模版

工作中一个同事写了测试demo，想要自己尝试使用发现调用老出错，请教的时候发现是函数模版，有自己的调用方式，并且发现核心代码中大量的函数模版和类模版。
特此做一个函数模版相关的总结，为今后更加熟练的开发做好铺垫。

定义

C++中，存在泛型编程的概念：即不考虑具体数据类型的编程方式

函数模板是一种特殊的函数，可以使用不同的类型进行调用，对于功能相同的函数，不需要重复编写代码，并且函数模板与普通函数看起来很类似，区别就是类型可以被参数化

声明

函数模版的声明方式如下:

template <typename T, typename U ...>
void func(T arg1, U arg2 ,...){}

其中:

• template 声明开始进行泛型编程
• typename 声明泛指类型 ，即T

调用方式

• 类型的自动推导 调用 func2(a,b)
• 类型的指定推导 调用func2<int,int>(a,b)
  实现如下:

#include <iostream>

using namespace std;
template<typename T, typename U>
void func1() {
    T a;
    U b;
    cout << "T value is : " << typeid(a).name() << endl;
    cout << "U value is : " << typeid(b).name() << endl; 
}

template <typename T, typename U>
void func2(T a, U b) {
    T c = a + b;
    cout << "T value + U value is : " << c << endl; 
}

int main() {
    int a , b;
    a = 10;
    b = 11;
    
    /*第一种类型的template function 调用方式*/
    func2(a,b);
    
    /*第二种类型的template function 调用方式*/
    func1<char,int>();
    return 0;
}

输出如下:

T value + U value is : 21
T value is : c
U value is : i

函数模版的重载

• C++编译器优先考虑普通函数
• 如果函数模板可以产生一个更好的匹配，那么就选择函数模板
• 也可以通过空模板实参列表<>限定编译器只匹配函数模板
  实现如下：

#include <iostream>

using namespace std;

/*func3 为重载函数*/
template <typename T>
void func3(T a) {
    cout << "funct3(T a) " << endl;
}

template <typename T, typename U>
void func3(T a, U b) {
    cout << "func3(T a, U b)" << endl;
}

void func3(int a, float b)
{
    cout << "fun3(int a, float b)" << endl;
}

int main() {
    int c = 0;
    float d = 1.0;
    func3(c);  //一个参数的模版函数
    func3(c,d);//调用普通函数fun3(int a, double b),能更完美好匹配
    func3(d,c);//第一个参数为double类型，则使用函数模版
    func3<>(c,d); //限定只能使用函数模版
    return 0;
}

输出如下:

funct3(T a) 
fun3(int a, float b)
func3(T a, U b)
func3(T a, U b)

函数模版的特点

• 函数模板是泛型编程在C++中的应用方式之一
• 函数模板能够根据实参对参数类型进行推导
• 函数模板支持显式的指定参数类型
• 函数模板是C++中重要的代码复用方式
• 函数模板通过具体类型产生不同的函数
• 函数模板可以定义任意多个不同的类型参数
• 函数模板中的返回值类型必须显式指定
• 函数模板可以像普通函数一样重载