Әдісті қайта анықтау кезінде қол жеткізу деңгейін тарылту немесе қайтарылатын типін өзгерту мүмкін бе?

Құқық деңгейі әдісті қайта анықтау кезінде тек сондай немесе кеңірек болуы мүмкін.

Кері қайтарылатын тип базалық кластағы сияқты болуы немесе ковариантты (қосымша класты) болуы мүмкін. Примитивті типтер дәл сәйкестікті талап етеді.

Ковариантты қайтару мысалы:

class Animal {
    // ата-ана класы
}

class Dog extends Animal {
    // ұрпағы класы
}

class AnimalFeeder {
    // feed әдісі бар базалық класс
    public Animal feed() {
        return new Animal();
    }
}

class DogFeeder extends AnimalFeeder {
    // feed әдісін қайта анықтайтын ұрпағы класс
    @Override
    public Dog feed() { // ковариантты қайтару типі (Dog — Animal-дың ұрпағы)
        return new Dog();
    }
}