（转）C++模板函数和重载

C++模板函数和重载

---

先来看一个例子：

#include <iostream>
using namespace std ;
//C++函数模版两种定义方式 
//template < typename T>  或  template <class T>
 
template <typename T1> 
T1 check_max(T1 x, T1 y);
 
template <class T>
T  print_value(T x, T y);


//C++重载
 int add(int x,int y);
 int add(int x,int y,int z);
 string add(string str , string str1 , string str2);
 
int main(void)
{
    int x = 33;
    int y = 44;
    long l1 = 333, l2 = 444;
    float f1 = 3.14, f2 = 3.15926;
 
    //系统会自动识别类型 T1为int类型
    cout << "max(x, y) = " << check_max(x, y) << endl;
    //系统会自动识别类型 T1为long类型
    cout << "max(x, y) = " << check_max(l1, l2) << endl;
    //系统会自动识别类型 T1为float类型
    cout << "max(x, y) = " << check_max(f1, f2) << endl;
    cout << "==========================================" << endl ;
    print_value(x,y);
    print_value(l1,l2);
    print_value(f1,f2);
    
    
    //重载的使用
    cout << "==========================================" << endl ;
    cout << add(x,y) << endl ; 
    cout << add(x,y,x) << endl ;
    cout << add("hello"," ","world") << endl ;
    return 0;
}
 
template <typename T1>
T1 check_max(T1 x, T1 y)
{
    return x > y ? x : y;
}
 
template <typename T>
T  print_value(T x, T y)
{
    cout <<"x:"<< x << endl ; 
    cout <<"y:"<< y << endl ;
}
 
int add(int x,int y)
{
    return x+y ;
}
int add(int x,int y,int z)
{
    return x+y+z ;
}
string add(string str , string str1 , string str2)
{
    return str+str1+str2 ;
}

运行结果：

      从代码中我们可以学习到，模板的定义方式一般有两种，分别为：template < typename T>  或  template <class T>。有人可能会问一个typename和一个class这里面有什么区别，其实早期的C++并没有typename这个关键字，所以不论是函数模板还是类模板，都使用class的这种定义方式，后面C++完善，于是多出了typename，用来区分定义的是函数模板还是类模板，但本质都是一样的。

      所谓的函数模板，实际上是建立一个通用的函数，其函数的类型和形参的类型不具体指定，用一个虚拟的类型来代表，这个通用的函数就成为函数模板。凡是函数体相同的函数都可以用这个模板来代替，而不必定义多个函数，只需在模板中定义一次就行了，在调用函数的时候系统会根据实参的类型来取代模板中的虚拟类型，从而实现了不同函数的功能。

      如例程所示，定义了check_max和print_value这两个函数模板，但我这里并没有定义相关的类，调用函数的时候也能输出正确的数值，这就说明不管是声明为typename还是class，本质都是一样的，只是我们可以人为进行区分。check_max就是我们定义的模板函数，用来判断大小，而print_value就是用来打印变量的数据，仅此而已。

     相对于函数重载而言，模板具有得天独厚的优势，它不需要重复定义，所以使用起来比函数重载更简洁，但应注意的一点，函数模板只适用于函数的参数个数相同而类型不同，且函数体相同的情况，如果参数的个数不同，则不能用函数模板，这就是函数模板相对于函数重载的缺陷。

     我们再对上面的程序加以修改，我们再定义一个与模板函数check_max名称一模一样的函数名字，实际上就是函数重载了，看看下面这个例子：

#include <iostream>
using namespace std ;
//C++函数模版两种定义方式 
//template < typename T>  或  template <class T>
template <typename T1> 
T1 check_max(T1 x, T1 y);
//C++重载
 int check_max(int x,int y);
 
int main(void)
{
    int x = 33;
    int y = 44;
    long l1 = 333, l2 = 444;
    float f1 = 3.14, f2 = 3.15926;
 
    //系统会优先调用重载函数，而不是模板函数
    cout << "max(x, y) = " << check_max(x, y) << endl;
    //系统会自动识别类型 T1为long类型
    cout << "max(x, y) = " << check_max(l1, l2) << endl;
    //系统会自动识别类型 T1为float类型
    cout << "max(x, y) = " << check_max(f1, f2) << endl;
    cout << "==========================================" << endl ;
    return 0;
}
 
