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

无职转生真好看

于 2024-09-28 10:45:55 发布

阅读量69

点赞数

文章标签：学习

本文链接：https://blog.csdn.net/lxy2977262881/article/details/142611186

版权

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

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

五：模版分离编译

一：非类型模版参数

非类型模版参数是在模版参数列表中，跟在模版参数后面的，就是用常量当参数（下面的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;
}；