C#结构体无参构造函数需公开及字段初始化问题咨询

先看这段示例代码：

struct plane {
    public int first;
    public int second = 5;

    public plane() { //has to be public
        //first = 99; error, all uninitialized instance fields must be initialized
    }

    plane(int h) { //can be private
        //first = 88; error, all uninitialized instance fields must be initialized
    }

}

问题1：为何结构体的无参构造函数必须设置为public？ #

C#中值类型（结构体）的隐式无参构造函数是public的，它的作用是把所有字段初始化为对应类型的默认值（比如int默认是0）。当你手动定义无参构造函数时，编译器强制要求它必须是public，核心原因是要保证结构体的默认实例创建能力不被破坏：

• 比如创建结构体数组（new plane[10]）时，会自动调用无参构造函数初始化每个元素；
• 如果允许无参构造是private，这类场景会直接报错，因为无法访问私有构造函数创建实例。
  简单说，这是C#为了维持值类型“随时可创建默认实例”的语义规则，强制手动无参构造和隐式构造保持相同的访问级别。

问题2：为何必须初始化所有未初始化的非静态字段？ #

结构体是值类型，它的实例不存在“null”状态，一旦被创建就必须是一个完整、有效的实体。编译器强制构造函数初始化所有实例字段，就是为了避免出现“部分初始化”的结构体实例：

• 值类型没有引用类型那样的“未引用”状态，任何字段如果没被初始化，其值是未定义的（不是默认值），后续访问会导致不可预测的行为；
• 你提到的“后续手动初始化”不符合构造函数的设计职责——构造函数的核心作用就是保证实例在创建完成时就处于合法、可用的状态，而非把初始化责任丢给后续代码。

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