Question

早些时候，我在Jon Skeet的通用IComparable<T>界面中提供了一个具体的逆变例子。然而，这又产生了另一个问题。为什么通用List<T>.Sort()方法不能推断出相同的信息？

我在这里提供了引用的示例作为static Foo<T>()方法。您会发现此方法可以推断T的类型并调用CompareTo(Circle)。另一方面，List<ICircle>.Sort()无法推断T的类型，因此调用CompareTo(Object)。

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;
        }
    }
}

Answer 1

该列表是ICircle的列表，而不是Circle的列表。 ICircle未实现IComparable<Circle>或IComparable<ICircle>（或任何其他IComparable接口。您放入列表的所有项目都会实现IComparer<Circle>并且为Circle s，但您可以轻松地将项目放入已实施的ICircle中，并且根本不会实现IComparable个接口。

另一方面，

Foo会将IComparable<T>作为参数，因此您知道它实现了IComparable<T>。

为什么List <ishape> .Sort（）调用CompareTo（Object）而不是CompareTo（Shape）？</ishape>

1 个答案: