Question

在阅读了很多关于C＃的不变性并且理解它的好处（没有副作用，安全字典键，多线程......）后，我想到了一个问题：

为什么C＃中没有关键字断言类（或结构）是不可变的？此关键字应在编译时检查您是否无法改变类（或结构）。例如：

public immutable class MyImmutableClass
{
    public readonly string field;

    public string field2; //This would be a compile time error

    public readonly AnyMutableType field3; //This would be a compile time error


    public string Prop { get; }

    public string Prop2 { get; set; } //This would be a compile time error

    public AnyMutableType Prop3 { get; } //This would be a compile time error
}

我认为编译器的工作非常简单，因为它需要检查一些事情：

所有公共字段均为只读。
所有公共场所只有吸气剂。
所有公共字段或属性也具有不可变类型（简单值类型或不可变类/结构）。
所有公共函数或公共属性getter仅依赖于不可变字段或属性（如前所述的公共字段/ props，或符合相同限制的私有字段/ props）。这当然包括Equals（），GetHashCode（）和ToString（）。

这种设计让我想到了一些可能的问题：

为了使编译器知道编译的类/结构是不可变的，可能需要在中间语言中进行更改。
只读通用集合（例如IEnumerable<T>）不变性将取决于类型<T>的不变性。建议的immutable关键字在此上下文中没有用，因为您无法声明IEnumerable<string>是不可变的，即使它是。

此关键字之前是否存在足够的原因？我错过了任何其他缺点吗？这对语言的这种重大变化来说还不够吗？

Answer 1

简短版本将是：因为没有人提出，规范，设计，实施，测试，记录，翻译和支持该功能。

较长的版本与为什么有关，因为它可以通过readonly字段间接实现 - 它会添加什么好处。

对于课程，结果是相对次要。请注意，可以使用[ImmutableObject(true)]属性，但没有任何功能或框架真正有用，所以......没有人使用它。

是一个添加＆＃34; readonly structs＆＃34;在C＃的未来版本中（与ref本地人，Span<T>等相关） - 但是：它死了并且消失了。但是，ref readonly内容依然存在，这是为了防止在this实例方法中重新分配struct。

保证c＃的不变性

1 个答案: