C# 为什么列表<；IShape>；。Sort（）调用CompareTo（对象）而不是CompareTo（形状）？

早些时候，Jon Skeet为我提供了一个通用

IComparable

接口中的逆变的具体示例。然而，这产生了另一个问题。为什么泛型

List.Sort（）

方法不能推断相同的信息

我在这里提供了引用的示例作为

static Foo（）

方法。您将看到此方法能够推断

T

的类型，并调用

CompareTo（Circle）

<另一方面，code>List.Sort（）无法推断

T

的类型，因此调用

CompareTo（Object）

使用系统；
使用System.Collections.Generic；
命名空间可测试
{
公开课考试
{
公共静态void Main（）
{
列表圈=新列表（）；
圆。添加（新圆（））；
圆。添加（新圆（））；
圆。排序（）；
Foo（new Circle（），new Circle（））；
}
公共静态void Foo（i可比较a，tb），其中T:ICircle
{
a、 比较（b）；
}
}
公共接口ICircle
{
}
公众阶级圈子：
可比的，可比的
{
公共Int32比较对象（对象其他）
{
WriteLine（“称为CompareTo（Object）”；
返回0；
}
公共Int32比较（圈出其他）
{
控制台。WriteLine（“称为CompareTo（圆圈）”；
返回0；
}
}
}

该列表是一个包含

ICircle

的列表，而不是一个包含

圆圈的列表
ICircle
不实现
IComparable
或
IComparable
（或任何其他
IComparable
接口。您放入列表中的所有项目都碰巧实现了
icomparaer
，并且是
Circle
s，但是您可以轻松地将项目放入已实现的
icrcle
接口中，而根本没有实现
IComparable
接口

另一方面，
Foo
将一个
IComparable
作为参数，因此您知道它实现了
IComparable
服务，看起来像List.Sort（）在幕后也采用了IComparable/IComparable。嗯，我现在想知道这是否与where子句是一个限制而不是一个必需的类型有关。这意味着这个示例可能实际上没有证明相反。
using System;
using System.Collections.Generic;

namespace Testable
{
    public class Test
    {
        public static void Main()
        {
            List<ICircle> circles = new List<ICircle>();

            circles.Add(new Circle());
            circles.Add(new Circle());

            circles.Sort();

            Foo(new Circle(), new Circle());
        }

        public static void Foo<T>(IComparable<T> a, T b) where T : ICircle
        {
            a.CompareTo(b);
        }
    }

    public interface ICircle
    {
    }

    public class Circle :
    IComparable, IComparable<Circle>, ICircle
    {
        public Int32 CompareTo(Object other)
        {
            Console.WriteLine("Called CompareTo(Object)");
            return 0;
        }

        public Int32 CompareTo(Circle other)
        {
            Console.WriteLine("Called CompareTo(Circle)");
            return 0;
        }
    }
}