Objective-C 的方法原型及重载和覆盖

Objective-C 的方法原型及重载和覆盖

前一篇是：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 时可以动态绑定到子类实现上去。

上面的说法会让人感觉太模糊，下面例子看下：

#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];}@endint 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 在碰到这种情况时的表现，运行如下代码：

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)。

本文链接 http://unmi.cc/objectivec-prototype-overload-override, 来自隔叶黄莺 Unmi Blog