精华区文章阅读

发信人: seaboy (壳儿), 信区: C_and_CPP
标  题: 条款13: 初始化列表中成员列出的顺序和它们在类中声�
发信站: 哈工大紫丁香 (2003年11月11日19:47:29 星期二), 站内信件

条款13: 初始化列表中成员列出的顺序和它们在类中声明的顺序相同

顽固的pascal和ada程序员会经常想念那种可以任意设定数组下标上下限的功能，即，数组
下标的范围可以设为10到20，不一定要是0到10。资深的c程序员会坚持一定要从0开始计数
，但想个办法来满足那些还在用begin/end的人的这个要求也很容易，这只需要定义一个自
己的array类模板：

template<class t>
class array {
public:
  array(int lowbound, int highbound);
  ...

private:
  vector<t> data;               // 数组数据存储在vector对象中
                                // 关于vector模板参见条款49

  size_t size;                  // 数组中元素的数量

  int lbound, hbound;           // 下限，上限
};

template<class t>
array<t>::array(int lowbound, int highbound)
: size(highbound - lowbound + 1),
  lbound(lowbound), hbound(highbound),
  data(size)
{}

构造函数会对参数进行合法性检查，以保证highbound至少要大于等于lowbound，但这里有
个很糟糕的错误：即使数组的上下限值合法，也绝对没人会知道data里会有多少个元素。

“这怎么可能？”我听见你在叫。“我小心地初始化了size后才把它传给vector的构造函
数！”但不幸的是，你没有——你只是想这样做，但没遵守游戏规则：类成员是按照它们
在类里被声明的顺序进行初始化的，和它们在成员初始化列表中列出的顺序没一点关系。
用上面的array模板生成的类里，data总会被首先初始化，然后是size, lbound和hbound。

看起来似乎有悖常理，但这么做是有理由的。看下面这种情况：

class wacko {
public:
  wacko(const char *s): s1(s), s2(0) {}
  wacko(const wacko& rhs): s2(rhs.s1), s1(0) {}

private:
  string s1, s2;
};

wacko w1 = "hello world!";
wacko w2 = w1;

如果成员按它们在初始化列表上出现的顺序被初始化，那w1和w2中的数据成员被创建的顺
序就会不同。我们知道，对一个对象的所有成员来说，它们的析构函数被调用的顺序总是
和它们在构造函数里被创建的顺序相反。那么，如果允许上面的情况（即，成员按它们在
初始化列表上出现的顺序被初始化）发生，编译器就要为每一个对象跟踪其成员初始化的
顺序，以保证它们的析构函数以正确的顺序被调用。这会带来昂贵的开销。所以，为了避
免这一开销，同一种类型的所有对象在创建（构造）和摧毁（析构）过程中对成员的处理
顺序都是相同的,而不管成员在初始化列表中的顺序如何。

实际上，如果你深究一下的话，会发现只是非静态数据成员的初始化遵守以上规则。静态
数据成员的行为有点象全局和名字空间对象，所以只会被初始化一次（详见条款47）。另
外，基类数据成员总是在派生类数据成员之前被初始化，所以使用继承时，要把基类的初
始化列在成员初始化列表的最前面。（如果使用多继承，基类被初始化的顺序和它们被派
生类继承的顺序一致，它们在成员初始化列表中的顺序会被忽略。使用多继承有很多地方
要考虑。条款43关于多继承应考虑哪些方面的问题提出了很多建议。）

基本的一条是：如果想弄清楚对象被初始化时到底是怎么做的，请确信你的初始化列表中
成员列出的顺序和成员在类内声明的顺序一致。

--
欢迎到C_and_CPP版讨论相关问题。

※ 来源:·哈工大紫丁香 bbs.hit.edu.cn·[FROM: 202.118.239.104]

C_and_CPP 版 (精华区)