Java – オーバーライドで戻り値の型を変更することは可能？

// App.java
import java.util.ArrayList;
import java.util.List;
class Animal {
    // 戻り値の型はAnimal
    Animal getAnimal() {
        return new Animal();
    }
}
class Dog extends Animal {
    // 戻り値の型はDog(Animalのサブクラス)
    @Override
    Dog getAnimal() {
        return new Dog();
    }
}
public class App {
    public static void main(String[] args) {
        Animal animal = new Dog();
        Dog dog = (Dog) animal.getAnimal(); // キャストが必要
        System.out.println("犬のインスタンスが取得されました: " + dog);
    }
}

犬のインスタンスが取得されました: Dog@<ハッシュコード>

// App.java
import java.util.ArrayList;
import java.util.List;
abstract class Shape {
    // 戻り値の型はShape
    abstract Shape createShape();
}
class Circle extends Shape {
    // 戻り値の型はCircle(Shapeのサブクラス)
    @Override
    Circle createShape() {
        return new Circle();
    }
}
class Square extends Shape {
    // 戻り値の型はSquare(Shapeのサブクラス)
    @Override
    Square createShape() {
        return new Square();
    }
}
public class App {
    public static void main(String[] args) {
        Shape circle = new Circle().createShape();
        Shape square = new Square().createShape();
        
        System.out.println("円のインスタンスが取得されました: " + circle);
        System.out.println("正方形のインスタンスが取得されました: " + square);
    }
}

円のインスタンスが取得されました: Circle@<ハッシュコード>
正方形のインスタンスが取得されました: Square@<ハッシュコード>

// App.java
class Parent {
    // 戻り値の型はParent
    Parent getInstance() {
        return new Parent();
    }
}
class Child extends Parent {
    // 戻り値の型はChild(Parentのサブクラス)
    @Override
    Child getInstance() {
        return new Child();
    }
}
public class App {
    public static void main(String[] args) {
        Parent parent = new Child();
        Child child = (Child) parent.getInstance(); // キャストが必要
        System.out.println("子のインスタンスが取得されました: " + child);
    }
}

子のインスタンスが取得されました: Child@<ハッシュコード>