实现 .Net 接口 (C#)

Question

可能是一个简单的问题。

我有一个接口 (MyInterface)，它定义了如下属性：

IList<IMenuItem> MenuCollection { get; }

以及实现 MyInterface 的类

public class MyClass : MyInterface
{
    public ObservableCollection<MenuItemBase> MenuCollection 
    {
       get
       {
           ...
       }
    }
    ....
}

根据我的阅读，ObservableCollection 继承自作为 IList 的 Collection，并且我有实现 IMenuItem 的 MenuItemBase 类 - 这不满足接口吗？

我想接口必须显式实现？

我也试过这个：

public class MyClass : MyInterface
{
    public IList<IMenuItem> MenuCollection MenuCollection 
    {
       get
       {
           if(_menuCollection == null)
              _menuCollection = new ObservableCollection<MenuItemBase>();
           return _menuCollection as IList<IMenuItem>;
       }
    }
    private ObservableCollection<MenuItemBase> _menuCollection;
}

似乎是一种解决方法 hack（我确实遇到了一些问题，说 MenuCollection 没有被实例化）来满足接口......有没有更好的方法来实现 IInterface1<IInterface2> 对象？

我需要这种抽象的原因是因为我正在构建一个 prism / unity 应用程序，并且希望尽可能地将菜单视图模型与显示菜单的功能区 ui 分离。

Answer 1

乔恩是正确的；这与通用方差无关。但是，他没有提到您想要的功能称为return type covariance。

也就是说，如果 Animal 是 Giraffe 的基本类型，则返回 Animal 的接口方法或返回 Animal 的虚拟方法可以由返回 Giraffe 的方法实现/特化。由于每只长颈鹿都是动物，因此合同已履行。

C# 不支持返回类型协方差；就此而言，CLR 也没有。一些语言支持返回类型协方差；例如，我想到了 C++。 （C++/CLI 实现做了一些偷偷摸摸的技巧来解决 CLR 的限制。）实现的接口方法的返回类型、属性的类型等等，都必须完全匹配在 C# 中。

Answer 2

这与泛型差异无关

关于通用方差的答案有很多。这与示例无关。如果您尝试使用ArrayList（无泛型）实现定义为IList 的属性，您会发现仍然无法这样做。

正确答案

这种行为是因为如果您可以将MenuCollection 实现为实现IList<T> 的某种类型的属性（或从它派生，如果它未指定为接口），那么这是可能的：

public interface MyInterface
{
    IList<IMenuItem> MenuCollection { get; set }
}

public class MyClass : MyInterface
{
    // WARNING: Does not count as implementing the interface -- with good reason
    public ObservableCollection<MenuItemBase> MenuCollection { get; set; }
}

var myClass = new MyClass();
var classAsInterface = (MyInterface) myClass; // This is OK of course

classAsInterface.MenuCollection = new List<MenuItemBase>(); // OOPS!!

在最后一行中，您已将List<MenuItemBase>（就MyInterface 可以判断，因为MyInterface.MenuCollection 属于IList<MenuItemBase> 类型）分配给ObservableCollection<MenuItemBase> 类型的属性。

当然，这样做是不合法的，因为List<MenuItemBase> 显然不是源自ObservableCollection<MenuItemBase>。但是，如果您可以实现这样的接口，那将是可能的。

Answer 3

List<T> 和 IList<T> 不支持协方差。

看到这个问题：Question about C# covariance