`Base*b = new Base;`vs`Base*b = new Base();`没有定义我自己的构造函数

Question

如果我没有定义我自己的构造函数,那么Base *b = new Base;vs 之间有什么区别Base *b = new Base();吗？

Answer 1

初始化是标准中遵循的PITA ......然而,两个已经存在的答案在他们错过的内容中是不正确的,这使得他们确认没有差异.

调用new T和new T()没有用户定义构造函数的类之间存在巨大差异.在第一种情况下,对象将默认初始化,而在第二种情况下,它将是`value-initialized*.如果对象包含任何POD子对象,则第一个将保留未初始化的POD子对象,而第二个将子对象设置为0.

struct test {
   int x;
   std::string s;
};
int main() {
   std::auto_ptr<test> a( new test );
   assert( a->s.empty() ); // ok, s is string, has default constructor
                           // default constructor sets it to empty
// assert( a->x == 0 );    // this cannot be asserted, the value of a->x is
                           // undefined
   std::auto_ptr<test> b( new test() );
   assert( b->s.empty() ); // again, the string constructor sets to empty
   assert( b->x == 0 );    // this is guaranteed by *value-initialization*
}

对于漫长的道路... 默认初始化用户定义的类意味着调用默认构造函数.在没有用户提供的默认构造函数的情况下,它将调用隐式定义的默认构造函数,这相当于具有空初始化列表和空body(test::test() {})的构造函数,这反过来将导致每个非POD子对象的默认初始化,以及让所有POD子对象保持未初始化状态.由于std::string有一个用户(通过包含标准库编写器的用户的某些定义)提供了构造函数,它将调用这样的构造函数,但它不会对该x成员执行任何实际的初始化.

也就是说,对于一类与用户提供的默认构造函数,new T并且new T()是相同的.对于没有这种构造函数的类,它取决于类的内容.