OC攻与伐

Objective-C是非常“实际”的语言。它使用一个用C写成、很小的运行库,只会令应用程序的大小增加很小,和大部分OO(面向对象)系统使用极大的VM(如JVM等)执行取代了整个系统的运作相反。OC写成的程序通常不会比其原始码大很多。 Objective-C的最初版本并不支持垃圾回收。即是鉴于当时的面向对象语言回收时有漫长的“死亡时间”,令整个系统失去功用。Objective-C为避免此问题才不拥有这个功能。Objective-C的内存管理采用引用计数的方式,后期引入ARC(自动引用计数)。

ObjC不包括命名空间机制(namespace mechanism)。取而代之的是必须在其类别名称加上前缀,时常引致冲突。所有Mac OS X类别和函式均有“NS”作为前缀,使用“NS”是由于这些类别的名称在NeXTSTEP开发时定下。虽然Objective-C是C的母集,但它也不视C的基本型别为第一级的对象。 和C++不同,Objective-C不支援运算子多载(它不支持ad-hoc多型)。但和Java相同,Objective-C只容许对象继承一个类别(不设多重继承)。不过可以使用Categories和protocols实现多重继承。

由于Obj-C使用动态运行时类型,而且所有的方法都是函数调用(有时甚至连系统调用(syscalls)也如此),很多常见的编译时性能优化方法都不能应用于Obj-C(例如:内联函数、常数传播、交互式优化、纯量取代与聚集等)。这使得Obj-C性能劣于类似的对象抽象语言(如C++)。Obj-C运行时消耗较大,Obj-C本来就不应应用于C++或Java常见的底层抽象。这也静态处理和动态处理的重要区别。

关于OC弱类型性的一个思考

我们可以把任何想要的消息发送给代码中类型为“id”的变量,然后Objective-C的动态消息处理就会在运行时让这一调用正确地工作。但在实际情况中,即使方法的查找是发生在运行时期,这也只够确保正确的方法被调用,但却不足以确保参数是有效的。编译器肯定是需要推断出一些与所涉及的方法签名有关的信息的,即使编译器不需要知道id的类型,但它确实需要知道所有参数的字节长度,以及任何返回值的确切类型。这是因为参数的列集(marshal)(压入栈以及从栈中弹出它们)是在编译时配置的。然而通常情况下,我们不需要采取任何步骤来使之发生,参数的信息是通过查看你试图调用的方法的名称来获取的,搜索整个被包含进来的头文件查找与被调用方法的名称吻合的方法,然后从其找到的第一个匹配方法中获取参数的长度。即使你真正指向的确切方法不能被明确分辨出来,匹配方法之间的参数也有可能会是相同的,因为Objective-C中的方法名称通常就暗示了数据的类型。

设想你有一个类MyClass,该类有一个名为currentPoint的实例方法,该方法返回一个int类型的值。你希望调用保存在数组中的对象的currentPoint,于是使用了这样的代码:

int result = [[someArray objectAtIndex:0] currentPoint];

运行时调用的方法是正确的,问题是编译器为这一调用列集的参数是不正确的,这导致了数据的返回类型被破坏。[someArray objectAtIndex:0]不能明确的指出得到的一定是类MyClass,解决办法就是强制转换。

int result = [(MyClass *)[someArray objectAtIndex:0] currentPoint];

在消息发送之前,编译器需要正确地把参数压入到栈中,然后执行消息发送,使用正确的objc_msgSend来取回返回值,而这就是出现故障的地方。

编译器使用方法签名(通过查看接收者的类型和该接收者的所有有效方法名称来获取的)来准备参数,并试图找出你可能想要调用的方法是哪一个。由于接收者的类型(比如说objectAtIndex:的调用结果)仅为id,这样的话我们就没有显式的类型信息,因此编译器就会查看所有已知方法的一个列表。不幸的是,编译器找到的不是我们的MyClass的方法,其决定匹配NSBezierPath的名为currentPoint的方法,并准备了与该方法的签名相匹配的参数。NSBezierPath的方法返回一个struct类型的NSPoint,而这就导致我们的返回类型被破坏了。

对于实例方法来说,我们是通过强制转换成所需的特定对象类型来修正问题的,但在两个对象都是类方法的情况下,就不可能强制转换所涉及的特定Class了,在Objective-C中,你不能强制转换类方法。如果你不能够改变方法的名称的话,那么唯一的权变之法看起来就像是这个样子:

int result = objc_msgSend([someArray objectAtIndex:0], @selector(currentPoint));

一道题的分析

@implementation Son : Father
- (id)init {
self = [super init];
if (self) {
    NSLog(@"%@", NSStringFromClass([self class]));
    NSLog(@"%@", NSStringFromClass([super class]));
}
return self;
}
@end

答案:都输出”Son”

因为oc的方法寻找是在编译期执行的,self表示本类Son,super表示父类Father,NSObject是Son和Father的父类。class方法在NSObject中定义,并且没有被Father和Son覆盖。[self class]的方法寻找方式是:Son,Father,NSObject,[super class]的方法寻找方式是:Father,NSObject,最终执行的都是NSObject里面定义的class方法。要执行的方法找完之后,程序进入运行期,即执行刚才找到的方法。而方法的实际调用者是对象。[super class]和[self class]的实际调用者都是Son对象。因此最后的打印结果应该都是Son。