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

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

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