C#6引入了在没有setter的情况下初始化属性的功能,因此现在可以使用这种语法
public class MyClass { public int Answer { get; } = 42; }
甚至这个
public class MyClass { public int Answer { get; } public MyClass() { Answer = 42; } }
我知道(或者更确切地说,强烈假设)这将被转换为readonly
带有CIL中存取方法的生成字段,所以我理解这是怎么回事
public class MyClass { public int Answer { get; } public MyClass CreateMyClassInstance() { return new MyClass() { Answer = 42 }; } }
不编译(因为赋值技术上发生在构造函数之外,这与支持readonly
字段施加的限制冲突).
我的问题是为什么首先禁止这种行为?从语法和/或编译的角度来看,为什么属性赋值是属于对象初始值设定项的一部分的属性赋值,而不仅仅被视为在其后执行的额外内联逻辑,但仍然在对象的构造函数中?是设计,技术限制或向后兼容的结果,还是仅仅是一个不够重要的变化?
为什么首先禁止这种行为?
允许从对象初始化程序分配只读属性会破坏封装.在构造函数中完成的任何初始化都可以稍后由对象初始值设定项中的客户端代码覆盖.类不可能保持不变量.
这样的功能不仅没有必要,而且很危险.
从语法和/或编译的角度来看,为什么属性赋值是属于对象初始值设定项的一部分的属性赋值,而不仅仅被视为在其后执行的额外内联逻辑,但仍然在对象的构造函数中?
这意味着对于每个对象初始化程序,编译器必须生成新的构造函数.可能修改和破坏另一个组件的类型.
或者,newobj
必须修改CIL指令以允许在构造函数之后执行某些任意代码.