关于 `public required string Name { get; init; }`，哪项说法正确？

关于 `public required string Name { get; init; }`，哪项说法正确？

1. 普通 C# 创建代码必须给 Name 赋值，构造结束后普通赋值会被拒绝，但运行时空值验证仍是另一回事。
2. 运行时保证 Name 永远不为 null。
3. 声明类型永远不能修改 Name 引用的任何对象。
4. 每个构造函数体都会被验证已给 Name 赋值。