2021-07-02软件构造学习中遇到的问题

疑问：
这张图的意思是不是说，前面定义了一个变量的引用类型，为Animal；后面赋给这个变量实质的实例类型，为Horse。
但是他的类型还是算Animal？？
结论：经过验证确实算Animal
并且：
animalRefToHorse.eat
也只能用Animal的method，如果里面加了参数，静态报错。