C++模板进阶

最新推荐文章于 2024-09-26 12:00:11 发布

Hungry_11

最新推荐文章于 2024-09-26 12:00:11 发布

阅读量757

点赞数 16

分类专栏： C++程序设计文章标签： c++

本文链接：https://blog.csdn.net/m0_74093370/article/details/142218840

版权

C++程序设计专栏收录该内容

18 篇文章 0 订阅

订阅专栏

非类型模板参数

模板参数分类型形参与非类型形参。
类型形参：出现在模板参数列表中，跟在class或者typename之类的参数类型名称。
非类型形参：就是用一个常量作为类(函数)模板的一个参数，在类(函数)模板中可将该参数当成常量来使用。

namespace test
{
    // 定义一个模板类型的静态数组
    //template<class T, size_t N = 10>//可以给缺省值，实例化的时候就不必须赋值
    template<class T, size_t N>//也可以不给缺省值，实例化的时候就必须赋值
    class array
    {
    public:
        T& operator[](size_t index) { return _array[index]; }
        const T& operator[](size_t index)const { return _array[index]; }

        size_t size()const { return _size; }
        bool empty()const { return 0 == _size; }

    private:
        T _array[N];
        size_t _size;
    };
}
int main()
{
    //test::array<int> arr1;
    test::array<int, 20> arr2;
    //cout << sizeof(arr1) << endl;
    cout << sizeof(arr2) << endl;
    return 0;
}

注意：

浮点数、类对象以及字符串是不允许作为非类型模板参数的。目前只能是整型家族可以作为非类型模板参数。
非类型的模板参数必须在编译时就能确认结果。这点要对比函数参数比较，函数参数是在运行时进行传参的，实参传递给形参，但是模板参数是在编译时就要确定的，多个不同的模板参数对应了不同的多个类，多个类是由编译器创建的，方便了程序员。

按需实例化

按需实例化，是 C++ 模板的一个重要特性，指的是模板代码只有在真正被使用时才会被编译器实例化。
比如，对于上面的代码，我在T& operator[]函数中写一个错误的语法：

T& operator[](size_t index) 
{
	size(1);
	return _array[index]; 
}

因为上述代码没有使用到operator[]函数，所以就没有编译这段代码，所以就没有检查出代码中size(1)的参数不匹配的语法错误。但是也不是没有使用就所有的语法错误都检查不出来，大体的错误也可以检查出来的，比如少个分号什么的。

模版的特化

通常情况下，使用模板可以实现一些与类型无关的代码，但对于一些特殊类型的可能会得到一些错误的结果，需要特殊处理，比如：实现了一个专门用来进行小于比较的函数模板

template<class T>
bool Less(T left, T right)
{
	return left < right;
}
int main()
{
	cout << Less(1, 2) << endl; // 可以比较，结果正确
	Date d1(2022, 7, 7);
	Date d2(2022, 7, 8);
	cout << Less(d1, d2) << endl; // 可以比较，结果正确
	Date* p1 = &d1;
	Date* p2 = &d2;
	cout << Less(p1, p2) << endl; // 可以比较，结果错误
	return 0;
}

可以看到，Less绝对多数情况下都可以正常比较，但是在特殊场景下就得到错误的结果。上述示例中，p1指向的d1显然小于p2指向的d2对象，但是Less内部并没有比较p1和p2指向的对象内容，而比较的是p1和p2指针的地址，这就无法达到预期而错误。

此时，就需要对模板进行特化。即：在原模板类的基础上，针对特殊类型所进行特殊化的实现方式。模板特化中分为函数模板特化与类模板特化。

函数模版特化

函数模板的特化步骤：

必须要先有一个基础的函数模板
关键字template后面接一对空的尖括号<>
函数名后跟一对尖括号，尖括号中指定需要特化的类型
函数形参表: 必须要和模板函数的基础参数类型完全相同，如果不同，编译器可能会报一些奇怪的错误

// 函数模板 -- 参数匹配
template<class T>
bool Less(T left, T right)
{
    return left < right;
}

// 对Less函数模板进行特化
template<>
bool Less<Date*>(Date* left, Date* right)
{
    return *left < *right;
}

特化就是针对某些特殊类型可以进行特殊处理

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

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

该种实现简单明了，代码的可读性高，容易书写，对于函数模板不建议特化，更简易使用重载进行特殊类型的实现。

类模版全特化

因为类不存在重载的概念，所以只能进行特化

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<>关键字加尖括号，尖括号里面为空，在类后面加尖括号给具体的类型

