2011-08-23 | 阅读(3,230)
前一篇是：Objective-C 的方法原型及重载，本篇呢在上面的话题稍进一步延伸，方法原型中方法的覆盖关系就较为密切的，所以再说下方法覆盖的话题。
由前面，我们知道，在 Objective-C 中方法原型的得来是这样的，假如方法声明是：
-/+ (返回类型) 方法名: (参数1类型) 形参1 参数2描述: (参数2类型) 形参2 参数3描述: (参数3类型) 形参3 .......
那么它的方法原型则是：
方法名: 参数2描述:参数3描述: .......
关键的是它与参数类型无关。
重载的时候我们应避免方法原型相同，而子父类间进行方法覆盖的时候我们又应该要保持一样的方法原型。
我们可以再一次感性认识一下 Objective-C 的方法原型，从 Xcode 中，当 Command + 鼠标悬停 在调用方法上时：
在 Xcode 中把方法原型给标识了出来，把上蓝色部分连缀起来就是方法的原型，即签名，如上面两方法的签名分别是：
initWithFrame:
presentPopoverFromRect:inView:permittedArrowDirections:animated:
好了，该说今天的主要话题了，体现在多态中，要达到方法的动态绑定，必须使得父子类的两个方法具体一样的原型。因为传统的语方，如 Java/C++/C# 的方法原型与类型是悉悉相关的，对于相互覆盖的两个方法必须接受一样的类型; 而这对于 Objective-C 就宽松了许多。
比如在 Objective-C 中有这样的应用场景，当父类有个方法是， handleData: (Data1 *) data，子类有个方法是，handleData: (Data2 *) data; 虽然它们处理的数据类型不同，Data2 和 Data1 间也没有继承关系，但是它们的方法原型相同，所以可以形成覆盖，这时候当用父类型去引用子实例时，调用 handleData 时可以动态绑定到子类实现上去。
上面的说法会让人感觉太模糊，下面例子看下：
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 |
#import <Foundation/Foundation.h> @interface Data1 : NSObject -(void) foo; @end @implementation Data1 -(void) foo { NSLog(@"I'm Data1 type"); } @end @interface Data2 : NSObject -(void) foo; @end @implementation Data2 -(void) foo { NSLog(@"I'm Data2 type"); } @end @interface Parent : NSObject -(void) handleData: (Data1 *) data; @end @implementation Parent -(void) handleData:(Data1 *)data { [data foo]; } @end @interface Child : Parent -(void) handleData: (Data2 *) data; @end @implementation Child -(void) handleData:(Data2 *)data { [data foo]; } @end int main (int argc, const char * argv[]) { NSAutoreleasePool * pool = [[NSAutoreleasePool alloc] init]; Parent *pp = [[Child alloc] init]; Data2 *data2 = [[Data2 alloc] init]; [pp handleData:data2]; //这行输出 I'm Data2 type Data1 *data1 = [[Data1 alloc] init]; [pp handleData:data1]; //这行输出 I'm Data1 type [pool drain]; return 0; } |
Data1 和 Data2 之间没有父子关系，也就是传入不同的参数类型时可以动态绑定到相不同的方法上去。更要命的是，当类型为 Data1 时执行的是 Parent 的 handleData: 方法，子类和父类的两个 handleData: 形成了互为重载的关系。
上面的代码会出现警告： warning: Semantic Issue: Incompatible pointer types sending 'Data2 *' to parameter of type 'Data1 *'，所以一般来说我们会让 Data2 作为 Data1 的子类的。
Objective-C 的这种特性我们可以用在 IBAction 方法中，例如在 C# 的 WinForm 处理事件时是：
|
|
private void button_Click(object sender, EventArgs e) { Button button = (Button) sender; button.someAttribute = ...... } |
对于 sender 要转型为 Button，其实 IBAction 的默认形式大至如此：
|
|
- (IBAction) buttonClicked: (id) sender ｛ UIButton *button = (UIButton *) sender; //do something with the button ｝ |
但我们直接改变参数的类型，则为：
|
|
- (IBAction) buttonClicked: (UIButton *) button ｛ //do something with the button ｝ |
这样可以省去了强制转型，方法的表意也更直接。
到了这里，如果您还有点耐心的话，可以看看 Java 在碰到这种情况时的表现，运行如下代码：
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 |
package cc.unmi; public class TestOverride { public static void main(String[] args) { Parent p = new Child(); p.foo("String"); //输出 Parent:foo，虽然 String 是 Object 的子类 p.foo(new Object()); //自然输出的是 Parent:foo new Child().foo("String"); //只有这样才输出 Child:foo } } class Parent { public void foo(Object obj){ System.out.println("Parent:foo"); } } class Child extends Parent { public void foo(String s){ System.out.println("Child:foo"); } } |
对于 new Child() 其实是有两个 foo 方法的选择，可以调用 foo(Object)，也可以调用 foo(String)。
<
p style="text-align: center;">
本文采用 署名-非商业性使用-相同方式共享 4.0 国际 (CC BY-NC-SA 4.0) 进行许可。