我们一步步深入:
(1) 光看其源码,不知大家是否注意到了其成员变量(T elems[N])是public属性的,这明显有违C++的设计原则,怎么能随便把成员变量公然暴露于光天化日之下呢?况且此类对此成员变量的访问已经 做了十分好的包装,感觉没必要再暴露啊。带着此疑问,再看了一遍boost文档,发现此类有一个基本的设计原则是:需要将 array 实现为一个“集合体”,就像普通的静态数组那样,能进行“boost::array a = { { 1, 2, 3 } };”类似这样的操作。这个操作跟我们平时对单个普通对象(注意不是数组)的初始化很不相同,说实话,我还从没见过。于是再继续看文档,有提到这样的集合体应该遵守下面四条原则:
“
(1) 无用户声明的构造函数。
(2) 无私有的或保护的非静态数据成员。
(3) 无基类。
(4) 无虚拟函数。
”
于是我按照这里所禁止的各种情况反着来了一下,发现只要有“boost::array a = { { 1, 2, 3 } };”这样的语句的,都无法编译通过,于是推测这条语句背后真正做的应该是类似“boost::array a.elems[] = { { 1, 2, 3 } };”这样的操作(编译器在默认构造函数中做的事情),然后再结合《C++对象模型》中所讲的,便恍然大悟,这条语句是对一个对象很低级的初始化操作,一 旦对象的内存布局发生一点点改变,都无法操作成功。于是这些原则也就不难理解了。
(2) 上面的疑惑解决了,但还有个不爽的地方是swap(),其算法复杂度是O(n), 这是由于elems是一个普通的数组对象决定的,没办法的事。可用在对性能要求严格的环境中时,不免让人遗憾。那该如何改进呢?大家都能想到,就是,将 “T elems[N]”改为“T* elems”,然后再增加构造和析构函数,大致如下(没必要的东西就省了):
- template<class T, std::size_t N>
- class array {
- private:
- T* elems;
- public:
- ...
- array()
- {
- elems = new T[N];
- }
- ~array()
- {
- delete[] elems;
- }
- void swap (array& y) {
- std::swap(elems, y.elems);
- }
- }
其它代码都不需要改变,就实现了常数复杂度的swap()。可很多人要开始反驳了,这不是违反了集合体的设计原则了嘛,是的,确实违反了,可在我看来,编程是以实用为原则,我们只要在以下两者之间选择:
1:需要支持“boost::array a = { { 1, 2, 3 } };”这样的语句,这样方便写代码
2:需要swap()的时间复杂度是常数,这可以提高性能
boost::array的作者选择了1而放弃2,我想是因为他需要尽量设计一个集合体,而如果我们的应用中不需要1时,何不重做一个,以改进swap()的性能,至于其它array的所有优点,我们都能照搬过来,何乐而不为呢?
来自 “ ITPUB博客 ” ,链接:http://blog.itpub.net/7364811/viewspace-664104/,如需转载,请注明出处,否则将追究法律责任。
转载于:http://blog.itpub.net/7364811/viewspace-664104/