C++知识点57——类模板（2、类模板的局部特化与默认模板实参）

最新推荐文章于 2025-08-24 15:46:37 发布

原创最新推荐文章于 2025-08-24 15:46:37 发布 · 366 阅读

1 ·

CC 4.0 BY-SA版权

文章标签：

#c++ #类 #泛型

C++基础专栏收录该内容

65 篇文章

订阅专栏

本文接上一篇文章，介绍了C++类模板的局部特化，即只指定部分模板参数，局部特化的类模板仍是类模板，且只能对类模板进行局部特化。还阐述了类模板的默认模板实参，可为模板参数提供默认值，使用时不指定参数则采用默认值。

接上一篇文章https://blog.youkuaiyun.com/Master_Cui/article/details/111824064

四、类模板的局部特化

类模板可以被局部特化（只指定部分模板参数而不指定所有模板参数）。因为局部特化仍然保留着未指定的模板参数，所以，局部特化的类模板仍然是个类模板，而不是类模板的实例

此外，只能对类模板进行局部特化，不能对函数模板进行局部特化

示例

template <typename T1, typename T2>
class test
{
public:
	test(){cout<<__func__<<endl;}
};

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

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

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

int main(int argc, char const *argv[])
{
	test<int, float> t1;
	test<float, float> t2;
	test<float, int> t3;
	test<int *, float *> t4;
	//test<int, int> t5;
	return 0;
}

第35行会产生二义性错误，因为会同时匹配class test<T, int>和class test<T, T>

五、类模板的默认模板实参

类模板可以为模板参数提供默认实参，比如可以为mystack提供默认的实现容器

template <typename T, typename CONT = deque<T>>
class mystack
{
public:
	mystack();
	mystack(const mystack<T, CONT> &rval);
	mystack<T, CONT> &operator=(const mystack<T, CONT> &rval);
	~mystack();
	void push(const T &ele);
	void pop();
	T top() const;
	bool empty() const {
		return elem.empty();
	}

private:
	CONT elem;
};

template <typename T, typename CONT>
mystack<T, CONT>::mystack()
{
	cout<<__func__<<endl;
}

template <class T, typename CONT>
mystack<T, CONT>::mystack(const mystack<T, CONT> &rval):elem(rval.elem)
{
	cout<<__func__<<endl;
}

template <class T, typename CONT>
mystack<T, CONT> & mystack<T, CONT>::operator=(const mystack<T, CONT> &rval)
{
	cout<<__func__<<endl;
	if (this==&rval) {
		return *this;
	}
	this->elem=rval.elem;
	return *this;
}

template <typename T, typename CONT>
mystack<T, CONT>::~mystack()
{
	cout<<__func__<<endl;
}

template <typename T, typename CONT> 
void mystack<T, CONT>::push(const T &elem)
{
	cout<<__func__<<endl;
	elem.push_back(elem);
}

template <typename T, typename CONT>
void mystack<T, CONT>::pop()
{
	cout<<__func__<<endl;
	try {
		elem.pos_back();
	}
	catch (out_of_range){
		cout<<"out_of_range"<<endl;
	}
}

template <typename T, typename CONT>
T mystack<T, CONT>::top() const
{
	cout<<__func__<<endl;
	try {
		return elem.back();
	}
	catch (out_of_range){
		cout<<"out_of_range"<<endl;
	}
}

上述代码就是mystack加了默认模板实参时候的代码，因为有两个模板参数，所以，所以类外实现的成员函数必须也有两个模板参数

使用带有默认模板实参的类模板时，如果不指定第二个参数，那么第二个参数默认使用deque

int main(int argc, char const *argv[])
{
	mystack<int> si;
	si.push(10);

	mystack<int, vector<int>> si2;
	si2.push(20);
	return 0;
}

参考

《C++ Template》

《C++ Primer》

欢迎大家评论交流，作者水平有限，如有错误，欢迎指出