一般来说，第一种情况是默认初始化，第二种情况是值初始化。

例如: 如果是int (POD类型):

Int *test = new Int -我们有任意的初始化，*test的值可以是任意的。 Int *test = new Int () - *test的值为0。

接下来的行为取决于你的测试类型。 我们有不同的情况:测试有默认构造函数，测试生成默认构造函数，测试包含POD成员，非POD成员…

我在下面写了一些示例代码，作为Michael Burr回答的补充:

#include <iostream>

struct A1 {
    int i;
    int j;
};

struct B {
    int k;
    B() : k(4) {}
    B(int k_) : k(k_) {}
};

struct A2 {
    int i;
    int j;
    B b;
};

struct A3 {
    int i;
    int j;
    B b;
    A3() : i(1), j(2), b(5) {}
    A3(int i_, int j_, B b_): i(i_), j(j_), b(b_) {}
};

int main() {
    {
        std::cout << "Case#1: POD without ()\n";
        A1 a1 = {1, 2};
        std::cout << a1.i << " " << a1.j << std::endl;
        A1* a = new (&a1) A1;
        std::cout << a->i << " " << a->j  << std::endl;
    }
    {
        std::cout << "Case#2: POD with ()\n";
        A1 a1 = {1, 2};
        std::cout << a1.i << " " << a1.j << std::endl;
        A1* a = new (&a1) A1();
        std::cout << a->i << " " << a->j  << std::endl;
    }
    {
        std::cout << "Case#3: non-POD without ()\n";
        A2 a1 = {1, 2, {3}};
        std::cout << a1.i << " " << a1.j << " " << a1.b.k << std::endl;
        A2* a = new (&a1) A2;
        std::cout << a->i << " " << a->j << " " << a->b.k << std::endl;
    }
    {
        std::cout << "Case#4: non-POD with ()\n";
        A2 a1 = {1, 2, {3}};
        std::cout << a1.i << " " << a1.j << " " << a1.b.k  << std::endl;
        A2* a = new (&a1) A2();
        std::cout << a->i << " " << a->j << " " << a1.b.k << std::endl;
    }
    {
        std::cout << "Case#5: user-defined-ctor class without ()\n";
        A3 a1 = {11, 22, {33}};
        std::cout << a1.i << " " << a1.j << " " << a1.b.k << std::endl;
        A3* a = new (&a1) A3;
        std::cout << a->i << " " << a->j << " " << a->b.k << std::endl;
    }
    {
        std::cout << "Case#6: user-defined-ctor class with ()\n";
        A3 a1 = {11, 22, {33}};
        std::cout << a1.i << " " << a1.j << " " << a1.b.k  << std::endl;
        A3* a = new (&a1) A3();
        std::cout << a->i << " " << a->j << " " << a1.b.k << std::endl;
    }
    return 0;
}

/*
output with GCC11.1(C++20)
Case#1: POD without ()
1 2
1 2
Case#2: POD with ()
1 2
0 0
Case#3: non-POD without ()
1 2 3
1 2 4
Case#4: non-POD with ()
1 2 3
0 0 4
Case#5: user-defined-ctor class without ()
11 22 33
1 2 5
Case#6: user-defined-ctor class with ()
11 22 33
1 2 5
*/

新事物();是显式的，你想要一个构造函数调用while new Thing;表示您不介意不调用构造函数。

如果在带有用户定义构造函数的结构/类上使用，则没有区别。如果在一个普通的struct/类上调用(例如struct Thing {int i;};)然后new Thing;是像malloc(大小(东西));而new Thing();是像calloc(sizeof(Thing));-它得到零初始化。

问题就在这两者之间:

struct Thingy {
  ~Thingy(); // No-longer a trivial class
  virtual WaxOn();
  int i;
};

新事物的行为;vs new Thingy();在这种情况下，在c++ 98和c++ 2003之间变化。详见Michael Burr的解释。

不，它们是一样的。但两者之间是有区别的:

Test t;      // create a Test called t

and

Test t();   // declare a function called t which returns a Test

这是因为c++(和C)的基本规则:如果某个东西可以是声明，那么它就是声明。

编辑:关于POD和非POD数据的初始化问题，虽然我同意已经说过的一切，但我只是想指出，这些问题只适用于新构造的东西或其他构造方法没有用户定义的构造函数。如果有这样的构造函数，将使用它。99.99%的合理设计的类都有这样的构造函数，因此可以忽略这个问题。

假设Test是一个定义了构造函数的类，没有区别。后一种形式更清楚地表明Test的构造函数正在运行，但仅此而已。

让我们来研究一下，因为有些差异实际上会影响代码的行为。以下大部分内容摘自对一篇“新旧事物”文章的评论。

有时new操作符返回的内存将被初始化，有时则不会，这取决于您要更新的类型是POD(普通旧数据)，还是包含POD成员并使用编译器生成的默认构造函数的类。

在c++ 1998中，有两种初始化类型:0和default 在c++ 2003中增加了第三种初始化类型，值初始化。

假设:

struct A { int m; }; // POD
struct B { ~B(); int m; }; // non-POD, compiler generated default ctor
struct C { C() : m() {}; ~C(); int m; }; // non-POD, default-initialising m

在c++ 98编译器中，应该发生以下情况:

新A -不定值 new A() -零初始化 new B -默认构造(B::m未初始化) new B() -默认构造(B::m未初始化) 新建C -默认构造(C::m为零初始化) new C() -默认构造(C::m是零初始化的)

在c++ 03兼容的编译器中，事情应该这样工作:

新A -不定值 new A() - value-initialize A，这是零初始化，因为它是一个POD。 new B -默认初始化(保留B::m未初始化) new B() - value- initialization B，它对所有字段进行零初始化，因为它的默认ctor是编译器生成的，而不是用户定义的。 new C - default-初始化C，它调用默认的ctor函数。 new C() -值初始化C，它调用默认的ctor。

所以在c++的所有版本中，新a和新a()之间是有区别的，因为a是POD。

对于new B()的情况，c++ 98和c++ 03之间的行为有所不同。

这是c++的一个让你抓狂的角落。在构造一个对象时，有时你想要/需要paren，有时你绝对不能拥有它们，有时这无关紧要。