关于.NET中接口继承的问题

Question

我们以接口IQueryable<T>为例：

public interface IQueryable<T> : IQueryable, IEnumerable;

因为 IQueryable 又实现了 IEnumerable：

public interface IQueryable : IEnumerable;

为什么在第一个声明中，IQueryable 也必须显式实现 IEnumerable？这与不必显式从“祖父母”继承的类继承不同？

Answer 1

在声明中提及祖父母（和更高的祖先）不是绝对必要的，但是因为作为接口的父母实际上并没有实现祖父母，最好在孙子女的声明中提及祖父母为最终实施者改进文档。

这就是为什么，在祖先的具体实现的情况下，您会在MSDN 中看到以下内容：

public class Button : ButtonBase,IButtonControl

而不是下面的……

public class Button : ButtonBase,Control,Component,MarshalByRefObject,Object

Answer 2

这不是真的。我怀疑您在 Visual Studio 中右键单击这些类/接口并单击“转到定义”，这就是 元数据 告诉您的内容。如果你想真正了解发生了什么，这里有一个例子：

    public interface IAddTwo
    {
        int AddTwo(int x);
    }

    public interface IAddTwoOrThree : IAddTwo
    {
        int AddThree(int y);
    }

    public class AddTwoOrThree : IAddTwoOrThree
    {
        public int AddTwo(int q)
        {
            return q + 2;
        }

        public int AddThree(int z)
        {
            return z + 3;
        }
    }

请注意，最后一个类只需要实现一个接口（但如果您不使用任何一种方法，则会出现编译器错误。

将上述创建为类库，通过 BROWSING 添加对生成的 DLL 的引用（而不是通过添加对项目的引用），并查看 AddTwoOrThree 的元数据。你会看到

AddTwoOrThree : IAddTwoOrThree, IAddTwo

维奥拉！这就是为什么您会看到您在 MSDN 上看到的内容。他们显示元数据，而不是他们的编码人员编写代码的方式。

Answer 3

因为接口继承是纯粹的语言糖。编译到 IL 时，接口显式实现了链中的所有接口，因此查看 IQueryable<T> 的签名最终看起来像

.class public interface abstract auto ansi IQueryable<+ T>
    implements [mscorlib]System.Collections.Generic.IEnumerable`1<!T>, System.Linq.IQueryable, [mscorlib]System.Collections.IEnumerable
{
}

而且由于大多数文档是从元数据而不是原始源代码自动生成的，因此它最终会显示签名，因为它直接实现了所有接口，而不是通过继承。基本上就是这样。您可以利用继承的唯一原因是编译器最终会为您创建正确的签名，显式地连接所有接口。

Answer 4

正确的定义是：

public interface IQueryable<out T> : IEnumerable<T>, IQueryable { }

以下内容取自 Microsoft 的 Source RTMRel\ndp\fx\src\Core\System\Linq\IQueryable.cs\1305376\IQueryable.cs

    public interface IQueryable : IEnumerable {
        Expression Expression { get; } 
        Type ElementType { get; } 

        // the provider that created this query 
        IQueryProvider Provider { get; }
    }

#if SILVERLIGHT 
    public interface IQueryable<T> : IEnumerable<T>, IQueryable {
#else 
    public interface IQueryable<out T> : IEnumerable<T>, IQueryable { 
#endif
    } 

    public interface IQueryProvider{
        IQueryable CreateQuery(Expression expression);
        IQueryable<TElement> CreateQuery<TElement>(Expression expression); 

        object Execute(Expression expression); 

        TResult Execute<TResult>(Expression expression);
    } 

    public interface IOrderedQueryable : IQueryable {
    }

#if SILVERLIGHT
    public interface IOrderedQueryable<T> : IQueryable<T>, IOrderedQueryable { 
#else 
    public interface IOrderedQueryable<out T> : IQueryable<T>, IOrderedQueryable {
#endif 
    }