今天发现一个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
//2007-5
现在发现这个是java5的新特性之一，标准术语是：Covariant Return Types（可协变的返回类型，按照core java中的中文译法，具体参见core java 7ed中的说明，中文版5.1.3小节【动态绑定】），所以上面文章的内容也是不妥的，这个问题与eclipse没有直接关系。