本系列讲座有着很强的前后相关性,如果你是第一次阅读本篇文章,为了更好的理解本章内容,笔者建议你最好从本系列讲座的第1章开始阅读,请点击这里。
Objective-C里面区别于实例方法,和Java或者C++一样,也支持类方法。类方法(Class Method) 有时被称为工厂方法(Factory Method)或者方便方法(Convenience method)。工厂方法的称谓明显和一般意义上的工厂方法不同,从本质上来说,类方法可以独立于对象而执行,所以在其他的语言里面类方法有的时候被称为静态方法。就像@interface曾经给我们带来的混乱一样,现在我们就不去追究和争论工厂方法的问题了,我们看到Objective-C的文章说工厂方法,就把它当作类方法好了。
在Objective-C里面,最受大家欢迎的类方法应该是alloc,我们需要使用alloc来为我们的对象分配内存。可以想象,如果没有alloc,我们将要如何来为我们的类分配内存!
和其他的语言类似,下面是类方法的一些规则,请大家务必记住。
1,类方法可以调用类方法。
2,类方法不可以调用实例方法,但是类方法可以通过创建对象来访问实例方法。
3,类方法不可以使用实例变量。类方法可以使用self,因为self不是实例变量。
4,类方法作为消息,可以被发送到类或者对象里面去(实际上,就是可以通过类或者对象调用类方法的意思)。
如果大家观察一下Cocoa的类库,会发现类方法被大量的应用于方便的对象创建和操作对象的,考虑到类方法的上述的特性,同学们在设计自己的类的时候,为了谋求这种方便,可以考虑使用类方法来创建或者操作对象。笔者认为,这个就是类方法的潜规则,在本章的范例程序里面,笔者将要遵守这个潜规则。
在上一章我们讲了一下实例变量的作用域,实例变量的作用域的方式和其他面向对象的语言没有什么不同。对于方法,非常遗憾的是,Objective-C并没有为我们提供诸如public,private和protected这样的限定,这就意味着在Objective-C里面,从理论上来说所有的方法都是公有的。但是,我们可以利用Objective-C的语言的特性,我们自己来实现方法的私有化。当然我们自己的私有化手段没有得到任何的编译器的支持,只是告诉使用者:“这是一个私有的方法,请不要使用这个方法”。所以,无论作为类的设计者和使用者都应该清楚在Objective-C里面的方法私有化的所有手段,这样就在类的设计者和使用者之间达成了一种默契,这种方式明显不是Objective-C语法所硬性规定的,所以也可以把这种手法成为一种潜规则。
本章所述的方法的私有化是一种有缺陷的手段,有一定的风险而且也没有完全实现私有化,在后面的章节里面笔者会陆续的给出其他的实现方法私有化的方法。
另外,Objective-C里面有一个其他不支持指针的语言没有的一个动态特性,那就是程序在执行的时候,可以动态的替换类的手段。动态的方法替换有很多种应用,本章实现了一个类似java里面的final函数。和final函数不同的是,如果子类重写了这个方法,编译器不会报错,但是执行的时候总是执行的你的超类的方法。
类方法,方法私有化和动态方法替换将是本章的主题。
在本章里面,我们将要继续使用我们在第4章已经构筑好的类Cattle和Bull。
笔者在这里暂时违反一下不修改已经生效的代码规则改写了一下Cattle和Bull类,在里面追加了一些类方法,用于创建Cattle系列的对象。
笔者也改写了Cattle的头文件用来实现方法的私有化。
面向对象的程序有一个很大的特色就是动态性,但是由于某种原因我们在设计超类的时候,也许会考虑把某个方法设定成为静态的,这样就有了诸如final的概念。在本章我们将要使用动态的方法替换来实现这个功能。我们将要构筑一个新类,名字叫做UnknownBull,我们使用动态方法替换导致即使UnknownBull重载了Cattle类的saySomething,但是向UnknownBull发送saySomething的时候,仍然执行的是Cattle的saySomething。本章程序的执行结果请参照下图:
图8-1,本章程序的执行结果。
本章程序可以点击这里下载。
第一步,按照我们在第2章所述的方法,新建一个项目,项目的名字叫做07-InitWithAndIvarScope。如果你是第一次看本篇文章,请到这里参看第二章的内容。
第二步,按照我们在第4章的4.2节的第二,三,四步所述的方法,把在第4章已经使用过的“Cattle.h”,“Cattle.m”,“Bull.h”还有“Bull.m”, 导入本章的项目里面。
第三步,打开“Cattle.h”和“Cattle.m”,分别修改成为下面的代码并且保存:
第四步,打开“Bull.h”和“Bull.m”,分别修改成为下面的代码并且保存:
第五步,创建一个新类,名字叫做“UnknownBull”,然后分别打开“UnknownBull.h”和“UnknownBull.m”,分别修改成为下面的代码并且保存:
第六步,打开“08-Class_Method_And_Private_Method.m” ,修改成为下面的样子并且保存
第七步,选择屏幕上方菜单里面的“Run”,然后选择“Console”,打开了Console对话框之后,选择对话框上部中央的“Build and Go”,如果不出什么意外的话,那么应该出现入图8-1所示的结果。如果出现了什么意外导致错误的话,那么请仔细检查一下你的代码。如果经过仔细检查发现 还是不能执行的话,可以到这里下载笔者为同学们准备的代码。 如果笔者的代码还是不能执行的话,请告知笔者。
在讲述方法私有化之前,我们首先要提到一个Objective-C里面的一个概念,动态类型和静态类型。
所谓的动态类型,就是使用id来定义一个对象,比如说
所谓的静态类型,就是使用已知变量的的类型来定义对象,比如说
动态类型和静态类型各有好处,动态类型实现了多态性,使用静态类型的时候编译器会为你检查一下也许会出现危险的地方,比如说向一个静态类型的对象发送一个它没有定义的消息等等。
好的,我们现在打开“cattle.h”,大家可以发现,和以前的版本相比,我们的“cattle.h”少了一个方法的定义,那就是-(void) setLegsCount:(int) count;。笔者在本章的范例程序里面实现私有方法的手段比较简单,直接把-(void) setLegsCount:(int) count从“cattle.h”给删除掉了。
大家打开““cattle.m”,可以看到里面-(void) setLegsCount:(int) count是有实现部分的。实现部分和过去的版本没有任何区别的。
我们本章里面讲述的实现方法私有化的手段,就是从头文件当中不写方法的声明。这样做会导致如下几个现象
1,在类的实现文件.m里面,你可以向平常一样使用[self setLegsCount:4] 来发送消息,但是确省设定的编译器会很不礼貌的给你一个警告。
2,你可以向Cattle以及从Cattle继承的类的静态对象发送setLegsCount:4的消息,但是同样,确省设定的编译器会很不礼貌的给你一个警告。
3,你可以向Cattle以及从Cattle继承的类的动态对象发送setLegsCount:4的消息,编译器不会向你发送任何警告的。
说到这里,同学们也许会觉得这一节的方法私有化有一点奇怪,因为在上面的第二条里面,不能阻止对对象的私有方法进行调用。令我们更为恼火的是,居然在我们自己的类的实现文件里面需要调用的时候产生诸如第一条的警告!
让我们冷静一下。
我们说,在面向对象的程序里面,一般而言类的使用者只关心接口,不关心实现的。当我们类的实现部分的某个方法,在头文件里面没有定义的话,那么由于我们的类的使用者只是看头文件,所以他不应该是用我们定义的所谓的私有方法的。这一点,对于其他的语言来说也是一样的,其他的语言的私有方法和变量,如果我们把它们改为public,或者我们不修改头文件,使用指针也可以强行的访问到私有的变量和方法的,从这个角度上来说,私有化的方法和变量也只不过是一个摆设而已,没有人可以阻止我们去访问他们,探求埋藏在里面的奥秘。所谓的私有化只不过是一个潜规则而已,在正常的时候,我们大家都会遵守这个潜规则的。但是被逼无奈走投无路的时候我们也许会除了访问私有的东西无可选择。但是也不能过分,我们显然不可以把访问私有变量和函数当作一种乐趣。
说到这里,我想大家应该可以理解这种私有化方法的定义了。它只不过是一种信号,告诉类的使用者,“这是一个私有的函数,请不要使用它,否则后果自负” 。我们在看到别人的代码的时候看到了这种写法的时候,或者别人看到我们的代码的时候,大家都需要做到相互理解对方的隐藏私有部分的意图。还是还是这句话,在大多数时候,请不要破坏潜规则。
我们现在转到本章最重要的主题,类方法。我们将要首先关注一下类方法的声明,现在请同学们打开"Cattle.h"文件,可以发现下面的代码:
类方法和实例方法在声明上的唯一的区别就是,以加号+为开始,其余的部分是完全一致的。 笔者在这里定义了4个不同版本的类方法,从功能上来说都是用来返回Cattle类或者其子类的对象的,其中cattleWithLegsCountVersionA到C是我们这一节讲解的重点。
让我们首先打开“Cattle.m” ,关注一下下面的代码:
我们需要使用类方法创建对象,所以在第3行,我们使用了我们比较熟悉的对象的创建的方法创建了一个对象。大家注意一下第5行,由于类方法是和对象是脱离的所以我们是无法在类方法里面使用实例变量的。第6行,由于我们创建了对象ret,所以我们可以向ret发送setLegsCount:这个消息,我们通过这个消息,设定了Cattle的legsCount实例变量。在第7行,我们遇到了一个新的朋友,autorelease。我们在类方法里面创建了一个对象,当我们返回了这个对象之后,类方法也随之结束,类方法结束就意味着在我们写的类方法里面,我们失去了对这个对象的参照,也就永远无法在类方法里面控制这个对象了。在Objective-C里面有一个规则,就是谁创建的对象,那么谁就有负责管理这个对象的责任,类方法结束之后,除非和类的使用者商量好了让类的使用者释放内存,否则我们无法直接的控制这个过程。
记忆力好的同学应该可以回忆起来,笔者曾经在第二章提到过一种延迟释放内存的技术,这个就是autorelease。关于autorelease以及其他的内存管理方法,我们将在下一章放到一起讲解。到这里大家记住,使用类方法的潜规则是你要使用类方法操作对象,当你需要使用类方法创建一个对象的时候,那么请在类方法里面加上autorelease。
我们来看看cattleWithLegsCountVersionB的实现部分的代码,和cattleWithLegsCountVersionA唯一区别就是我们在创建的时候就直接的加上了autorelease。这样符合创建对象的时候“一口气”的把所有需要的方法都写到一起的习惯,采取什么方式取决于个人喜好。
我们再打开“08-Class_Method_And_Private_Method.m”,参看下面的代码
我们在回头看看本章程序的执行结果,心细的同学也许发现了一个很严重的问题,我们在第2行代码里面想要返回一个Bull的对象,但是输出的时候却变成了Cattle,原因就是我们在cattleWithLegsCountVersionB里面创建对象的时候,使用了id ret = [[[Cattle alloc] init] autorelease]。由于Bull里面没有重写cattleWithLegsCountVersionB,所以除非我们重写cattleWithLegsCountVersionB否则我们向Bull发送cattleWithLegsCountVersionB这个类方法的时候,只能得到一个Cattle的对象。我们可以要求我们的子类的设计者在他们的子类当中重写cattleWithLegsCountVersionB,但是这样明显非常笨拙,失去了动态的特性。我们当然有办法解决这个问题,现在请大家回到“Cattle.m”,参照下列代码:
我们的解决方案就在第3行,我们不是用静态的Cattle,而是使用self。说到这里也许大家有些糊涂了,在其他的语言当中和self比较类似的是this指针,但是在Objective-C里面self和this有些不大一样,在类函数里面的self实际上就是这个类本身。大家可以打开debugger观察一下,self的地址就是Bull的Class的地址。所以程序执行到上面的代码的第3行的时候,实际上就等同于id ret = [[[Bull class] alloc] init];
我们可以在类方法里面使用self,我们可否通过使用self->legsCount来访问实例变量呢?答案是不可以,因为在这个时候对象没有被创建也就是说,没有为legsCount分配内存,所以无法访问legsCount。
由于Bull类在程序被调入内存的时候就已经初始化好了,Bull类里面的实例函数应该被放到了代码段,所以从理论上来说,我们可以通过使用[self setLegsCount:count]来调用实例方法的,但是不幸的是Objective-C没有允许我们这样做,我们在类方法中使用self来作为消息的接收者的时候,消息总是被翻译成为类方法,如果发送实例方法的消息的话,会在执行的时候找不到从而产生异常。这样做是有一定的道理的,因为一般而言,实例方法里面难免要使用实例变量,在类方法当中允许使用实例方法,实际上也就允许使用实例变量。
请同学们再次回到图8-1,可以发现通过使用神奇的self,我们动态的创建了Bull类的对象。但是等一下,我们的程序并不完美,因为Bull类的skinColor并没有得到初始化,所以导致了null的出现。我们在设计Cattle类也就是Bull的超类的时候,明显我们无法预测到Bull类的特征。消除这种问题,我们可以在得到了Bull对象之后使用setSkinColor:来设定颜色,当然我们也可以直接写一个Bull类的方法,来封装这个操作,请同学们打开“Bull.h”:
我们追加了一个类方法, bullWithLegsCount:bullSkinColor:用于创建Bull对象,请同学们打开“Bull.m”:
上面这一段代码相信大家都可以看明白,笔者就不在这里赘述了。但是笔者需要强调一点,在这里我们不需要调用autorelease的,因为我们没有在这里创建任何对象。
经过了这个改造,通过在“08-Class_Method_And_Private_Method.m”里面我们使用
使得我们的代码终于正常了,请参照图8-1的第4行输出。
首先请同学们打开“Cattle.m”,参照下面的代码片断:
在cattleWithLegsCountVersionD里面,我们将要通过使用动态的方法替换技术来实现final方法。
第3,4行代码,是用于创建Cattle或者从Cattle类继承的对象,并且设定实例变量legsCount。
第6,7行代码,是用来判断调用这个类方法的self是不是cattle,如果是cattle的话,那么就直接返回,因为我们要在这个方法里面把子 类的saySomething替换成为Cattle的saySomething,如果类是Cattle的话,那么很明显,我们不需要做什么事情的。
第9行代码是老朋友了,我们需要得到方法的SEL。
第10行和第12行,我们需要通过Objective-C的一个底层函数,class_getInstanceMethod来取得方法的数据结构 Method。让我们把鼠标移动到Method关键字上面,点击鼠标右键盘,选择“Jump to definition”,我们可以看到在文件“objc-class.h”里面的Method的定义。Method实际上是类方法在Class里面的数据结构,系统会使用Method的信息来构筑Class的信息。在Method类型的声明里面,我们看到了下面的代码
其中SEL和IMP我们已经很熟悉了,method_types是方法的类型信息,Objective-C使用一些预定义的宏来表示方法的类型,然后把这些信息放到method_types里面。
需要强调的是,苹果在10.5之后就降级了很多Objective-C 底层的函数,并且在64位的应用当中使得这些函数失效,笔者对剥夺了众多程序员的自由而感到遗憾。
第14行的代码,我们把子类的函数指针的地址替换成为Cattle类的saySomething,这样无论子类是否重写saySomething, 执行的时候由于runtime需要找到方法的入口地址,但是这个地址总是被我们替换为Cattle的saySomething,所以子类通过 cattleWithLegsCountVersionD取得对象之后,总是调用的Cattle的saySomething,也就实现了final。当 然,这种方法有些粗鲁,我们强行的不顾后果的替换了子类的重写。
替换的结果,就是虽然我们在“08-Class_Method_And_Private_Method.m”里面的cattle[4]l里面使用UnknownBull是图返回UnknownBull对象,我们也确实得到了UnknownBull对象,但是不同的是,我们在cattleWithLegsCountVersionD里面狸猫换太子,把UnknownBull的saySomething变成了Cattle的saySomething。
让我们回到图8-1,我们发现最后一行的输出为Cattle的saySomething。
关于final的实现方式,我们当然可以使用一个文明的方法来告知子类的使用者,我们不想让某个方法被重写。我们只需要定义一个宏
类的使用者看到这个FINAL之后,笔者相信在绝大多数时候,他会很配合你不会重写带FINAL定义的方法的。
我们在本章里面讲述了方法私有化,类方法的定义和使用,动态方法替换等技术手段,也给大家强调和澄清了self的概念。
更重要的是,笔者向大家介绍了一些潜规则,希望大家可以遵守。
非常感谢大家这些天对我的鼓励以及支持!