ISO 上 5.3.4 的第15条是这样的：
程序代码：
15 A new-expression that creates an object of type T initializes that object as follows:
— If the new-initializer is omitted:
— If T is a (possibly cv-qualified) non-POD class type (or array thereof), the object is default-
initialized (8.5). If T is a const-qualified type, the underlying class type shall have a user-declared
default constructor.
— Otherwise, the object created has indeterminate value. If T is a const-qualified type, or a (possibly
cv-qualified) POD class type (or array thereof) containing (directly or indirectly) a member of
const-qualified type, the program is ill-formed;
— If the new-initializer is of the form (), the item is value-initialized (8.5);
— If the new-initializer is of the form (expression-list) and T is a class type, the appropriate constructor is
called, using expression-list as the arguments (8.5);
— If the new-initializer is of the form (expression-list) and T is an arithmetic, enumeration, pointer, or
pointer-to-member type and expression-list comprises exactly one expression, then the object is initial-
ized to the (possibly converted) value of the expression (8.5);
— Otherwise the new-expression is ill-formed.
第一个分项(还附带了两个小分项)说的是省略初始值的，咱们不看。
第二个分项就是书上的那种，追加一个'()'，则对应是项使用值初始化。
我去查了值初始化，意思是如果类型是用户声明的，有构造函数的，就调用默认构造函数初始化它。
否则，在不是 union 的类型情况下，用户没有给构造函数。这时，对该类型的每一个非静态数据成员实施值初始化。
对于是数组的类型，对每一个元素实施值初始化。
如果不是以上任何一种情况，实施零初始化(零初始化也是一个定义概念，由一堆分项描述，基本是就是全填0的意思，和 C 语言里的很像)。
书上举的例子看来就是第二个分项里说的这个什么都不是的情况。也就是零初始化了。
第三个分项是：如果给的是初始化列表，且初始对象是类的。则以初始化列表调用适当的该类的构造函数，并将初始化列表做为构造函数的参数。
第四个分项是：如果要初始的对象是算术型、枚举型、指针、指向成员的指针这四种类型，且初始化列表也正是其中一种类型之一。那么就将这个初始化列表算出来的值赋过去，可能伴随类型强转。
第五项是说不是以上任何一项的，则初始化列表的形式是非法的。
最开始看到这个帖子的时候我确实觉得这个語法很奇怪。不过后来读标准的时候才发现原来这个語法形式的第三个分项其实我老用，就是给构造函数传参数。第二个分项我感觉有点鸡肋了，跟第一个没什么太大区别。只是看了你的确实觉得很奇怪，疑惑点就是数组(array)到底算不算一个类(class)。如果不算，数组就不是第三分项描述的情况，那么是第五项，也就是非法的。标准里类的定义是:用关键字 class struct union 定义的类型。而我去查数组，没有找到(说没找到比较合适，因为标准很长，我不可能每项都细看)相关的律文描述它是否可以算是一个类，即使它的元素是类。那就把它看做不是吧～这样至少能解释为什么 gcc 会给出 “ISO C++ forbids initialization in array new“ 的错误提示。
可能还有一个小问题，为什么能给一个对象传参数就不能给一组对象传呢？我觉得这么理解可能合适一点，从编译器的角度看就是
“你要申请对象，行！我给你拨内存，给你初始化。如果你愿意给我初始化列表，我还附加给你调专门的构造函数的优惠政策。
你要一组对象！？好吧，我给你拨大量的内存。为了保证初态状态的合法性，我给你挨个调默认构造函数。
什么？！你还想要初始化它们？你想怎干？给我一大组初始化列表，然后我帮你把每个分别初始化成不同的状态？我告诉你，不是我懒，而肯定是你最后会懒得输入这么多初始化列表！！
哦？你说你改变主意了？想给一个列表，然后把它们全初始化成一样的？那我就偷点懒，这活我不干。你回去查查你为什么会需要一堆一模一样的对象，你想通了，可能我也就不用干这事了。另外如果这个特定的对象这么重要，请你把它指定成默认对象。如果你还对我的懒惰感到无奈，你就自己 for 循环去吧～～“
2010-07-20 10:55
