为什么 java 允许对泛型类型进行类型转换？

Question

为什么 java 允许对泛型类型进行类型转换，从而导致奇怪的情况，例如 Dogs 数组以 Cats object 结尾？

示例代码：

动物 class：

public abstract class Animal {
    String name;
    abstract public void eat();
    void sleep() {
        System.out.println("Sleep from Animal");
    }
}

狗 class：

public class Dog extends Animal {
    void setName() {
        name = "Kimchy";
    }
    public void eat() {
        System.out.println("Eat from Dog");
    }
    public void bark() {
        System.out.println("Bark from Dog");
    }
}

猫 class：

public class Cat extends Animal {
    public void eat() {
        System.out.println("Eat from Cat");
    }
    void sleep() {
        System.out.println("Sleep from Cat");
    }
}

测试：

import java.util.ArrayList;

public class TestCollection {
    public static void main(String[] args) {
        new TestCollection().go();
    }
    void go() {
        ArrayList<Dog> dogs = new ArrayList<Dog>(); //{new Dog(), new Cat(), new Dog()};
        dogs.add(new Dog());
        dogs.add(new Dog());
        dogs.add(new Dog());
        takeAnimals(dogs);
    }
    public <T extends Animal>void takeAnimals(ArrayList<T> as) {
        as.set(0, (T) new Cat());
        for (T a: as) {
            System.out.println("Class of a "+a);
            a.sleep();
        }
    }
}

当我运行时：

Class of a com.cosmicnet.test.Cat@7225790e
Sleep from Cat
Class of a com.cosmicnet.test.Dog@54a097cc
Sleep from Animal
Class of a com.cosmicnet.test.Dog@36f6e879
Sleep from Animal

是否有任何其他 OO 语言更有效地处理此类情况？