C#中如何通过语法防止函数参数原数组被修改并触发编译提示？

你的问题本质是引用类型的共享修改：当你传入organizer.items（一个List<Item>）作为remove参数时，remove和this.items指向同一个集合实例。执行this.items.RemoveWhere时，直接修改了这个共享集合的内容，导致后续使用remove时它已经是空的。

编译时防护方案 #

C#没有原生语法能直接检测到“传入的参数与实例成员指向同一对象”并触发编译警告/错误，但可以通过以下方式在编译层面强化约束，或彻底避免问题：

1. 使用只读集合类型声明参数 #

将参数类型从IEnumerable<Item>改为IReadOnlyCollection<Item>或IReadOnlyList<Item>：

public Package CreatePackage(IReadOnlyCollection<Item> remove) {
    // ...
}

• 这种方式能明确向调用方和维护者传达“此参数为只读，不应被修改”的意图；
• 如果方法内部尝试直接修改参数（比如remove.Clear()），编译器会直接报错；
• 注意：这种方式无法阻止间接修改（比如通过this.items修改同一集合），但能大幅降低误修改的概率。

2. 方法内部立即创建参数副本（彻底解决问题） #

这是你当前使用的ToArray()思路的强化版，通过创建独立副本，彻底隔离原集合的修改：

public Package CreatePackage(IEnumerable<Item> remove) {
    // 立即创建快照副本，后续操作均基于副本
    var removeSnapshot = remove.ToArray();
    this.items.RemoveWhere(i => removeSnapshot.Contains(i));
    // 返回副本，确保Package拿到的是修改前的完整集合
    return new Package(removeSnapshot);
}

• 无论调用方传入的是可变还是不可变集合，副本都不会受原集合修改的影响；
• 这是最可靠的解决方案，能完全避免“参数意外变空”的问题。

3. 自定义Roslyn分析器（进阶） #

如果需要更严格的编译时检查，可以编写自定义Roslyn分析器，检测方法是否存在“修改传入的集合参数”的行为（包括间接修改同一引用的情况）。不过这需要额外的开发和配置，适合大型项目的代码规范约束。

为什么编译器无法直接检测该问题？ #

编译器只能在编译阶段分析代码的静态类型和语法，无法预知运行时的引用关系——它不知道你传入的remove和this.items会指向同一个集合实例，因此无法自动发出警告。

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