在抽象类中嵌套抽象类以及如何实现它

Question

我有一个抽象类A和一个带有参数的抽象方法，该参数也是在同一抽象类A中定义的抽象类B。当我将这个抽象类A扩展为另一个类C的一部分时，我如何使用嵌套抽象类的参数来实现该方法。

public abstract class A<T, V>
{
    public abstract int GetObject(T t, V v);
    public abstract int GetAnotherObject(B b);
    public abstract class B{}
}

该类由另一个C类扩展

public class C: A<ABC, DEF>
{
        public C()
        {
        }
        public override int GetObject(ABC abc, DEF def)
        {
            return 10;
        }
        public override int GetAnotherObject(B b)
        {
            return 15;
        }
}

如何用一些属性实现类B并传入GetAnotherObject方法。有人能帮我吗？

Answer 1

来自ECMA:

嵌套在泛型中的任何类类声明或泛型结构声明（§25.2）本身就是泛型类声明，由于类型包含类型的参数应提供以创建构造类型。

因此，如果不为A提供类型参数，就无法实现嵌套的B。

void Main()
{
    var c = new C();
    var result = c.GetAnotherObject(new BImpl<string, int>());
}
public class BImpl<T, V> : A<T, V>.B
{
    public override int BM()
    {
        return 1;
    }
}
// Or you can supply type arguments right here
//public class BImpl : A<string, int>.B
//{
//  public override int BM()
//  {
//      return 1;
//  }
//}
public abstract class A<T, V>
{
    public abstract int GetObject(T t, V v);
    public abstract int GetAnotherObject(B b);
    public abstract class B
    {
        public abstract int BM();
    }
}
public class C : A<string, int>
{
    public C()
    {
    }
    public override int GetObject(string abc, int def)
    {
        return 10;
    }
    public override int GetAnotherObject(B b)
    {
        return b.BM();
    }
}

Answer 2

您已经非常接近了。

public class C<ABC, DEF> : A<ABC, DEF>
{
    public C()
    {
    }
    public override int GetObject(ABC abc, DEF def)
    {
        return 10;
    }
    // since B is a nested class of A, it has no scope outside of A
    // outside of the definition of A, it must always be referred to as A.B
    public override int GetAnotherObject(A<ABC,DEF>.B b)
    {
        return 15;
    }
}
public class D : A<ABC,DEF>.B
{
    // implementation of A.B
}

请记住，C将始终恰好取A.B。您将永远无法定义A.B的实现（让我们称之为D），并且C的方法签名在重写中引用该方法签名。GetAnotherObject在A中被定义为采用A.B，因此必须实现为接受任何A.B，而不是A.B的某些特定实现。

回复：您对如何在C 中实现A.B的评论

在C中实现A.B是没有意义的。CCD_ 16在其方法签名中将仍然必须具有CCD_。但如果出于某种原因，你真的必须这样做。

public class C<ABC, DEF> : A<ABC, DEF> 
{
    // C's implementation of A
    public override int GetAnotherObject(A<ABC,DEF>.B b)
    {
        return 15;
    }
    public class D : A<ABC,DEF>.B
    {
        // implementation of A.B
    }
}

注意，GetAnotherObject仍然采用A.B，而不是D。

Answer 3

怎么样

public class C<ABC, DEF> : A<ABC, DEF>
{
    public C()
    {
    }
    public override int GetObject(ABC abc, DEF def)
    {
        return 10;
    }
    public override int GetAnotherObject(B b)
    {
        return 15;
    }
}

只需使用泛型对类进行后缀即可。