模板（初阶|进阶）

Zero-Talent

已于 2023-09-01 14:42:04 修改

阅读量40

点赞数

分类专栏： c++ 文章标签： c++ 学习开发语言 template method

于 2023-09-01 11:18:10 首次发布

本文链接：https://blog.csdn.net/jhlmx/article/details/131441226

版权

c++ 专栏收录该内容

15 篇文章 0 订阅

订阅专栏

模板格式

template<typename T>

typename是定义模板的关键字，也可以用class（ 不可以使用struct）

与template<class T>是一样的

	template<class T>
T Add(const T& left, const T& right)
{
	return left + right;
}

    int a1 = 10;
	double d2 = 20.0;

类型转化

上述代码若执行Add(a1,d2)，就会报错

解决方法有两种

1：强制类型转换

Add(a1, (int)d2);
或Add((double)a1, d2);

2：显示类型转换

Add<int>(a1, d2);
或Add<double>(a1, d2);

模板实例化

类模板与函数实例化不同，在类模板实例化时，需要MyTemplate<int>或者MyTemplate<double>等的具体类型

注意：MyTemplate是类名，不是类型，MyTemplate<int>才是类型

非类型模板参数

用一个常量作为类（函数）模板参数，该参数可以当作常数来使用

template<class T,size_t N=10>

注意：1、浮点数、类对象、字符串不可以作为非类型模板参数

2、非类型模板参数必须在编译阶段确定结果（如果没在编译阶段确定，也就是模板没有实例化，无法通过链接）

模板特化

函数特化

比较两个大小时，如果传正常的参数就可以比较，但是传地址或者其他的就需要函数特化

函数特化步骤:

1、需要一个基础函数模板

2、template后面接一个空<>

3、函数名后面接上<特化类型>

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

template<class T>
bool Less(T left,T right)
{
    return left<right;
}

templast<>//函数特化
bool Less<Date*>(Date* left,Date* right)
{
    return *left<*right;
}

类特化

全特化

将模板参数全部确定化

偏特化

有两种

对一部分参数确定化

template<class T1,class T2>
class Date
{
private:
    T1 _d1;
    T2 _d2;
};

template<class T1>//偏特化
class Date<T1,int>
{
private:
    T1 _d1;
    T2 _d2;
};

对模板参数进一步限制

template<class T1,class T2>
class Date
{
private:
    T1 _d1;
    T2 _d2;
};

template<typename T1,typename T2>
class Date<T1*, T2*>
{
private:
    T1* _d1;
    T2* _d2;
};