当前位置：首页 > news >正文

C++学习：模版进阶：非类型模板参数特化分离编译

news 2025/7/5 11:12:25

一：非类型模版参数

二：模版特化

三：函数模版特化

四：类模版特化

一：全特化（将模板参数列表中所有的参数都确定化）

二：偏特化（部分特化或更进一步限制）

五：模版分离编译

一：非类型模版参数

非类型模版参数是在模版参数列表中，跟在模版参数后面的，就是用常量当参数（下面的n就是）

template<class T,size_t n>
class stack
{private:T  a[n];size_t size;
};

二：模版特化

我们为什么要模版特化？因为有些情况用一个模版会出错，比如比大小时传了指针，这时候大小就不一定了，所以我们自己要特化一下让程序按你心意来。

三：函数模版特化

步骤：1.先有一个基础的模版

2.关键字template后面接一对空的尖括号<>

3.函数名后跟一对尖括号，尖括号中放需要特化的类型

4.参数类型必须和基础模版相同

template<class T>
bool less(T left, T right)
{return left < right;
}
template<>
bool less(Date*)(Date* left,Date* right){ return  *left < *right;
}
int main()
{Date d1(2024, 9, 28);Date d2(2024, 9, 20);cout << Less(d1, d2) << endl;Date* p1 = &d1;Date* p2 = &d2;cout << Less(p1, p2) << endl;//走特化的return 0;
}

注意：一般不进行函数模版特化，不如直接给个函数来的简洁明了

四：类模版特化

一：全特化（将模板参数列表中所有的参数都确定化）

template<class T1, class T2>
class Data
{
public:Data() {cout<<"Data<T1, T2>" <<endl;}
private:T1 _d1;T2 _d2;
};
template<>
class Data<int, char> {
public:Data() {cout<<"Data<int, char>" <<endl;}
private:int _d1;char _d2;};
void TestVector()
{Data<int, int> d1;Data<int, char> d2;
}

二：偏特化（部分特化或更进一步限制）

// 将第二个参数特化为int
template <class T1>
class Data<T1, int> {
public:Data() {cout<<"Data<T1, int>" <<endl;}
private:T1 _d1;int _d2;
}; 
//两个参数偏特化为指针类型
template <typename T1, typename T2>
class Data <T1*, T2*>
{ 
public:Data() {cout<<"Data<T1*, T2*>" <<endl;}private:
T1 _d1;T2 _d2;
}；