Question

我有一个应该是抽象的类。在其中一个抽象方法中，返回类型可以是class1，class2或class3的实例，具体取决于实现该方法的类。我想知道如何在抽象类中声明该方法。我想过使用动态类型，但我希望将返回类型限制为3个类中的一个，而不是每个类型，此外我不确定我是否可以覆盖它，以便在继承类中返回类型不会匹配抽象类中的返回类型。

如果你能帮助我，我会很高兴的 TNX！

Answer 1

看看这个：

#import <Foundation/Foundation.h>

@interface A : NSObject { }
- (A*) newItem;
- (void) hello;
@end

@interface B : A { int filler; }
- (B*) newItem;
- (void) hello;
- (void) foo;
@end

@implementation A
- (A*) newItem { NSLog(@"A newItem"); return self; }
- (void) hello { NSLog(@"hello from A"); }
@end

@implementation B
- (B*) newItem { NSLog(@"B newItem"); return self; }
- (void) hello { NSLog(@"hello from B: %d", filler); }
- (void) foo { NSLog(@"foo!"); }
@end

int main (int argc, const char * argv[])
{

    NSAutoreleasePool * pool = [[NSAutoreleasePool alloc] init];

    A *origA = [A new];
    A *myA = [origA newItem];

    NSLog(@"myA: %@", myA);

    B *origB = [B new];
    B *myB = [origB newItem];
    A *myBA = [origB newItem];

    NSLog(@"myB: %@\nmyBA: %@", myB, myBA);

    [origA hello];
    [origB hello];
    [myA hello];
    [myB hello];
    [myBA hello];

    NSLog(@"Covariance?");

    [pool drain];
    return 0;
}

这是相当简洁的语法，内存管理很糟糕，但您可以看到newItem是虚拟的（向newItem发送myBA会返回B）和协变，这似乎是你想要的。

请注意，您也可以这样做：

    B *myAB = (B*)[origA newItem];

但返回A，向其发送foo会告诉您该类不响应选择器#foo。如果您省略了(B*)强制转换，那么在编译时会收到关于此的警告。

但ISTM认为协方差不是大问题，在Objective-C中。

“virtual”方法在objective-c中的返回类型

1 个答案: