JAVA泛型设计

Question

我当前的抽象模型不起作用。我不知道为什么以及如何解决它。请参考以下课程。

public class ErrorCaptchaRequired extends AbstractError {

    public String getCaptchaUrl(){
        return this.captchaUrl;
    }
}

public abstract class AbstractError<E extends AbstractError> {

    public E getError(int errorCode){
        if(error_code == 1)
           return new ErrorCaptchaRequired("abc", "abc", "abc");
        if(error_code == 2)
           return new AnotherErrorType();
    }
}


    public class MyObject<E extends AbstractError>{
        private E error;

        public E getAbstractError(){
            return error;
        }

}

以后我想这样使用它：

AbstractError<ErrorCaptchRequired> myError = myObject.getAbstractError();
String captchaUrl = myError.getCaptchaUrl();

返回语句期间的编译错误：Incompatible types 但我不知道为什么，因为我已经参数化了类，因此我可以返回从 AbstractError 扩展的任何类型，ErrorCaptchaRequired 正在扩展它。你能建议一个修复或更好的设计吗？谢谢你的帮助！

Answer 1

问题在于原始（无类型）类型。原始类型从它们中剥离了所有通用信息 - 因此没有类型匹配。

AbstractError 的类型本身是原始的：更改：

public abstract class AbstractError<E extends AbstractError> {

到

public abstract class AbstractError<E extends AbstractError<E>> {

接下来，ErrorCaptchaRequired 扩展了AbstractError 的原始（无类型）形式，因此ErrorCaptchaRequired 的每个实例都是原始的。

变化：

public class ErrorCaptchaRequired extends AbstractError {

收件人：

public class ErrorCaptchaRequired<E extends AbstractError<E>> extends AbstractError<E> {

然后改变：

public class MyObject<E extends AbstractError>{

收件人：

public class MyObject<E extends AbstractError<E>>{