OC动态绑定很重要的一点在于 OC中有一个非常重要的类型叫 id, id是一个指针, 指向类未知的对象, 指向未知类型或未指定的类型. 实际上OC中的所有指针都是id, 当你将消息发给一个对象时, 具体执行什么代码直到运行时才会决定. 这被叫做动态绑定.

这个特性和其他语言是不一样的 , 当然你会想到, 如果只在运行时检测, 那么是否会有安全问题?

其实不用担心, 因为大部分写程序的时候都是用静态类型. 少部分时要进行些保护性措施, 这个后面会说.

比方使用静态类型化:

NSString *s = @“x”; 编译器编译的时候就会检查,如果指向非NSString会给出警告(这也提醒我们要好好对待编译器的警告)

id obj = s; id obj是指向任何对象的指针,所以不会产生警告

这种情况在日常写代码中也会随处遇到, 比如NSArray的方法firstObject的类型就是id:

@property(nonatomic, readonly) id firstObject

所以这种时候, 应该加些保护措施. 否则很容易crash !

另外Stanford slide上的一个Demo:

@interface Vehicle : NSObject

-(void)move;

@end

@interface Ship : Vehicle

-(void)shoot;

@end

Ship* s = [[Ship alloc] init];

Vehicle* v = s;

[v shoot];

id obj = v;

[obj shoot];

其中:

[v shoot] //编译错误, 这个在Slide中只是个警告, 估计是编译器版本问题

[obj shoot] //编译、运行都正常

这个Demo其实很好的诠释了id这个类型的特殊性 .

Ship s = [Ship alloc] init];创建了s,Vehicle v = s; s仍然是Ship类型，同时v指向s，v虽然是Vehicle指针，但实际在内存中仍然是Ship类型

id obj = v; obj指向v，v指向s，所以obj实际是指向s的，所以obj是能响应shoot函数的

v 的指针指向Ship那块内存，[v shoot]由于受到类型的保护 所以报错， obj由于是id类型所以一切正常.

可以输出刚才三者指向的地址, 都是指向s所alloc的内存区域的.

指针指向

继续看下去:

NSString* hello = @"hello";

Ship* helloShip = (Ship *)hello;

[helloShip shoot];

更通俗点解释是: 告诉编译器NSString就是Ship(只是把编译器糊弄了) 所以编译正常, 第三行在运行时,由于那个地址没有还是为@”hello”, 当真正去shoot时, 它会分派那个shoot, 结果发送到的地方是个字符串. 导致crash.

同理, 下面这段代码可以再体会下:

NSString* hello = @"hello";

[hello shoot];

[(id)hello shoot];

更多信息请查看IT技术专栏