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 中文版》（人民邮电出版社）

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