To pytanie zostało zadane w kontekście C ++ ale jestem ciekawa Javy. Obawy dotyczące metod wirtualnych nie mają zastosowania (tak myślę), ale jeśli masz taką sytuację:

abstract class Pet
{
    private String name;
    public Pet setName(String name) { this.name = name; return this; }        
}

class Cat extends Pet
{
    public Cat catchMice() { 
        System.out.println("I caught a mouse!"); 
        return this; 
    }
}

class Dog extends Pet
{
    public Dog catchFrisbee() { 
        System.out.println("I caught a frisbee!"); 
        return this; 
    }
}

class Bird extends Pet
{
    public Bird layEgg() {
        ...
        return this;
    }
}


{
    Cat c = new Cat();
    c.setName("Morris").catchMice(); // error! setName returns Pet, not Cat
    Dog d = new Dog();
    d.setName("Snoopy").catchFrisbee(); // error! setName returns Pet, not Dog
    Bird b = new Bird();
    b.setName("Tweety").layEgg(); // error! setName returns Pet, not Bird
}

Czy w tym rodzaju hierarchii klas istnieje jakiś sposób powrotuthis w sposób, który nie powoduje (efektywnie) zmiany typu obiektu?