template <typename T1>
T1 check_max(T1 x, T1 y)
{
    cout << "调用模板函数打印" << endl ; 
    return x > y ? x : y;
}
 
int check_max(int x,int y)
{
    cout << "调用重载函数打印" << endl ; 
    return x > y ? x : y ;
}

运行结果：

如例程所示，我们定义了一个重载函数，形参和返回值都为int类型的check_max函数，当我们在main函数里调用这个函数，如果传入为int的形参的时候，此时和模板发生了冲突，调用了重载函数来打印，而不是调用模板。

由此我们得出结论：当模板和重载冲突的时候 ，就优先调用重载。

以上转自：https://blog.csdn.net/morixinguan/article/details/80182219

---

那么，可以得出以下总结：

//函数模板定义--数据类型做参数
#include<iostream>
using namespace std;

/*
函数模板声明
1.函数模板定义由模板说明和函数定义组成，并且一个模板说明对应一个函数定义
2.模板说明的类属参数必须在函数定义中至少出现一次
3.函数参数表中可以使用类属类型参数，也可以使用一般类型参数
*/

/*
template关键字告诉c++编译器现在要进行泛型编程
typename或者class告诉c++编译器T是一个数据类型，不要进行语法检查
typename和class完全可以互相替换
*/
template<typename T>//也可以写成template<class T>
void myswap(T &a, T &b){
    T c = a;
    a = b;
    b = c;
};
//void Print(T &a,T &b){
//    cout << "a=" << a << "\nb=" << b << endl;
//}
//报错：一个模板说明只能对应一个函数定义，想再定义一个函数，必须再写一个模板声明

template<class T>
void Print(T &a, T &b){
    cout << "a=" << a << "\nb=" << b << endl;
}

//多参数的函数模板
template<typename T1,typename T2>
//这种定义当调用函数时就会报错  MySort(a);
//模板说明的类属参数必须在函数定义中至少出现一次
void MySort(T1 a){
    cout << "aaa" << endl;
}

template<typename T>
void Getnum(T a,int b){
    cout << "a=" << a << ";\nb="<<b << endl;
}

void main(){
    int a=1;
    int b = 2;
    //泛型编程函数的使用方法1---自动类型推导
    myswap(a, b);
    Print(a, b);
    //泛型编程函数的使用方法2---显式具体类型调用
    myswap<int>(a, b);
    Print(a, b);
    //MySort(a);    报错 ： error C2783: “void MySort(T1)”: 未能为“T2”推导 模板 参数
    cout << "----------------" << endl;
    Getnum(a, 4);
    system("pause");
}

//函数模板重载
#include<iostream>
using namespace std;

/*
函数模板会进行严格的类型匹配，模板类型不提供隐式类型转化
普通函数能够进行自动类型转换
*/

/*
函数模板重载四大规则
函数模板可以像普通函数一样被重载
C++编译器优先考虑普通函数
如果函数模板可以产生一个更好的匹配，那么选择模板
可以通过空模板实参列表的语法限定编译器只通过模板匹配
*/

template<typename T>
void Test1(T a, T b){
    cout << "执行了模板函数Test1()" << endl;
}

void Test2(int a, int b){
    cout << "执行了Test2()" << endl;
}

void Test1(int a, int b){
    cout << "执行了普通函数Test1()" << endl;
}

void Test3(int a, int b){
    cout << "执行了普通函数Test3()" << endl;
}

void ProtectA(){
    int a = 1;
    int b = 2;
    char c = '3';
    //Test1(a, c);  报错   error C2782: “void Test1(T,T)”: 模板 参数“T”不明确
    /*
    因为 a是int型，c是char型  而函数模板要求两个参数都是T型 就是说两个参数的类型必须一致，
    但是 int和char类型不一致  所以报错
    */
    Test2(a, c);//对于普通函数而言，则可以进行隐式类型转换，所以没有问题
}

void ProtectB(){
    int a=1,b=2;
    char c = '3',d='4';
    Test1(a, b);//这里调用普通函数
    Test1<>(a, b);//这里调用模板函数--规则4
    Test1(c, d);//这里调用模板函数--规则3---假设没有模板函数  仍然会调用普通函数
    Test3(c, d);
}

void main(){
    ProtectB();
    system("pause");
}

以上转自:https://www.cnblogs.com/zhanggaofeng/category/906670.html