Java泛型中的泛型约束如何定义

在Java泛型中，泛型约束是通过使用extends关键字来实现的。这允许你限制泛型参数的类型范围，使其必须是某个特定类或接口的子类或实现类。这样可以确保泛型参数具有某些特定的方法或属性，从而可以在泛型类或方法中使用这些方法或属性。

以下是一个简单的示例，展示了如何在Java泛型中定义泛型约束：

// 定义一个接口
public interface Animal {
    void makeSound();
}

// 定义一个实现Animal接口的类
public class Dog implements Animal {
    @Override
    public void makeSound() {
        System.out.println("Woof!");
    }
}

// 定义一个泛型类，使用泛型约束，要求泛型参数T必须是Animal的子类
public class AnimalShelter<T extends Animal> {
    private T animal;

    public void setAnimal(T animal) {
        this.animal = animal;
    }

    public T getAnimal() {
        return animal;
    }

    public void makeAnimalSound() {
        animal.makeSound(); // 由于泛型约束，这里可以安全地调用makeSound方法
    }
}

public class Main {
    public static void main(String[] args) {
        AnimalShelter<Dog> dogShelter = new AnimalShelter<>();
        dogShelter.setAnimal(new Dog());
        dogShelter.makeAnimalSound(); // 输出 "Woof!"
    }
}

在这个示例中，我们定义了一个Animal接口和一个实现该接口的Dog类。然后，我们创建了一个泛型类AnimalShelter，并使用泛型约束<T extends Animal>来限制泛型参数T必须是Animal的子类。这样，在AnimalShelter类中，我们可以安全地调用makeSound方法，因为我们知道泛型参数T具有这个方法。