由于签名不同（使用泛型），C#无法实现接口方法

Question

我有一个基本类和两个嵌套类。其中一个嵌套类正在实现一个接口，其中我有一个带有嵌套对象返回类型的方法签名。

这是我得到的：

A 类

using System;

namespace Nested
{
    class A
    {
        public class Item
        {
            //Implementation 
        }

        class B : IInterface
        {
            //
            public Item Get()
            {
                throw new NotImplementedException();
            }
        }
    }
}

A 类接口

namespace Nested
{
    internal interface IInterface
    {
        A.Item Get();
    }
}

---

与泛型相同

B 类

using System;


namespace Nested
{
    class A<T>
    {
        public class Item<T>
        {
            //Implementation 
        }

        class B<T> : IInterface<T>
        {
            //
            public Item<T> Get()
            {
                throw new NotImplementedException();
            }
        }
    }
}

B 类接口

namespace Nested
{
    internal interface IInterface<T>
    {
        A<T>.Item<T> Get();
    }
}

第一个不使用泛型的代码运行良好。与此相比，带有泛型的示例给了我以下错误：

Class1.cs(13,22): error CS0738: 'A<T>.B<T>' does not implement interface member 'IInterface<T>.Get()'. 'A<T>.B<T>.Get()' cannot implement 'IInterface<T>.Get()' because it does not have the matching return type of 'A<T>.Item<T>

为什么说接口使用 A<T>.Item<T> Get(); 和类 public Item<T> Get() 时返回类型不同？有什么想法吗？

编辑：停止将错误代码格式化为块引用，因为部分内容丢失了。这不是我收到的正确信息。

Answer 1

当你有

class A<T>
{
    class B<T> { }
}

您应该（取决于您的设置）获得compiler warning CS0693：

类型参数“T”与外部类型“A”的类型参数同名

这是因为泛型类中的嵌套类会获取外部类的类型参数，例如

class A<T>
{
   class B
   {
       public T Value { get; set; }
   {
}

完全有效 - B 获得与其外部类 A 相同的类型参数，因此可以像定义为非嵌套类 B<T> 一样使用它。

你的代码相当于

class A<T>
{
    class B<U> { }
}

或者说A和B中的类型参数不一样，你没希望满足接口。

如果您忽略该警告（不推荐），可能会做一些可怕的事情：

#pragma warning disable 0693

public class A<T> where T : struct
{
    public class B<T> where T : class
    {
    }
}

#pragma warning restore 0693

如果A<T> 和B<T> 中的T 是相同的类型参数（一个类型不能同时是struct 和class），它就没有希望编译，而是只是非常混乱。

如果在 Visual Studio 中查看，IntelliSense 将显示：

所以A<T> 范围内的T 不与B<T> 范围内的T 相同 - 后者隐藏前者。

事实上，没有什么可以阻止你拥有

var ab = new A<double>.B<Object>();

即使A<T> 和B<T> 的类型参数的名称 都是T。因此编译器警告。

---

我想你想要的是这样的：

class A<T>
{
    public class Item
    {
        //Implementation 
    }

    class B : IInterface<T>
    {
        public Item Get()
        {
            throw new NotImplementedException();
        }
    }
}

internal interface IInterface<T>
{
    A<T>.Item Get();
}

在https://dotnetfiddle.net/nBFVLw查看这个答案的小提琴。

如果您不熟悉嵌套泛型类型的使用，它们可能会违反直觉。

Answer 2

因为A.Item 和A.Item<T> 是不同的类型，而你的接口契约是从Get 方法返回Item 而不是Item<T>。

如果你在定义泛型类时，你也需要泛型接口，非泛型接口方法契约不适用于方法返回泛型类型，所以可能你也需要为泛型类型：

public interface  IInterface<T>
{
   A<T>.Item<T> Get<T>();
}

更新：

你的接口合约指定Get返回A<T>.Item<T>：

A<T>.Item<T> Get();

虽然您的实现类型 B<T> 仅指定返回类型为 Item<T> ：

public Item<T> Get()
{
    throw new NotImplementedException();
}

由于哪个编译器不允许这样做

由于接口指定返回类型为A<T>.Item<T>，所以它也应该是B<T>类中Get方法的返回类型，否则它也会报错，当然A<T>.Item<T>和Item<T>是然后不同，因此更改 B<T> 如下所示修复错误：

    class B<T> : IInterface<T>
    {
        //
        public A<T>.Item<T> Get<T>()
        {
            throw new NotImplementedException();
        }
    }

你可以看到下面的demo fiddle：

https://dotnetfiddle.net/f9Djbz