C++类实例化带空括号与不带括号的语法差异问题

核心原因 #

Player Adam(); 不会创建类实例的根本原因是触发了C经典的最令人困惑的解析规则（Most Vexing Parse）：C标准规定，当一条语句存在两种解析可能——既可以被解释为变量定义，也可以被解释为函数声明时，编译器必须优先将其解析为函数声明。

两种写法的本质差异 #

• Player John;
  这是标准的栈对象定义语句，会调用Player类的默认构造函数创建名为John的Player实例：你没有手动实现默认构造函数时，编译器会在满足条件时自动合成可用的默认构造函数，你给出的代码中成员都设置了类内初始值，不存在无法默认构造的成员，因此合成的构造函数完全可用，调试器可以正常观测到该对象。这种写法是栈上调用无参默认构造创建对象的标准正确写法，和类是否存在用户自定义默认构造没有关联。
• Player Adam();
  编译器不会将这行识别为对象定义，而是直接解析为函数声明：声明了一个名为Adam的函数，该函数的返回值类型为Player，形参列表为空。这行代码仅做了函数声明，没有任何对象创建的逻辑，自然不会生成对应的Player实例，调试器中也看不到对应对象。

误区澄清 #

针对你提到的疑问，这里做明确说明：

1. Adam()的写法根本不是调用无参默认构造函数。这行语句从语法解析阶段就被判定为函数声明，根本不会进入对象构造的流程，和类的构造函数实现、是否自定义了默认构造函数没有任何关系。
2. 在栈上定义命名对象、调用无参/默认构造时，不能在对象名后加空圆括号，加了就会触发上述的函数声明解析逻辑。
3. 如果你希望显式写出初始化部分、避免歧义，C++11及之后的标准可以用花括号列表初始化写法：Player Adam{};，这种写法不会被解析为函数声明，会明确调用默认构造创建对象。
4. 注意不要和动态分配对象的写法混淆：new Player()是合法的对象创建写法，new表达式中的初始化器不存在函数声明的歧义，这里的空括号表示对动态分配的Player对象做值初始化，和栈上命名对象的解析规则不一样。

修正后的可验证代码 #

#include<iostream>
#include<string>
class Player{
private:
    std::string name{"Jeff"};
    double balance{};
public: 
};
int main()
{
    Player John;     // 正确：默认构造创建栈对象
    Player Adam{};   // 正确：C++11列表初始化，显式调用默认构造，无歧义
    // Player Adam(); // 错误写法：被解析为函数声明，不创建对象
    Player* ptr = new Player(); // 正确：动态分配对象，无解析歧义
    delete ptr;

    std::cout<<"Hello world"<<std::endl;
    return 0;
}

内容的提问来源于stack exchange，提问作者Andrew