三十、多态性、动态类型 和 动态绑定（三）运行时 VS 编译时

因为  id类型变量中存储的物件类型  在编译的时候  是  不确定的，所以  某些检查  会被推迟  到程序执行的时候。先  思考一下  下面两行语句：

其中  物件fractionOne  属于  Fraction类型，用来代表  比例，而  setReal:andImaginary:这项措施  是  用来设定  一个复数所包含的实数  和  虚数的值的，只能  针对  代表复数的Complex类型的物件  实施。于是  当编译器  遇到  上面两行语句时，就会发出  这样的警告：

它的意思  是  Fraction类型的物件  可能无法对  -setReal:andImaginary:这项措施  作出  反应，也可以理解为  无法对  Fraction类型的物件  采取  -setReal:andImaginary:这项措施。由于  编译器  知道  变量fractionOne  存储着  Fraction类型的物件，所以  在编译的时候  编译器  就能发现  这个问题。

再  思考一下  下面两行语句：

当编译器  遇到  这两行语句时，就不会发出  任何警告了，因为  编译器  不知道  变量fractionOne当中  会存储  什么类型的物件。但是  在程序  运行的时候，才会出现  错误信息：

程序  运行的时候，运行系统  会检查  变量fractionOne中的物件  属于  什么类型。经过  检查，运行系统  发现  变量fractionOne中的物件  属于  Fraction类型，于是  运行系统  又  检查  setReal:andImaginary:这项措施  是否属于  Fraction这类物件。由于  setReal:andImaginary:这项措施  属于  Complex这类物件，而  不是  Fraction这类物件，所以  就产生了  上述的错误信息。