C++语法基础--模板与泛型编程--函数模板，类模板，模板形参，非模板形参

不念不忘少年蓝@ 2021-12-22 12:23 277阅读 0赞

**1. 定义函数模板  
\*函数模板是一个独立于类型的函数，可作为一种方式，产生函数的特定类型版本  
\*使用函数模板时，编译器会推断哪个模板实参绑定到模板形参。  
\*一旦编译器确定了实际的模板实参，就称它实例化了函数模板的一个实例  
  
Example：  
 //比较两个数的大小，v1>v2是返回正数，v1<v2时返回负数，v1==v2时返回0  
 template<typename T>  
T compare(const T& v1,const T& v2)  
\{  
return v1-v2;  
\}  
  
int main()  
\{  
cout<<compare(1,2)<<endl;//-1  
 cout<<compare(1.111,2.222)<<endl;//-1.111  
 cout<<compare(1,1)<<endl;//0  
  
 return 0;  
 \}  
  
  
  
  
2.inline函数模板  
函数模板可以用于非模板函数一样的方式声明为inline.说明符放在模板形参表之后，返回类型之前，但不能放在关键字template之前  
Example:  
 template<typename T>  
inline T compare(const T& v1,const T& v2)  //ok  
 \{   
 return v1-v2;  
 \}  
  
  
 inline template<typename T> //error  
 T compare(const T& v1,const T& v2)  
 \{   
 return v1-v2;  
 \}  
  
  
  
  
3.定义类模板  
\*除了模板形参表外，类模板的定义看起来于任意其他类相似  
\*在类和类成员的定义中，可以使用模板形参作为类型或值的占为符，在使用类时再提供那些类型或值  
  
Example:  
 template<class T>  
class A  
\{  
public:  
A(T i):x(i)\{ \}  
  
  
T fun()  
\{  
return x;  
\}  
private:  
T x;  
\};  
  
  
int main()  
\{  
A<int> a(1);  
cout<<a.fun()<<endl;//1  
 A<char> b('b');  
 cout<<b.fun()<<endl;//b  
  
 return 0;  
 \}  
  
  
  
4.模板形参  
\*像函数形参一样，模板形参选择的名字没有本质含义，可以将它命名为任意名字  
Example:  
 template<typename T\_p>  
T\_p compare(const T\_p& v1,const T\_p& v2)  
\{  
return v1-v2;  
\}  
  
  
5.模板形参作用域  
\*模板形参的名字可以在声明为模板形参之后到模板声明或定义的末尾处使用  
\*模板形参遵循常规名字屏蔽规则  
  
Example  
  
 typedef int T;  
template<class T>  
void fun(T t) //全局类型别名T被屏蔽，这里的T可表示任何类型  
 \{   
 cout<<t<<endl;  
 \}  
  
 int main()  
 \{   
 fun("hello");//hello  
  
 return 0;  
 \}  
  
  
  
  
6.模板形参名字的限制  
\*模板形参的名字不能在模板内部重用  
Example:  
  
 template<class T>  
void fun(T t)  
\{  
 typedef int T;//error, shadows template parm 'class T'  
 cout<<t<<endl;  
 \}  
  
  
7.模板声明  
\*模板可以只声明而不定义。声明必须指出函数或类时一个模板  
Example:  
 template<class T>  
void fun(T t);   
  
  
\*同一模板的声明和定义中，模板形参的名字不必相同  
Example:  
 template<class T>  
void fun(T v);  
  
int main()  
\{  
fun("hello");//hello  
  
 return 0;  
 \}  
  
 template<class T\_p>  
 void fun(T\_p v)  
 \{   
cout<<v<<endl;  
 \}  
  
  
8.typename于class的区别  
\*关键字typename和class具有相同含义，可以互换使用  
\*关键字typename是作为标准C++的组成部分加入C++中的，旧的程序更有可能只用关键字class  
  
  
  
  
9.在模板定义内部指定类型  
Example:  
  
  
 template<class T>  
void fun()  
\{  
T::size\_type x; //Error,默认情况下，编译器假定size\_type是T中的数据成员  
 \}  
  
\*如果希望编译器将size\_type当做类型，必须显式用typename指定  
  
 template<class T>  
void fun(T a)  
\{  
typename T::size\_type x; //ok  
 x=100;  
 cout<<x<<endl;  
 \}  
  
 class A  
 \{   
public:  
typedef size\_t size\_type;  
 \};  
  
 int main()  
 \{   
A a;  
fun(a);//100  
  
return 0;  
 \}  
  
  
  
  
10.非类型模板形参  
\*模板形参不必都是类型  
Example:  
  
 template<class T,int N>  
void fun(T (&arr)\[N\]) // 参数为数组的引用   
 \{   
 for(int i=0;i<N;i++)  
 \{   
cout<<arr\[i\]<<ends;  
 \}  
 \}  
  
  
  
 int main()  
\{  
int arr\[3\]=\{1,2,3\};  
fun(arr);//1 2 3  
  
return 0;  
 \}**