为何C#中Dictionary<string, object>不是IDictionary<object, object>？

这个问题戳中了C#泛型里一个很关键的细节——泛型接口的可变性。咱们一步一步拆解清楚：

首先，核心原因是**IDictionary<TKey, TValue>是一个「不变（Invariant）」的泛型接口**，它既不支持协变，也不支持逆变。

先搞懂泛型的三种可变性 #

简单来说：

• 协变（Covariance）：允许把子类类型的泛型实例赋值给父类类型的泛型变量，比如IEnumerable<string>可以转成IEnumerable<object>。这是因为IEnumerable<out T>用out标记了T，表示这个类型参数只会作为返回值输出，不会作为方法参数输入，类型安全有保障。
• 逆变（Contravariance）：反过来，允许把父类类型的泛型实例赋值给子类类型的泛型变量，比如IComparer<object>可以转成IComparer<string>。因为IComparer<in T>用in标记了T，表示这个类型参数只会作为方法参数输入，不会作为返回值输出。
• 不变（Invariant）：以上两种转换都不允许，IDictionary<TKey, TValue>就是这种情况——它的TKey和TValue既没有in也没有out修饰符，所以哪怕string是object的子类，IDictionary<string, object>和IDictionary<object, object>也被视为完全不兼容的类型。

为什么C#要做这种限制？ #

本质是为了类型安全。假设允许把Dictionary<string, object>当成IDictionary<object, object>来用，你完全可能写出这样的代码：

var dic = new Dictionary<string, object>();
var objDic = dic as IDictionary<object, object>;
objDic.Add(123, "这是一个int类型的键"); // 编译时没问题，但运行时直接炸！

原来的Dictionary<string, object>只接受string类型的键，可如果通过IDictionary<object, object>的接口往里面加int类型的键，就会直接抛出类型转换异常。C#在编译阶段就禁止这种可能破坏类型安全的转换，所以dic is IDictionary<object, object>返回false。

那dynamic的情况怎么解释？ #

代码里dic is IDictionary<dynamic, dynamic>返回false也很好理解：dynamic是编译时的动态类型标记，到了运行时还是会检查实际的泛型参数是否匹配。你的字典实际是Dictionary<string, object>，它的泛型参数是string和object，和dynamic并不相等，所以运行时判定不兼容。

最后总结一下 #

• IDictionary<TKey, TValue>是不变泛型接口，不支持父子类型参数的跨类型转换
• 只有标记了out（协变）或in（逆变）的泛型接口，才能在类型参数是父子关系时进行兼容转换
• 这种设计是为了从根源上避免类型安全问题，防止把错误类型的数据塞进原本有类型限制的集合里

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