前言 大家好吖,欢迎来到 YY 滴C++系列 ,热烈欢迎! 本章主要内容面向接触过C++的老铁 主要内容含:
模板参数分类类型形参与非类型形参:
// 静态栈
// 非类型模板参数
// 1、常量
// 2、必须是整形
template<class T, size_t N>
class Stack
{
public:
void func()
{
// 常量,不能修改(调用func会报错)
N = 0;
}
private:
T _a[N];
int _top;
};
template<typename T>
void Swap( T& left, T& right)
{
T temp = left;
left = right;
right = temp;
}
//可识别不同的同种类型交换(例:char与char,int与int,double与double)
PS:typename是用来定义模板参数关键字,也可以使用class(切记:不能使用struct代替class) ;
引入:
引入:
template<class T>
T Add(const T& left, const T& right)
{
return left + right;
}
int main()
{
int a1 = 10;
double d1 = 10.0;
Add(a1, d1); //解决方式:Add(a1, (int)d1);强制类型转换 }
}
分析:
解决方式:
Add(a1, (int)d1);
显式实例化:在函数名后的<>中 指定 模板参数的实际类型
int main(void)
{
int a = 10;
double b = 20.0;
// 显式实例化
Add<int>(a, b);
return 0;
}
// 函数模板 -- 参数匹配
template<class T>
bool Less(T left, T right)
{
return left < right;
}
int main()
{
cout << Less(1, 2) << endl; // success
Date d1(2022, 7, 7);
Date d2(2022, 7, 8);
cout << Less(d1, d2) << endl; // success
Date* p1 = &d1;
Date* p2 = &d2;
cout << Less(p1, p2) << endl; // 比较的是指针的大小,需求无法完成
return 0;
}
步骤:
//基础的函数模板
template<class T>
bool Less(T left, T right)
{
return left < right; //步骤1:先有一个基础的函数模板
}
// 对Less函数模板进行特化
template<> //步骤2:关键字template后面接一对空的尖括号
bool Less<Date*> //步骤3:函数名后跟一对尖括号,尖括号中指定需要特化的类型
(Date* left, Date* right) //步骤4:函数形参列表要和模板函数的基础参数类型完全相同
{
return *left < *right;
}
int main()
{
cout << Less(1, 2) << endl; // success
Date d1(2022, 7, 7);
Date d2(2022, 7, 8);
cout << Less(d1, d2) << endl; // success
Date* p1 = &d1;
Date* p2 = &d2;
cout << Less(p1, p2) << endl; // 比较的是指针的大小,需求无法完成
return 0;
}
bool Less(Date* left, Date* right)
{
return *left < *right;
}
template<class T1, class T2, ..., class Tn>
class xxx//(类模板名)
{
// 类内成员定义
};
类模板实例化需要在类模板名字后跟<>,然后将实例化的类型放在<>中即可
,类模板名字不是真正的类,而实例化的结果才是真正的类 ;Vector<int> s1;
Vector<double> s2;
注意区分:
例如:
template<class T>
class Vector
{
public :
Vector(size_t capacity = 10)
: _pData(new T[capacity])
, _size(0)
, _capacity(capacity)
{}
// 使用析构函数演示:在类中声明,在类外定义。
~Vector();
void PushBack(const T& data);
void PopBack();
// ...
size_t Size()
{
return _size;
}
T& operator[](size_t pos)
{
assert(pos < _size);
return _pData[pos];
}
private:
T* _pData;
size_t _size;
size_t _capacity;
};
// 注意:类模板中的函数放在类外进行定义时,需要加模板参数列表
template <class T>
Vector<T>::~Vector()//这里是用类型访问类模板
{
if(_pData)
delete[] _pData;
_size = _capacity = 0;
}
Container
Container::const_iterator it = v.begin();
形式,其中的const_iterator
可能是静态变量,内部类名等等typename
,确保编译器能够识别到其是类型,等模板实例化再去找//template<typename Container>
template<class Container>
void Print(const Container& v)
{
// 编译不确定Container::const_iterator是类型还是对象
// typename就是明确告诉编译器这里是类型,等模板实例化再去找
// Container::const_iterator it = v.begin();
typename Container::const_iterator it = v.begin();
auto it = v.begin();
while (it != v.end())
{
cout << *it << " ";
++it;
}
cout << endl;
}
template<>
class Data<int, char>
template <typename T1>
class Data<T1, char>//部分特化——————————>特化的char模板
template <typename T1, typename T2>
class Data <T1*, T2*>//两个参数偏特化为指针类型
class Data <T1&, T2&>//两个参数偏特化为引用类型
Data<double , int> d1; // 调用特化的char模板
Data<int , double> d2; // 调用基础的模板
Data<int *, int*> d3; //调用特化的指针模板
#include<vector>
#include <algorithm>
template<class T>
struct Less
{
bool operator()(const T& x, const T& y) const
{
return x < y;
}
};
// 对Less类模板按照指针方式特化
template<>
struct Less<Date*>
{
bool operator()(Date* x, Date* y) const
{
return *x < *y;
}
};
int main()
{
Date d1(2022, 7, 7);
Date d2(2022, 7, 6);
Date d3(2022, 7, 8);
vector<Date> v1;
//场景1
v1.push_back(d1);
v1.push_back(d2);
v1.push_back(d3);
// 可以直接排序,结果是日期升序
sort(v1.begin(), v1.end(), Less<Date>());
//场景2
vector<Date*> v2;
v2.push_back(&d1);
v2.push_back(&d2);
v2.push_back(&d3);
// 可以直接排序,结果错误日期还不是升序,而v2中放的地址是升序
// 此处需要在排序过程中,让sort比较v2中存放地址指向的日期对象
// 但是走Less模板,sort在排序时实际比较的是v2中指针的地址,因此无法达到预期
sort(v2.begin(), v2.end(), Less<Date*>());
return 0;
}
报错原因分析: