子类重写的方法的返回类型必须与父类中被重写的方法的返回类型完全相同

Java 不允许方法的协变返回类型,这意味着子类重写的方法不能返回父类方法返回类型的任何子类型。

正确的规则是:

  • **返回类型必须相同**:子类重写的方法的返回类型必须与父类中被重写的方法的返回类型完全一致。

示例:

```java

class Parent {

public String getName() {

return "Parent's name";

}

}

// 正确的重写

class Child extends Parent {

@Override

public String getName() {

return "Child's name";

}

}

// 错误的重写,编译错误

class IncorrectChild extends Parent {

@Override

public Object getName() { // 错误:返回类型不匹配

return "Child's name";

}

}

```

在上面的例子中,`Child` 类正确地重写了 `Parent` 类的 `getName` 方法,因为它有相同的返回类型 `String`。而 `IncorrectChild` 类尝试使用 `Object` 类型重写 `getName` 方法,这会导致编译错误,因为返回类型不匹配。

协变返回类型:

协变返回类型是 Java 泛型中的一个特性,它允许在泛型方法中根据调用方法的实例的具体类型来确定返回值的类型。这是通过使用 `? extends` 通配符来实现的,而不是通过方法重写。

示例(协变返回类型):

```java

class GenericParent<T> {

public T get() {

return null;

}

}

class Child extends GenericParent<String> {

@Override

public String get() {

return "Child's name";

}

}

```

在这个例子中,`GenericParent` 是一个泛型类,`Child` 类继承自 `GenericParent` 并指定了具体的类型参数 `String`。`Child` 类中的 `get` 方法可以返回 `String` 类型,这是因为 `GenericParent` 类中的 `get` 方法使用了泛型类型 `T`,这是协变返回类型的一个例子,但它与方法重写无关。在普通的非泛型方法重写中,返回类型必须完全匹配。

相关推荐
melck几秒前
liunx日志查询常用命令总结
java·服务器·网络
守护者1706 分钟前
JAVA学习-练习试用Java实现“实现一个Hadoop程序,使用Hive进行复杂查询和数据筛查”
java·学习
程序员 小柴11 分钟前
docker的与使用
java·docker·eureka
ゞ 正在缓冲99%…16 分钟前
leetcode76.最小覆盖子串
java·算法·leetcode·字符串·双指针·滑动窗口
Seven9730 分钟前
【Guava】并发编程ListenableFuture&Service
java
WannaRunning31 分钟前
浅谈Tomcat数据源连接池
java·oracle·tomcat
forestsea39 分钟前
使用 Spring Boot 和 GraalVM 的原生镜像
java·spring boot·spring native·原生映像
逸狼41 分钟前
【JavaEE进阶】Spring AOP入门
java·java-ee
色空大师1 小时前
【idea】实用插件
java·ide·intellij-idea
栗筝i1 小时前
Spring 核心技术解析【纯干货版】- XIX:Spring 日志模块 Spring-Jcl 模块精讲
java·后端·spring