考虑以下几类

就连载而言,我知道:

abstract class AnimalSerializer<E extends Animal> {
    /**
     * The type E (which extends Animal) is important here. 
     * I want to be able to write data that is specific to a subclass of an animal.
     */
    abstract void writeAnimal(E animal);
    abstract Animal readAnimal();
}

abstract class Animal {
    AnimalSerializer<? extends Animal> serializer;

    Animal(AnimalSerializer<? extends Animal> speciesSerializer) {
        serializer = speciesSerializer;
    }

    void writeAnimalToFile() {
        // This line fails to compile
        serializer.writeAnimal(this);
    }
}

这些类演示了此模式的使用:

class DogSerializer extends AnimalSerializer<Dog> {

    @Override
    void writeAnimal(Dog animal) {
        // Write the stuff that is specific to the dog
        // ...
    }

    @Override
    Animal readAnimal() {
        // Read the stuff specific to the dog, instantiate it, and cast it as an animal.
        // ...
        return null;
    }  
}

class Dog extends Animal {
    String dogTag = "Data specific to dog.";

    Dog() {
        super(new DogSerializer());
    }
}

我的问题与未能编译的行有关( serializer.writeAnimal(this) ). 为了进一步了解 this 关键字,但我认为问题是“this”关键字属于 Animal ,以及有界通配符泛型 <? extends Animal> 仅支持属于动物的子类的类型,而不支持 动物 键入本身。

我认为编译器应该知道 这 关键字 必须 是一个扩展动物的对象,因为动物不能被实例化,并且 这 关键字仅适用于已存在的对象。

编译器不知道这是什么原因吗?我想有一个案例可以解释为什么 这 关键字不能保证是Animal的子类。

此外,这种模式是否因此而存在根本缺陷?