required成员必须在对象初始化时通过对象初始化器显式赋值,是C# 11+的编译期强制约束,不依赖构造函数、不支持字段和init-only属性,继承时不自动传递,且无运行时反射支持。

required成员必须在对象初始化时赋值,否则编译报错
从 C# 11 开始,required 关键字用于标记类或结构体中的实例成员(目前仅支持 set 访问器的属性或索引器),表示该成员**必须在对象创建时通过对象初始化器显式赋值**。它不是运行时检查,而是编译期强制——没写,直接过不了编译。
常见错误现象:CS8852: Required member 'XXX' must be set in the object initializer or attribute constructor.
- 只声明
required属性但没在new TypeName { ... }里赋值 → 编译失败 - 用默认构造函数
new TypeName()创建对象 → 编译失败(哪怕属性有默认值) - 在构造函数里赋值但没用对象初始化器 → 不满足
required要求,依然报错
required只能配合对象初始化器使用,不能靠构造函数绕过
required 的设计目标是“保证初始化表达式完整”,所以它**不关心构造函数逻辑**,只看语法上是否出现在 { } 初始化块中。哪怕你写了个带参数的构造函数并内部设置了该属性,只要初始化时没在 { } 里显式写出,就无效。
使用场景:适合 DTO、配置类、不可变轻量模型等需要“一眼看清必填字段”的场合。
- ✅ 正确:
var x = new Person { Name = "Alice", Age = 30 }; - ❌ 错误:
var x = new Person(); x.Name = "Alice";(分两步,不满足语法要求) - ❌ 错误:
var x = new Person("Alice", 30);(即使构造函数里写了this.Name = name;,也不算)
注意:C# 当前(12)不支持在构造函数参数上加 required,也不能用 required 修饰字段(只能是带 set 的自动属性或显式实现的属性)。
required属性必须有可访问的set访问器,且不能是只读或init-only
required 成员底层依赖编译器生成的隐式初始化逻辑,因此它对访问器有硬性限制:必须存在 public 或 internal(取决于上下文可见性)的 set,且不能是 init。如果属性是 public string Name { get; init; },加 required 会报错 CS8853。
- ✅ 允许:
public string Name { get; set; }、public string Name { get; private set; } - ❌ 禁止:
public string Name { get; init; }、public string Name => _name;(无 set)、public readonly string Name;(字段)
性能影响几乎为零——它是纯编译期检查,不生成额外字段或运行时逻辑;兼容性上,.NET 6+ + C# 11+ 工具链才支持,老项目升级需确认 SDK 和语言版本。
继承时required成员不会自动传递,子类需重新声明或显式初始化
父类的 required 属性在子类实例化时**仍然生效**,但子类不能靠继承“继承 required 约束”——它只是继承了属性定义,约束仍由父类声明决定。问题在于:如果你用子类类型做初始化,编译器仍会检查父类的 required 成员是否被赋值。
容易踩的坑:
- 子类没重写属性,但初始化时漏掉父类的
required字段 → 报错,和父类一样严格 - 想让子类“放宽”约束?不行。
required是声明即生效,无法取消或降级 - 子类新增自己的
required属性,那初始化时要同时满足父类和子类的所有required字段
示例:class Student : Person { public required string Grade { get; set; } },那么 new Student { Name = "A", Grade = "A+" } 才合法——Name 是父类的 required,不能省。
最易被忽略的一点:required 不提供任何运行时反射标记(比如没有 RequiredMemberAttribute 自动附加),所以序列化库、验证框架如 FluentValidation 或 System.ComponentModel.DataAnnotations 都不会自动识别它——你得手动补规则。










