多态：允许不同的类定义相同的方法。
动态类型：程序直到执行时才能确定所属的类。 Animal *ani = [Dog new];
静态类型：将一个变量定义为特定类的对象时，使用的是静态形态。Animal *ani = [Animal new];
将一个变量定义为特定类的对象时，使用的是静态类型，在编译的时候就知道这个变量所属
的类，这个变量总是存储特定类的对象。使用静态类型时，编译器尽可能的确保变量的用法在程
序中始终保持一致，编译器能够通过检查来确定应用于对象的方法是由该类定义的或者由该类继
承的，否则就会显示警告。静态类型能够更好的在程序编译阶段就指出错误。并且使用静态类型
可以提高程序的可读性。

多态：允许不同的类定义相同的方法。
动态类型：程序直到执行时才能确定所属的类。 Animal *ani = [Dog new];
静态类型：将一个变量定义为特定类的对象时，使用的是静态形态。Animal *ani = [Animal new];
将一个变量定义为特定类的对象时，使用的是静态类型，在编译的时候就知道这个变量所属
的类，这个变量总是存储特定类的对象。使用静态类型时，编译器尽可能的确保变量的用法在程
序中始终保持一致，编译器能够通过检查来确定应用于对象的方法是由该类定义的或者由该类继
承的，否则就会显示警告。静态类型能够更好的在程序编译阶段就指出错误。并且使用静态类型
可以提高程序的可读性。