1.函数模板语法
#include<iostream> using namespace std; template<typename T>//T是一个通用的数据类型 void mySwap(T& a, T& b) { T temp = a; a = b; b = temp; } void test01() { //1.自动类型推导 int a = 10, b = 20; mySwap(a, b); cout << a <<" " << b << endl; //2.显示指定类型 mySwap<int>(a, b); cout << a <<" " << b << endl; } int main() { test01(); }
2.函数模板注意事项
#include<iostream> using namespace std; template<typename T>//T是一个通用的数据类型 void mySwap(T& a, T& b) { T temp = a; a = b; b = temp; } //1.自动类型推导,必须推导出一致的数据类型才可以使用 void test01() { int a = 10; int b = 20; char c = 'c'; mySwap<int>(a, b);//或者可以写成mySwap(a,b) //mySwap(a, c);//报错原因是a与c不是同一个数据类型 } //2.模板必须要确定出T的数据类型,才可以使用 template<typename T> void func() { cout << "func调用" << endl; } void test02() { //func();//这个是由于没有给出T的具体数据类型造成的 func<int>(); } int main() { test02(); }
3.模板的局限性
#include<iostream> using namespace std; #include<string> //模板局限性 //模板并不是万能的,有些特点数据类型,需要具体化方式做特殊实现 class Person { public: Person(string name, int age) { m_Name = name; m_Age = age; } string m_Name; int m_Age; }; //对比两个数据是否相等 //但这个模板不知道person与person之间如何对比 template<class T> bool myCompare(T &a, T &b) { if (a == b) { return true; } else { return false; } } //利用具体化Person的版本实现代码,具体化优先调用 template<>bool myCompare(Person& p1, Person& p2) { if (p1.m_Name == p2.m_Name && p1.m_Age == p2.m_Age) { return true; } else { return false; } } void test01() { int a = 10; int b = 20; bool ret = myCompare(a, b); if (ret) { cout << "a==b" << endl; } else { cout << "a!=b" << endl; } } void test02() { Person p1("Tom", 10); Person p2("Tom", 10); bool ret = myCompare(p1, p2); if (ret) { cout << "p1==p2" << endl; } else { cout << "p1!=p2" << endl; } } int main() { /*test01();*/ test02(); }
4.普通函数和函数模板的调用
#include<iostream> using namespace std; //1.如果函数模板和普通函数都可以实现,优先调用普通函数 //2.可以通过空模板参数列表来强调用函数模板 //3.函数模板也可以发送重载 //4.如果函数模板可以产生更好的匹配,优先调用函数模板 void myPrint(int a, int b) { cout << "调用的普通函数" << endl; } template<typename T> void myPrint(T a, T b) { cout << "调用的模板" << endl; } //3.函数模板也可以发送重载 template<typename T> void myPrint(T a, T b, T c) { cout << "重载模板调用" << endl; } void test01() { int a = 0, b = 0; //1.如果函数模板和普通函数都可以实现,优先调用普通函数 myPrint(a, b); //2.可以通过空模板参数列表来强调用函数模板 myPrint<>(a, b); //3.函数模板也可以发送重载 myPrint(a, b,100); //4.如果函数模板可以产生更好的匹配,优先调用函数模板 char c1 = 'a'; char c2 = 'b'; myPrint(c1, c2);//T直接推导为char类型比隐式转换优先 } int main() { test01(); }
5.普通函数与模板函数的区别
#include<iostream> using namespace std; //普通函数可以发生类型转换 int add01(int a, int b) { return a + b; } //类模板函数 template<typename T> T add02(T a, T b) { return a + b; } void test01() { int a = 10; int b = 20; char c = 'c';//'c'=99;,类型转换为int cout << add01(a, c) << endl; } void test02() { int a = 10; int b = 20; char c = 'c'; cout << add02(a, b) << endl; /*cout << add02(a, c) << endl*/;//如利用自动类推导,不会发生隐式类型转换 cout << add02<int>(a, c) << endl;//如利用指定类型的方式,可以发生隐式类型转换 } int main() { /*test01();*/ test02(); }
6.函数模板数组案例
#include<iostream> using namespace std; //交换算法模板 template<typename T> void mySwap(T& a, T& b) { T temp = a; a = b; b = temp; } //排序算法模板 template<typename T> void mySort(T arr[], int len) { for (int i = 0; i < len; i++) { int max = i;//认定最大值的下表 for (int j = i + 1; j < len; j++) { if (arr[max] < arr[j]) { max = j;//更新最大值下表 } } if (max != i) { //交换max和i元素 mySwap<char>(arr[max], arr[i]); } } } //打印模板 template<typename T> void Print(T arr[], int len) { for (int i = 0; i < len; i++) { cout << arr[i] << " "; } cout << endl; } void test01() { //测试char数组 char charArr[] = "badcfe"; int num = sizeof(charArr) / sizeof(char); mySort(charArr, num); Print(charArr, num); } void test02() { char charArr[] = "987654321"; int num = sizeof(charArr) / sizeof(char); mySort(charArr, num); Print(charArr, num); } int main() { test02(); /*test01();*/ }