C++--模版进阶

目录

1.非类型模版参数

2.模版的特化

2.1函数模版特化

2.2类模板特化

3.模版分离编译

分离编译

4.typename必须使用场景

5.模板总结 

---

1.非类型模版参数

      模版参数不止类型，还有常量参数（浮点数、类对象以及字符串是不允许作为非类型模板参数的，）C++20支持double等内置类型，非类型的模板参数必须在编译期就能确认结果。

      stl中的array类模板便是如此

常量参数与define相比可以通过传入的常量参数来固定数组大小

array对比int a[]有更严格的越界检查

2.模版的特化

2.1函数模版特化

        我们知道写个比较大小的模版函数，一般人都是传对应类型的值，但是总有一些二般人传入的值比较奇怪如传入对应类型值的地址，所以我们就需要对模版进行特殊处理

注意：

1. 必须要先有一个基础的函数模板

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

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

4. 函数形参表: 必须要和模板函数的基础参数类型完全相同，如果不同编译器可能会报一些奇怪的错误。

 // 函数模板 -- 参数匹配
template<class T>
 bool Less(T left, T right)
 {
    return left < right;
 }
 
// 对Less函数模板进行特化
template<>
 bool Less<int*>(Date* left, Date* right)
 {
    return *left < *right;
 }

       一般情况下如果函数模板遇到不能处理或者处理有误的类型，为了实现简单通常都是将该函数直接给出。

bool Less(int* left, int* right)
 {
    return *left < *right;
 }

       该种实现简单明了，代码的可读性高，容易书写，因为对于一些参数类型复杂的函数模板，特化时特别给出，因此函数模板不建议特化

2.2类模板特化

全特化

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;
};

偏特化

将模板参数类表中的一部分参数特化

//将模板参数类表中的一部分参数特化
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;
 };
 //两个参数偏特化为引用类型
template <typename T1, typename T2>
 class Data <T1&, T2&>
 {
 public:
     Data(const T1& d1, const T2& d2)
     : _d1(d1)
     , _d2(d2)
    {
         cout<<"Data<T1&, T2&>" <<endl;
    }
 private:
     const T1 & _d1;
     const T2 & _d2;    
 };

所以面对二般人我们就可以写一个仿函数并使用偏特化，让指针类型比较都走它

//一般人
template<class T>
struct Less
{
    bool operator()(const T& x, const T& y) const
    {
        return x < y;
    }
};

//二般人
template<>
struct Less<class T*>
{
    bool operator()(T* const x, T* const y)
    {
        return *x < *y;
    }
}

3.模版分离编译

分离编译

       一个程序（项目）由若干个源文件共同实现，而每个源文件单独编译生成目标文件，最后将所有目标文件链接起来形成单一的可执行文件的过程称为分离编译模式。

// a.h
 template<class T>
 T Add(const T& left, const T& right);
 
 
// a.cpp
template<class T>
 T Add(const T& left, const T& right)
 {
     return left + right;
 }


 // main.cpp
 #include"a.h"
 int main()
 {
     Add(1, 2);
     Add(1.0, 2.0);
     return 0;
 }

//main.cpp中包含了.h，有Add()的声明，
但是对应a.cpp的模版函数并没
有被实例化，两个cpp分别编译生成.obj进行链接时，
main.cpp里Add()函数声明找不到对应的实例化，链接错误

解决方法：将模版函数的定义直接放在.h(.hpp)中

4.typename必须使用场景

编译器在类模板没有实例化之前，不会去里面查细节的东西，此处编译器不敢进去查找，无法判断是类型还是变量 

5.模板总结 

【优点】 

        1. 模板复用了代码，节省资源，更快的迭代开发，C++的标准模板库(STL)因此而产生

        2. 增强了代码的灵活性 

【缺陷】 

        1. 模板会导致代码膨胀问题，也会导致编译时间变长

        2. 出现模板编译错误时，错误信息非常凌乱，不易定位错误