为何调用ResetToDefaults时非可空string数组无CS8620警告？

给定以下C#扩展方法：

public static void ResetToDefaults<T>(this IList<T?> source) {
    for (int i = 0; i < source.Count; i++) {
        source[i] = default;
    }
}

在启用可空上下文的环境中，执行以下代码时，仅stringList.ResetToDefaults()触发CS8620警告，而非可空的stringArray调用该方法却无警告：

List<string> stringList = new List<string> { "aaa", "bbb", "ccc" };
List<string?> stringListNull = new List<string?> { "aaa", "bbb", "ccc" };
string[] stringArray = new string[] { "aaa", "bbb", "ccc" };
string?[] stringArrayNull = new string?[] { "aaa", "bbb", "ccc" };

stringList.ResetToDefaults(); // 产生CS8620警告
stringListNull.ResetToDefaults();
stringArray.ResetToDefaults(); // 无警告
stringArrayNull.ResetToDefaults();

下面拆解核心原因：

1. 数组与泛型列表的可空检查规则差异 #

数组的宽松兼容逻辑 #

C#数组支持引用类型协变，且针对可空引用类型的检查规则比泛型容器宽松。当你将string[]（非可空元素数组）当作IList<string?>使用时，编译器不会触发CS8620警告——这是为了兼容旧代码的历史设计：在可空引用类型特性出现前，数组就允许协变转换（比如string[]转object[]），即使存在类型安全风险。编译器延续了这种宽松性，避免大量旧代码被标记为警告。

泛型列表的严格可空约束 #

List<string>实现的是IList<string>，而IList<T>是不变泛型接口，IList<string>和IList<string?>属于完全不同的接口类型，不存在合法的隐式转换。当你试图把List<string>传给期望IList<T?>的方法时，编译器会严格检查：方法内部会给元素赋值null（default(string)就是null），这直接违反了List<string>的非可空元素约束，因此触发CS8620警告，提示可空性不匹配。

2. 运行时的实际风险 #

虽然编译器没给stringArray的调用加警告，但执行该方法后，数组的所有元素都会被设为null——这违背了string[]的非可空声明，后续使用数组元素时可能触发CS8602（可能的空引用访问）警告。这说明编译器的警告缺失是历史兼容的妥协，而非逻辑上的合理设计。

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