使用具体类型覆盖通用方法（类型参数 * 隐藏类 *）

Question

我想覆盖派生类中的泛型方法。问题是我想要一个具体的类型参数实现：

namespace Stumped
{
    public class Generic<T> where T : new()
    {
        public virtual T Foo()
        {
            return new T();
        }

        public virtual TAnother GenericMethod<TAnother>() where TAnother : new()
        {
            return new TAnother();
        }
    }

    public class Concrete : Generic<Inner1>
    {
        // Concrete return type. Works as expected.
        public override Inner1 Foo()
        {
            return base.Foo();
        }

        // Why doesn't this make sense? Shows 'Type parameter "Inner2" hides class "Inner2"'.
        public override Inner2 GenericMethod<Inner2>()
        {
            return base.GenericMethod<Inner2>();
        }
    }

    public class Inner1 { }

    public class Inner2 { }
}

如前所述，编译器告诉我：

类型参数“Inner”隐藏类“Inner”

我希望我的实现能够正常工作，而不必在这个派生类中使用另一个泛型参数。

为什么这没有意义？

Answer 1

你根本做不到。

重写方法不能更改方法接口的任何部分。因为GenericMethod<OtherClass>()对基类有效，所以对派生类也必须有效。

这称为Liskov substitution principle 。

当编译器警告你时，你实际上只是声明了一个与你的类同名的普通类型参数。