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`，这是协变返回类型的一个例子，但它与方法重写无关。在普通的非泛型方法重写中，返回类型必须完全匹配。