咨询.NET中无突变方法的内置不可变集合（列表/集类型）

需求说明 #

• 需要列表/数组类型和集/哈希集类型的严格不可变集合，实例化后无法添加、删除、重排元素（不关心元素顺序）
• 核心要求：不能保留看似可用但行为不符的突变方法，或调用突变方法直接抛出异常，避免隐性bug

现有.NET集合的问题 #

ImmutableXXX系列 #

• 保留了Add等突变方法，调用后不会修改当前实例，而是返回新集合副本，极易引发误解
• 示例场景：

class Class
{
   public ImmutableList<string> Students { get; init; }
}

开发者可能执行Programming101.Students.Add("fred");，代码能正常运行但完全达不到预期效果，在将类重构为不可变类时，这类问题的影响尤为突出

• 缺少集/哈希集的对应变体

FrozenXXX系列 #

• FrozenSet符合集类型需求：调用Add等方法会直接抛出异常（仅为满足ICollection接口实现）
• 但仅包含Set和Dictionary类型，没有对应的列表/数组类型

IReadOnlyXXX接口 #

• 以IReadOnlyList为例：若用List<string>初始化属性，外部保留该列表的引用后可直接修改，会破坏类的不可变性
• 若要避免此问题，必须在类内部构造集合，初始化时需复制现有集合，无法利用不可变对象可直接引用的优势

核心疑问 #

是否存在功能等价于ImmutableXXX系列，但无突变方法或调用突变方法会抛出异常的列表/数组类型内置集合？

内容的提问来源于stack exchange，提问作者matt