3

早些时候，IComparable<T>Jon Skeet 向我提供了一个泛型接口中逆变的具体示例。然而，这又引发了另一个问题。为什么通用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;
        }
    }
}
4

1 回答 1

5

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

Foo另一方面，将 aIComparable<T>作为参数，因此您知道它实现了IComparable<T>.

于 2012-08-09T15:46:52.387 回答