在C#中解决方法重载的优先规则是什么？

Question

我正在编写一个序列化程序,我希望广泛使用方法重载,序列化派生类型的对象IEnumerable<T>,IDictionary<K,V>等等.

我还打算使用dynamic关键字让C​​LR根据要序列化的对象的运行时类型选择正确的重载.

看看这段代码:

void Serialize<TKey, TValue>(IDictionary<TKey, TValue> dictionary)
{
  Console.WriteLine("IDictionary<TKey, TValue>");
}

void Serialize<TKey, TValue>(IEnumerable<KeyValuePair<TKey, TValue>> items)
{
  Console.WriteLine("IEnumerable<KeyValuePair<TKey, TValue>>");
}

void Serialize<T>(IEnumerable<T> items)
{
  Console.WriteLine("IEnumerable<T>");
}

我想这样做:

void CallSerialize(object obj)
{
   Serialize(obj as dynamic); //let the CLR resolve it at runtime.
}

现在基于运行时类型obj,将调用正确的重载.例如,

//Test code
CallSerialize(new List<int>()); //prints IEnumerable<T>

在这种情况下,调用第三个重载并且基本原理非常简单:这只是可行的选项.

但是,如果我这样做:

CallSerialize(new Dictionary<int,int>()); //prints IDictionary<TKey, TValue>

它调用第一个重载.我不太明白这一点.当所有三个过载都是可行的选项时,为什么它会解决第一个过载？

实际上,如果我删除第一个,则调用第二个重载,如果我删除第一个和第二个重载,则调用第三个重载.

解决方法重载的优先顺序是什么？

Answer 1

解决方法重载的规则将尝试选择具有最特定类型匹配的方法头.在这里你可以阅读更多有关重载决策的内容,在这里我认为是你的情况.

来自MSDN:

给定一个参数列表A,其中包含一组参数类型{A1,A2,...,AN}和两个适用的函数成员MP和MQ,参数类型为{P1,P2,...,PN}和{Q1,Q2, ...,QN},MP被定义为比MQ更好的函数成员if

• 对于每个参数,从AX到PX的隐式转换并不比从AX到QX的隐式转换更糟糕

• 对于至少一个参数,从AX到PX的转换优于从> AX到QX的转换.

执行此评估时,如果MP或MQ适用于其扩展形式,则PX或QX引用参数列表的扩展形式中的参数.