编译器“何时”隐式声明默认构造函数？

我知道如果我们不声明它，编译器将生成一个默认构造函数。

“何时”是我感到困惑的一点。

A:

class Base {};
int main()
{
    return 0;   
}

B:

class Base {};
int main()
{
    Base b;   // Declare a Base object.
    return 0;
}

A 和 B 的区别仅在于 B 声明了一个真正的 Base 对象。 在我看来，只有当我们声明一个真实的对象并且编译器找不到构造函数时，它才会生成默认构造函数。

我的问题是：

1. 代码片段A会生成Base的默认构造函数吗？

2. 有什么工具可以帮助检查结果吗？我使用 Visual Studio 2010，/d1 reportAllClassLayout 似乎没用。

引用 C++11。

[class.ctor]§5:

类的默认构造函数X是类的构造函数X无需参数即可调用。如果类没有用户声明的构造函数X，没有参数的构造函数被隐式声明为默认值（8.4）。

[class.ctor]§6:

默认且未定义为已删除的默认构造函数是隐式定义的当它被 odr 使用（3.2）来创建其类类型（1.8）的对象时，或者当它在第一次声明后被显式默认时。

这意味着它是在你的类被定义和定义时声明的（如inline) 当它第一次在给定的翻译单元中使用时。

在你的情况下，这意味着代码片段A将包含默认构造函数的声明（但不是定义），而片段B将包含两者。