在Java中重写抽象泛型方法
问题大纲 我正在泛化当前项目基础的更好部分，我有一个想法，我决定测试覆盖抽象方法。以下是我的Java测试类：在Java中重写抽象泛型方法,java,generics,abstract,overriding,Java,Generics,Abstract,Overriding,问题大纲 我正在泛化当前项目基础的更好部分，我有一个想法，我决定测试覆盖抽象方法。以下是我的Java测试类： public abstract class Base { public abstract <T extends Base> T test(); } 第二次执行： public class Inheritor extends Base { @Override public Inheritor test() { return nul
public abstract class Base {
public abstract <T extends Base> T test();
}
public class Inheritor extends Base {
@Override
public Inheritor test() {
return null;
}
}
public class Inheritor2 extends Base {
@Override
public <T extends Base> T test() {
return null;
}
}
公共类继承器2扩展了基{
@凌驾
公共T检验（）{
返回null；
}
}
InheritorInheritorInheritor2Base这在C#中可能吗？这位同事的划痕测试在编译时似乎失败了。那么，泛型抽象方法重写的方法是否有所不同 我可以告诉你为什么它会起作用- 要问的问题是，如果将Base替换为Inheritor或Inheritor2，是否所有的使用者都会继续工作而不会产生负面后果？如果他们希望从
testBase public abstract class Base<Type>
where Type : Base<Type>
{
public abstract Type test();
}
public class Inheritor:Base<Inheritor>
{
public override Inheritor test()
{
return null;
}
}
public class Inheritor2<Type> : Base<Type>
where Type : Base<Type>
{
public override Type test()
{
return default(Type);
}
}
公共抽象类基类
其中类型：Base
{
公共抽象类型测试（）；
}
公共类继承器：基
{
公共重写继承器测试（）
{
返回null；
}
}
公共类继承器2：基
其中类型：Base
{
公共重写类型测试（）
{
返回默认值（类型）；
}
}
CmCCAmA
是A
的超类C
不继承CmA
的签名是mC
签名的子签名（§8.4.2）mA- 以下情况之一是正确的：
是mApublic- [……]
ABaseCInheritorBase#test（）mAInheritor#test（）mCmCmAmApublic abstract Base test()
mCpublic Inheritor test()
R2d2d1d2返回类型substitutable
可以通过未经检查的转换（§5.1.9）转换为R1
的子类型R2
InheritorT通过未经检查的转换扩展Base未经检查的转换的危险将允许您这样做
class Inheritor extends Base {
@Override
public Inheritor test() {
return new Inheritor();
}
}
Base ref = new Inheritor();
Inheritor2 wrong = ref.<Inheritor2>test();
Base ref=new Inheritor（）；
继承人2错误=参考测试（）；
这将在运行时导致
ClassCastException