C++ Template 实践草稿

针对书中第五章

问题1 ：

在重载=后，不同数据类型的stack赋值

template <typename T, template <typename, typename> class CONT>
template <typename T2, template <typename, typename> class CONT2>
Stack<T, CONT>& Stack<T, CONT>::operator= (Stack<T2, CONT2> const& op2)
{
	/*if ((void *)this == (void *)op2){
		return *this;
	}*/

	Stack<T2, CONT2> tmp(op2);
	elems.clear();
	while (!tmp.empty()){
		elems.push_front(tmp.top());
		tmp.pop();
	}
	return *this;
}

这是重载部分代码（与书中一致），注释掉的部分为VS2013编译不通过的部分

try{
		Stack<int>		intStack;
		Stack<float>	floatStack;

		intStack.push(42);
		intStack.push(7);

		floatStack.push(7.7);

		floatStack = intStack;

		std::cout << floatStack.top() << std::endl;
		floatStack.pop();
		std::cout << floatStack.top() << std::endl;
		floatStack.pop();
		std::cout << floatStack.top() << std::endl;
		floatStack.pop();
	}
	catch (std::exception const& ex){
		std::cerr << "Exception: " << ex.what() << std::endl;
	}

main函数测试代码（与书中一致）

结果与 p51 页相同，说明按书中重载之后的=号，并没有按原栈的数据类型。

这一点与 p43 页“在赋值以后，floatStack的元素仍然是float（浮点型）类型，因此它的top（）仍然返回一个浮点数。”说法不一致。

但是

Stack<T2, CONT2> tmp(op2);
	//elems.clear();
	while (!tmp.empty()){
		elems.push_front(tmp.top());
		tmp.pop();
	}

当重载中，将clear()注释掉后

由于没有clear()，所以原来floatStack中的7.7没有被删除，输出的时候7.7和后来从intStack中赋值来的整型各自按照自己数据类型打印。

问题 2：

p45，当模版参数默认值设为deque，并且调用push_front()

template <class T, typename CONT = std::deque<T>>
class Stack

重载部分

template<typename T, typename CONT>
template<typename T2, typename CONT2>
Stack<T, CONT>& Stack<T, CONT>::operator= (Stack<T2, CONT2> const& op2)
{
	/*if ((void *)this == (void *)op2){
		return *this;
	}*/

	Stack<T2, CONT2> tmp(op2);

	elems.clear();
	while (!tmp.empty()){
		elems.push_front(tmp.top());
		tmp.pop();
	}
	return *this;
}

而在使用中用vector作为内部容器
书中原文“因为自定义的模版赋值运算并不是并不可少的，所以在不存在push_front()的情况下，某些程序并不会出现错误信息，而且也能正常运行。”

于是乎，采用这样的测试代码

Stack<int/*, std::vector<int>*/>		intStack;
	Stack<float/*, std::vector<int>*/>	floatStack;

	intStack.push(1);
	intStack.push(2);
	intStack.push(3);

	floatStack.push(1.1);
	floatStack.push(1.2);
	floatStack.push(1.3);

	floatStack = intStack;
	while (!floatStack.empty()){
		std::cout << floatStack.top() << std::endl;
		floatStack.pop();
	}

	system("pause");

当都采用默认参数deque时，程序没有问题。

当都采用vector时

同时，在同为vector的情况下，如果不进行=操作，同样不抱错。

而且

Stack<int, std::vector<int>>		intStack;
Stack<float/*, std::vector<int>*/>	floatStack;

作为等式右边的intStack采用vector，而左边的floatStack采用默认值时，也可以通过

*************************************************************************************************************************

结论：

针对问题1，可能的结果是数据保持原有的数据类型，书中所谓的不改变只是这个Stack类，本身不改变，但是被赋值的数据同样不改变

针对问题2，书中原文“因为自定义的模版赋值运算并不是并不可少的，所以在不存在push_front()的情况下，某些程序并不会出现错误信息，而且也能正常运行。”

的意思是，从语法角度来讲并没有错误，而且并不是静态链编，所以只要代码不执行，就不会发生错误。

学习的书籍为《C++ Templates 中文版》（人民邮电出版社）

所有原文和书上范例都来自于此