C++——模板的进阶

非类型模板参数

概念：从名字上我们就能发现“非类型”模板参数，肯定跟我们所熟知的模板参数是有一定的区别的。那么非类型：也就是舍弃了我们所熟知的T模板参数所替代的是一个常量。在类模板中可以将该参数作为常量来使用。

例如

#define N 10
//静态数组
//非类型模板参数 -- 常量
template<class T,size_t N>
class Array
{
private:
    T _a[N];
};

int main()
{
    Array<int,10> a1;
    Array<double,1000> a2;
    return 0;
}

优势在于：不仅实现了类型的可变而且大小也可以控制。

模板的特化

模板的全特化

template后<>给空，但类名后的<>给出特定的类型。

template<>
class Data<double, double>
{
public:
    Data() { cout << "Data<double,double>" << endl; }
private:
};

模板的半特化/偏特化

template后<>和类名后的<>给出一个特定的类型，另一个还给模板参数。

template<class T1>
class Data<T1, double>
{
public:
    Data() { cout << "Data<T1,double>" << endl; }
private:
};

参数类型限制

只有两个都是指针类型的时候才会调用

template<class T1,class T2>
class Data<T1*, T2*>
{
public:
    Data() { cout << "Data<T1*, T2*>" << endl; }
private:
};

只有两个都是引用的时候才会调用

template<class T1,class T2>
class Data<T1&, T2&>
{
public:
    Data() { cout << "Data<T1&, T2&>" << endl; }
private:
};

优缺点

优点：

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

2、增强了代码的灵活性

缺点：

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

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