这个全特化是对于模板实参为 int 和 char 的情况。这意味着当创建一个 Data<int, char> 类型的实例时，这个特化版本会被使用，而不是泛型的基础模板。就是直接使用现成的。

int main()
{
	Data<int, int> d1;//调用模板
	Data<int, char> d2;//调用特化后的
	return 0;
}

在这里插入图片描述

类模板偏特化/半特化

偏特化：任何针对模版参数进一步进行条件限制设计的特化版本。比如对于以下模板类：

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

偏特化有以下两种表现方式：

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

// 将第二个参数特化为int
template <class T1>
class Data<T1, int>
{
public:
	Data() { cout << "Data<T1, int>" << endl; }
private:
	T1 _d1;
	int _d2;
};

通过下面代码测试

int main()
{
	Data<int, double> d1;
	Data<int, char> d2;
	Data<int, int>d3;
	return 0;
}

在这里插入图片描述
2. 参数更进一步的限制：偏特化并不仅仅是指特化部分参数，而是针对模板参数更进一步的条件限制所设计出来的一个特化版本
比如，两个参数偏特化为指针类型

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

两个参数偏特化为引用类型

template <class T1, class 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;
};

如下代码进行测试

int main()
{
	Data<int, double> d1;
	Data<int, char> d2;
	Data<int, int>d3;
	Data<int*, double*> d4;
	Data<int&, int&> d5(1, 3);
	return 0;
}

在这里插入图片描述
上述的各种特化都应建立在存在一个含有最初的模板类

细节注意：
对于一个特化，比如：

template <class T>
class Less
{
public:
	bool operator()(const T& x, const T& y)
	{
		return x < y;
	}
};
template <class T>
class Less<T*>
{
public:
	bool operator()(const T* x, const T* y)
	{
		return *x < *y;
	}
};

void test2()
{
	Date d1(2022, 7, 7);
	Date d2(2022, 7, 6);
	Date d3(2022, 7, 8);
	vector<Date> v1;
	v1.push_back(d1);
	v1.push_back(d2);
	v1.push_back(d3);
	// 可以直接排序，结果是日期升序
	sort(v1.begin(), v1.end(), Less<Date*>());
}

当比较传入是一个指针的时候会自动去匹配特化的类，但是需要注意的是，并不是完全平替特化模板中的T，特化的T*是一个标志，class Less<T*>与bool operator()(const T* x, const T* y)中的T *不会只替换T，而是将T *一起替换掉。

模板的分离编译

假如有以下场景，模板的声明与定义分离开，在头文件中进行声明，源文件中完成定义：

在头文件 a.h 中声明了一个函数模板 Add：

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 中，包含了头文件 a.h 并调用函数模板 Add：

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

在 C++ 中，编译器需要在编译时知道模板函数的完整定义，因为它必须用具体的类型对模板进行实例化。所以，当在 main.cpp 中调用 Add(1, 2) 和 Add(1.0, 2.0) 时，编译器需要看到 Add 函数模板的完整定义，以便能够分别为类型 int 和 double 实例化它
但是由于模板定义在 a.cpp 中，而且通常情况下源文件是单独编译的，编译 main.cpp 时，编译器看不到 Add 的定义，这会导致链接错误
为什么是链接错误而不是编译错误呢？
因为编译的时候进行的语法检查，Add函数在头文件有声明，语法就没有错误，只要链接的时候才会去符号表中寻找函数。但是在a.cpp中，编译的时候编译器并不知道要实例化为什么，于是符号表中就找不到对应的函数或对象。于是编译的时候没发现错误，只要在链接的时候发现了错误。

解决方案：
为了解决这个问题（即确保编译器能在必要的时候看到完整的模板定义），常见的做法是将模板的声明和定义都放到头文件中，就像这样：

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

这样的话，main.cpp在预处理阶段把头文件展开，在编译阶段发现既有声明也有定义，可以直
接实例化。

如果有特定的原因要将模板定义与声明分离（例如减少头文件的大小，或者模板的定义非常复杂），另一种解决方法是显式实例化。这是告诉编译器在编译 a.cpp 文件时实例化我们给的特定类型。显式实例化看起来像这样：

// a.cpp
#include "a.h"
template<class T>
T Add(const T& left, const T& right)
{
	return left + right;
}
// 显式实例化
template //此时template 不加尖括号
int Add<int>(const int& left, const int& right);
template 
double Add<double>(const double& left, const double& right);