为何向可空参数传入非可空对象会触发C#编译警告？

这个问题可不是编译器Bug哦，它是C# 8.0引入可空引用类型后，针对可变泛型类型的安全检查机制，核心是帮你规避潜在的空引用风险。我来给你拆解清楚：

关键矛盾：可变集合的可变性风险 #

你可能会觉得“非可空类型肯定能兼容可空类型啊”，但这里的核心是IDictionary<TKey, TValue>是可变集合——它允许你修改里面的元素，这就打破了“非可空转可空”的安全假设：

假设我们在Test方法里加一行代码：

private void Test(IDictionary<string, object?> nullable) 
{
    // 对于IDictionary<string, object?>来说，这完全合法
    nullable.Add("riskyKey", null);
}

而你传入的notNullable是一个Dictionary<string, object>——它的Value被注解为绝对不能为null。当Test方法往里面塞了null之后，后续任何访问notNullable["riskyKey"]的代码，都会因为预期非可空实际却为null而抛出NullReferenceException，这就违背了可空引用类型系统的初衷（提前规避空引用）。

编译器的底层逻辑：泛型可变性规则 #

C#里的泛型类型根据可变性分为三类：

• 协变：比如IEnumerable<T>，只读场景下IEnumerable<object>可以安全转IEnumerable<object?>，因为只会读取不会修改
• 逆变：比如Action<T>，Action<object?>可以转Action<object>，因为输入范围更大
• 不变：像IDictionary<TKey, TValue>这种可变集合，TValue是不变的——不管是object转object?还是反过来，都不允许隐式转换，因为任何一方的修改都可能破坏另一方的类型安全

编译器正是基于这个规则抛出警告：它发现你在把一个“不允许存null的字典”传给一个“允许存null的字典参数”，存在被注入null的风险。

解决方式（从安全到妥协） #

• 最安全：改用只读集合
  如果Test方法只需要读取字典不需要修改，把参数改成IReadOnlyDictionary<string, object?>就可以了：

  private void Test(IReadOnlyDictionary<string, object?> nullable) { }
  

  因为IReadOnlyDictionary<TKey, TValue>的TValue是协变的，非可空转可空完全安全，编译器不会再警告。

• 明确允许存null：修改字典声明
  如果确实需要在Test里修改字典，那一开始就把notNullable声明为可空Value类型：

  IDictionary<string, object?> notNullable = new Dictionary<string, object>();
  

  这样编译器就知道这个字典允许存null，自然不会有警告。

• 妥协方案：空包容运算符
  就像你提到的，加!告诉编译器“我清楚风险，我会自己处理”：

  Test(notNullable!);
  

  但这种方式会跳过编译器的安全检查，建议只在你能100%保证Test方法不会往字典里加null时使用。

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