当我们使用存在继承关系的类型时，必须将一个变量或者其他表达式的静态类型与该表达式表示对象的动态类型区分开来。

表达式的静态类型在编译时总是已知的，它是变量声明时的类型或者表达式生成的类型；

而动态类型则是变量或者表达式表示的内存中的对象的类型，动态类型直到运行时才可知。