聚合国内IT技术精华文章,分享IT技术精华,帮助IT从业人士成长

说说Objective-C的id及动态绑定

2015-04-05 05:20 浏览: 1565527 次 我要评论(0 条) 字号:

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

这个特性和其他语言是不一样的 , 当然你会想到, 如果只在运行时检测, 那么是否会有安全问题?
其实不用担心, 因为大部分写程序的时候都是用静态类型. 少部分时要进行些保护性措施, 这个后面会说.

比方使用静态类型化:
NSString *s = @“x”; 编译器编译的时候就会检查,如果指向非NSString会给出警告(这也提醒我们要好好对待编译器的警告)
id obj = s; id obj是指向任何对象的指针,所以不会产生警告

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

1
@property(nonatomic, readonly) id firstObject

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

另外Stanford slide上的一个Demo:

1
2
3
4
5
6
@interface Vehicle : NSObject
-(void)move;
@end
@interface Ship : Vehicle
-(void)shoot;
@end
1
2
3
4
5
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的内存区域的.

指针指向

继续看下去:

1
2
3
NSString* hello = @"hello";
Ship* helloShip = (Ship *)hello;
[helloShip shoot];

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

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

1
2
3
NSString* hello = @"hello";
[hello shoot];
[(id)hello shoot];
(转载文章请注明原文出处 More Than Vimer)


网友评论已有0条评论, 我也要评论

发表评论

*

* (保密)

Ctrl+Enter 快捷回复