为何定义带参构造函数后，struct仍自动生成无参构造函数？

先看你给出的示例代码：

struct str {
    public str(int n) { }
}

class tes {
    public tes(int h) { }
}

//main method
tes uhi = new();  // 编译报错：找不到对应的构造函数
str uhi1 = new(); // 正常编译通过

这个差异的根源在于C#中值类型（struct）和引用类型（class）的本质区别，以及它们的初始化规则设计：

• 类型内存模型的本质不同
  struct是值类型，它的实例直接分配在栈内存（或作为引用类型的成员存储在堆内存）中。C#语言规范强制要求值类型必须始终支持默认初始化——也就是所有字段自动被设置为对应类型的默认值（比如int为0、bool为false、引用类型字段为null）。因此不管你定义了多少个带参构造函数，编译器都会自动保留公共无参构造函数，确保你能通过new struct()完成这种默认初始化操作。

  而class是引用类型，实例分配在堆内存中，由CLR负责内存管理。当你自定义带参构造函数时，编译器会认为你已经明确了对象的初始化逻辑，因此不再自动生成默认无参构造函数——这是为了避免开发者意外创建一个未按预期初始化的对象（比如某些关键字段没有被赋值）。

• 初始化规则的强制约束差异
  对于struct来说，默认无参构造函数是语言层面的强制要求，哪怕你自己编写了带参构造函数，这个默认构造也不会被覆盖。甚至在C# 10之前，你都无法手动定义struct的无参构造函数，编译器会自动保证默认初始化的行为。

  对于class而言，默认无参构造函数只是编译器提供的一种便利。一旦你编写了自定义构造函数，编译器就会认为你不需要这个默认的便利实现，直接停止自动生成。如果你的代码需要无参构造，必须手动显式定义。

• 设计场景的导向不同
  struct的设计初衷是用来表示简单的、具备值语义的数据（比如坐标Point、时间DateTime这类），默认初始化的行为完全符合这类场景的需求——比如一个空的Point结构体，x和y默认设为0是完全合理的。

  class通常用于表示复杂的业务对象，这类对象往往需要在构造阶段完成依赖注入、状态初始化等关键操作。取消默认无参构造函数的自动生成，能促使开发者明确对象的初始化方式，减少因未初始化字段导致的潜在bug。

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