具有接口类型的泛型对象的接口

本文关键字：对象 接口 泛型 接口类型 | 更新日期: 2023-09-27 18:36:19

我有以下接口：

public interface IObject
{
    double x { get; }
    double y { get; }
    Holder<IObject> Holder { get; set; }
}

和这个类

public class Holder<T> where T : IObject 
{
  private List<T> items; 
  public void AddItem(T item){
     items.Add(item);
     item.Holder = this;
}

但是编译器不喜欢AddItem方法，并且在此行： 

item.Holder = this;

给我这个错误：

Cannot convert source type 'Holder<T>' to target type 'Holder<IObject>'

为什么我不能这样做，对于这种情况，什么是好的解决方案？谢谢

具有接口类型的泛型对象的接口

你必须记住泛型在 C# 中的工作方式，编译器创建一个指定类型的类，因此你出现了错误。

为了解释更多，给出以下示例：

public class InterfaceImplementation : IObject
{
}

然后你做的一些地方：

var genericInitialisation = new Holder<InterfaceImplementation>();
编译器

在编译时将创建一个类HolderInterfaceImplementation替换T泛型参数的所有精度。

所以编译后你会有这个类：

public class HolderInterfaceImplementation
{
  private ListInterfaceImplementation items; 
  public void AddItem(InterfaceImplementation item){
     items.Add(item);
     item.Holder = this;
}

item.Holder将是HolderIObject类型，因此编译器报告一个错误，即无法将HolderInterfaceImplementation转换为HolderIObject这是合乎逻辑的。

在解释了理论之后，解决方案是自然而然的，这里有一个例子：

    public interface IObject<T> where T : IObject<T>
    {
      double x { get; }
      double y { get; }
      Holder<T> Holder { get; set; }
    }

    public class Holder<T> where T : IObject<T>
    {
      public Holder()
      {
        items = new List<T>();
      }
      private List<T> items;
      public void AddItem(T item)
      {
        items.Add(item);
        item.Holder = this;
      }
    }
    public class Implementation : IObject<Implementation>
    {
      public double x
      {
        get { return 0; }
      }
      public double y
      {
        get { return 0; }
      }
      public Holder<Implementation> Holder
      {
        get;
        set;
      }
    }
    static void Main(string[] args)
    {
      var t = new Holder<Implementation>();
      t.AddItem(new Implementation());
      Console.ReadKey();
    }

如果可以转换，那将是一个类型系统漏洞：

public class Holder<T> where T : IObject 
{
  public T SomeField;
}
...
var holder = new Holder<IObjectSubType2>();
Holder<IObject> dummy = holder; //assuming that this works
dummy.SomeField = new IObjectSubType1(); //violates type safety
IObjectSubType2 converted = holder.SomeField;

如您所见，我能够将IObjectSubType1的实例转换为IObjectSubType2。

这就是为什么这不进行类型检查的原因。

相关文章：