默认内置构造函数和非参数化用户创建的默认构建器之间是否有区别？

Question

为什么这项工作：

#include<iostream>

using namespace std;

class student{
    int rollNumber;
    int age;

public :
    student(){

    }
};

int main(){
    student const s;
}

但这不起作用？

#include<iostream>

using namespace std;

class student{

    int rollNumber;
    int age;

};

int main(){
    student const s;
}

在这两种情况下，都有一个默认构造函数。

顶部具有用户定义的默认构造函数，底部具有内置默认构造函数。

默认内置构造函数和非参数化用户创建的默认构造函数之间是否有区别？

在第二个中，内置默认构造函数是否与用户定义的非参数构造函数相同？

有没有人知道为什么会发生这种情况？

Answer 1

C ++具有 const-defeault-default-constructible 类型（ [dcl.init.general] P8 ） 。它要求，如果默认的初始化const-qualified类型t，则必须是可构建的。

对于类，它必须具有用户提供的构造函数，或者每个成员必须具有默认成员初始化器或可构建本身。

这就是为什么第一个示例编译（student（）{}是用户提供的），第二个示例失败（int rollnumber; and code> and int age; 没有初始化器）。

至于原因，答案是“标准说这么说”。 [fiff.dcl] p4 ：

无法分配const对象，因此必须将其初始化以保持有用的值。

自C ++ 98以来一直是这样。

虽然我同意这似乎对限制太严格了（如果所有成员都可以变异怎么办？如果您想阅读单个成员的默认成员初始化器，而其他成员会使其他成员启用？如果您想构建虚拟对象怎么办？不过，要把所有东西都传递给其他所有东西吗？ const学生＆amp; S = _s; 基本上具有相同的效果。

---

这是编译器提供的默认构造函数和显式Student（）{}之间的区别之一。还有一些是：

• 用户提供一个不是琐碎的，也不是聚集的（并且在恒定表达式中不可用）
• noexcept ness-自动确定
• 编译器，只要一个人可以是<代码>删除 d
• 用户提供的构造函数明确地将实例化集体正文中成员/碱基的所有默认构造函数/成员初始化器（而不是在尝试使用时）

，甚至可能更多。这些是用户提供的和编译器生成的构造函数之间的差异，这是const-default-constructiblintibles似乎是默认构造函数唯一独特的构造。