C/C++编程：函数模板

梦里梦外; 2022-05-21 11:30 185阅读 0赞

# 一、什么是函数模板 #

函数模板不是一个实在的函数，编译器不能为其生成可执行代码。定义函数模板后只是一个对函数功能框架的描述，当它具体执行时，将根据传递的实际参数决定其功能。

#include <iostream>
    #include <cstdlib>
    
    using namespace std;
    
    
    template <class T>
    T add(T a, T b)
    {
    	return a + b;
    }
    //函数模板的意义，在于通用，泛型
    //VS2017之前：原生函数不调用也好会编译检查语法，但是模板函数只有调用的时候才编译，不调用则不编译，也就是不检查语法。
    
    void main()
    {
    	//先调用原生函数，再调用母版函数
    	cout << add(1, 2) << endl;     //3，原生函数优先于模板函数
    	cout << add<int>(1, 2) << endl;   //3,明确类型，声明使用模板函数：用<>指明类型
    	cout << add('1', '2') << endl;  //C
    	cout << add('1', '2') << endl;
    	system("pause");
    }

# 二、原生函数优先于函数模板 #

#include <iostream>
    #include <cstdlib>
    
    using namespace std;
    
    int add(int a, int b)
    {
    	return a - b;
    }
    
    template <class T>
    T add(T a, T b)
    {
    	return a + b;
    }
    
    void main()
    {
    	//先调用原生函数，再调用母版函数
    	cout << add(1, 2) << endl;     //-1，原生函数优先于模板函数
    	cout << add<int>(1, 2) << endl;   //3,明确类型，声明使用模板函数
    	cout << add('1', '2') << endl;  //C, 推测：C++编译器只能，会根据参数类型调用不同的函数
    	system("pause");
    }

总结：  
1、在2017之前函数模板不调用就不检查语法，但是在VS2017中，函数模板不调用也会检测函数模板  
2、在VS2017中，函数模板除了会根据参数不同生成不同的函数实体外，其他的和函数模板没有什么不同  
3、函数模板的意义在于通用泛型  
4、函数模板可以用<>指定类型  
5、原生函数优先于模板函数，如果需要强行调用模板，add<int>(1, 2) << endl;

# 三、使用函数模板实现接口 #

#include <iostream>
    #include <cstdlib>
    
    using namespace std;
    //泛型接口，处理任何数据类型，传递函数指针
    
    void show(int num)
    {
    	cout << num << endl;
    }
    
    void show1(char num)
    {
    	cout << num + 1 << endl;
    }
    template < class T, class F>   //T表示数据类型，F表示函数
    void run(T t, F f)
    {
    	f(t);
    }
    
    
    void main()
    {
    	run('1', show);   //49
    	run('1', show1);  //50
    	run(10, show1);    //11
    	run(10.1, show1);  //11，浮点型隐式转换成int类型
    	system("pause");
    }

总结：所谓的函数接口，就相当一个共有类，用户只需要调用函数API接口，传入不同的参数，接口就会自动选择不同的函数执行

#include <iostream>
    using namespace std;
    
    template<class T>
    void showit(T num)
    {
    	cout << num << endl;
    }
    
    template < class T, class F>
    void run(T t, F f)
    {
    	f(t);
    }
    void main()
    {
    	
    	run("abc", showit<const char[4]>);  //接口，严格类型
    	cin.get();
    
    }

总结：函数模板把共同点抽象出来作为模板，常用来实现接口