C++ 模板

finish_speech

已于 2023-01-27 21:03:49 修改

阅读量512

点赞数 12

分类专栏： C++ 文章标签： c++ 开发语言

于 2023-01-27 21:03:18 首次发布

本文链接：https://blog.csdn.net/finish_speech/article/details/128772332

版权

C++ 专栏收录该内容

18 篇文章 1 订阅

订阅专栏

在学习stl之前，我们就已经略微讲解了一些模板的知识，而现在，我们来进一步了解一下模板的相关知识

一. 非类型模板参数

模板参数分类类型形参与非类型形参。

在我们之前所使用到的模板参数都是类型形参，

而非类型形参就是用一个常量作为类(函数)模板的一个参数，在类(函数)模板中可将该参数当成常量来使用。而非类型形参的的参数类型只能是整形

例如我们可以通过非类型模板参数来实现一个静态的数组

template<class T, size_t N>
class array
{
public:
private:
	T _array[N];
};

而类型模板参数可以有缺省值，同样非类型模板参数也可以有缺省值

namespace szt
{
	template<class T, size_t N = 10>
	class array
	{
	public:
		array()
		{
			cout << sizeof(_array) / sizeof(T) << endl;
		}
	private:
		T _array[N];
	};

	void test1()
	{
		array<int> arr;
	}
}

int main()
{
	szt::test1();
}

二. 模板的特化

通常情况下，使用模板可以实现一些与类型无关的代码，但对于一些特殊类型的可能会得到一些错误的结果，需要特殊处理

全特化

字面意思就是将所有的模板参数进行特化

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

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

int main()
{
	Data<int, int> d1;
	Data<int, char> d2;
}

而在之前的模拟优先级队列中，我们说过针对于自定义类型，需要自己写一个新的仿函数来完成自定义类型的比较，而我们也可以使用特化来实现比较

偏特化

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

首先，就是可以特化一部分的模板参数

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

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

int main()
{
	Data<int, int> d1;
	Data<int, char> d2;
}

其次呢，也可以针对模板参数进行更进一步的条件限制

例如限制为指针、引用等等

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

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

int main()
{
	Data<int, int> d1;
	Data<int*, char*> d2;
}