多态、动态类型和动态绑定

多态实例：

id 数据类型是一种通用的对象类型。也就是说，id可以用来存储属于任何类的对象。

动态类型能使程序直到执行时才确定对象所属的类；

动态绑定则能使程序直到执行时才确定实际要调用的对象方法。

id系统如何知道dataXY调用哪个方法呢？

OC系统总是跟踪对象所属的类，在执行时先判定对象所属的类，然后再确定需要动态调用的方法，而不是在编译时候。

考虑下面代码：

若XYpoint类中无getX方法，产生警告

考虑下面代码：

编译不产生警告，直到运行这些代码程序时，程序崩溃；

id数据类型与静态类型：

不要滥用这种通用类型，首先，将一个变量定义为特定类的对象时，使用的是静态类型。使用静态类型时，编译器尽可能确保变量的用法在程序中始终保持一致。静态类型能更好滴在程序编译阶段而不是在运行时指出错误，使用静态类型的另一个原因是他能提高程序的可读性