通用接口中的协变

我想创建一个可排序的 observableCollection 所以我开始创建一个继承 observable 的类，并使用一些方法对其进行排序，然后我希望该类将索引保留到子类中，因此我创建了一个接口，该接口公开了我可以写入的索引属性，并且我约束了 T我的集合类是我的接口的，然后我希望能够从每个项目访问parentCollection，这里问题开始了，因为父集合的类型是通用的...... 我已经尝试了很多解决方案，我认为协方差或不变性是方法，但我无法让它工作......

using System;
using System.Collections.Generic;
using System.Linq;
using System.Text;
using System.Threading.Tasks;

namespace ClassLibrary1
{
    public class SortableCollection<T> : System.Collections.ObjectModel.ObservableCollection<T>, ISortableCollection<T> where T : ISortable<T>
    {
        public void Sort()
        {
            //We all know how to sort something
            throw new NotImplementedException();
        }

        protected override void InsertItem(int index, T item)
        {
            item.Index = index;
            item.ParentCollection = this;
            base.InsertItem(index, item);
        }
    }

    public interface ISortableCollection<T> : IList<T>
    {
        void Sort();
    }

    public interface ISortable<T>
    {
        Int32 Index { get; set; }
        ISortableCollection<T> ParentCollection { get; set; }
    }

    public class BaseClass : ISortable<BaseClass>
    {
        public int Index { get; set; }

        public ISortableCollection<BaseClass> ParentCollection { get; set; }
    }

    public class DerivedClass : BaseClass { }

    public class Controller
    {
        SortableCollection<BaseClass> MyBaseSortableList = new SortableCollection<BaseClass>();
        SortableCollection<DerivedClass> MyDerivedSortableList = new SortableCollection<DerivedClass>();

        public Controller()
        {
            //do things
        }
    }
}

这或多或少是设置。 我希望能够创建一个SortableCollection<DerivedClass>但类型不匹配...这是正确的方法吗？

确切的错误是

错误 1 ​​类型“ClassLibrary1.DerivedClass”不能用作泛型类型或方法中的类型参数“T”'ClassLibrary1.SortableCollection<T>'。没有从“ClassLibrary1.DerivedClass”到“ClassLibrary1.DerivedClass”的隐式引用转换'ClassLibrary1.ISortable<ClassLibrary1.DerivedClass>'。 c:\users\luigi.trabacchin\documents\visual studio 2013\Projects\ClassLibrary1\ClassLibrary1\Class1.cs 48 89 ClassLibrary1

问题是你的限制T is "T需要是一个I<T>“，并且您已经通过了DerivedClass for T, but DerivedClass不可转换为I<DerivedClass>，它可以转换为I<BaseClass>.

我不知道你想用这个约束来表示什么T be an I<T>。我确实知道人们经常使用此模式来尝试表示 C# 类型系统实际上并未实现的约束。有关详细信息，请参阅我关于该主题的文章：

http://blogs.msdn.com/b/ericlippert/archive/2011/02/03/curiouser-and-curiouser.aspx

我鼓励你大大简化事情；您似乎试图在类型系统中捕获太多内容。

之所以I<D>不可转换为I<B>是因为为了使方差发挥作用，接口必须标记为支持方差；标记T with out or in取决于您想要协变还是逆变。

然而，自从IList<T>是不变的，使派生接口协变或逆变是不合法的。考虑IEnumerable<T>相反，因为它是协变的T.

为了使接口具有协变性T它只需要使用T in output职位。List<T> uses T在输入和输出位置，因此它不能是协变或逆变的。