发现eclipse3.1的大bug

 

今天发现一个eclipse的bug，关于继承的，代码是正确的，可是eclipse抛出了错误，代码如下，共有四个类

public   interface  BaseService  ... {}
public   interface  UserService  extends  BaseService  ... {}
public   abstract   class  BaseAction  ... {
    protected abstract BaseService getService();
}
public   class  UserAction  extends  BaseAction ... {
    protected UserService getService() ...{
        return null;
    }
}

 

最后在eclipse中错误如下：

UserAction.java:The return type is incompatible with BaseAction.getService()

总结：这是关于继承的问题，子类覆盖了父类的方法，并且修改了方法返回值得类型，但是返回值是父类方法返回值类型的子类型，我们都知道这在java中是可以这样重载方法的，而且我也在命令行下编译了这段代码，证明是可以这样使用的。

 注意:上文中eclipse的版本是3.1