11

每当我在自己的代码中实现一个可以接受或返回多个类的对象的方法时，我总是尝试使用最具体的可用超类。例如，如果我要实现一个可能根据其输入返回 NSArray * 或 NSDictionary * 的方法，我会给该方法一个返回类型 NSObject *，因为这是最直接的常见超类。这是一个例子：

@interface MyParser()
- (BOOL)stringExpressesKeyValuePairs:(NSString *)string;
- (BOOL)stringExpressesAListOfEntities:(NSString *)string;
- (NSArray *)parseArrayFromString:(NSString *)string;
- (NSDictionary *)parseDictionaryFromString:(NSString *)string;
@end

@implementation MyParser
- (NSObject *)parseString:(NSString *)string {
    if ([self stringExpressesKeyValuePairs:string]) {
        return [self parseDictionaryFromString:string];
    }
    else if ([self stringExpressesAListOfEntities:string]) {
        return [self parseArrayFromString:string];
    }
}
// etc...
@end

我注意到在 Foundation 和其他 API 中，Apple 在某些方法签名中使用 (id) 的情况很多，而 (NSObject *) 会更精确。例如，这里有一个 NSPropertyListSerialization 的方法：

+ (id)propertyListFromData:(NSData *)data 
          mutabilityOption:(NSPropertyListMutabilityOptions)opt 
                    format:(NSPropertyListFormat *)format 
          errorDescription:(NSString **)errorString

此方法可能的返回类型是 NSData、NSString、NSArray、NSDictionary、NSDate 和 NSNumber。在我看来，返回类型 (NSObject *) 将是比 (id) 更好的选择，因为调用者将能够调用 NSObject 方法，如没有类型转换的保留。

我通常会尝试模仿官方框架建立的习语，但我也想了解是什么激励了他们。我确信 Apple 在这种情况下使用 (id) 有一些正当理由，但我只是没有看到它。我错过了什么？

4

4 回答 4

19

在方法声明中使用 (id) 的原因有两个：

(1) 该方法可以采用或返回任何类型。NSArray 包含任何随机对象，因此objectAtIndex:将返回任何随机类型的对象。将其转换为NSObject*或id <NSObject>将不正确有两个原因；首先，Array 可以包含非 NSObject 子类，只要它们实现了一组特定的方法，其次，特定的返回类型需要强制转换。

(2) Objective-C 不支持协变声明。考虑：

@interface NSArray:NSObject
+ (id) array;
@end

现在，您可以同时+array调用NSArray和NSMutableArray。前者返回一个不可变数组，后者返回一个可变数组。由于 Objective-C 缺乏协变声明支持，如果上面声明为返回(NSArray*)，子类方法的客户端将不得不强制转换为 `(NSMutableArray*)。丑陋，脆弱，容易出错。因此，使用泛型通常是最直接的解决方案。

所以......如果您要声明一个返回特定类的实例的方法，请显式进行类型转换。如果您要声明一个将被覆盖的方法并且该覆盖可能返回一个子类并且它返回一个子类的事实将暴露给客户端，那么使用(id).

无需提交错误——已经有好几个了。

请注意，ObjC 现在通过instancetype关键字具有有限的协方差支持。

ieNSArray的 +array 方法现在可以声明为：

+ (instancetype) array;

并且编译器将[NSMutableArray array]视为返回一段NSMutableArray*时间[NSArray array]将被视为返回NSArray*。

于 2009-12-01T22:17:20.213 回答
8

使用 id 告诉编译器它将是一个未知类型的对象。使用 NSObject，编译器会期望你只使用 NSObject 可用的消息。所以...如果你知道一个数组被返回并且它被转换为 id，你可以调用 objectAtIndex: 没有编译器警告。而带着 NSObject 的演员返回，你会得到警告。

于 2009-12-01T21:38:48.227 回答
1

您已经可以在 id 类型的指针上调用 -retain 而无需强制转换。如果您使用特定的超类类型，则每次调用子类的方法时都必须转换指针以避免编译器警告。使用 id 以便编译器不会警告您并更好地表明您的意图。

于 2009-12-01T21:41:13.760 回答
1

(id) 也经常被返回，以便更容易地对对象进行子类化。例如，在初始化方法和便利方法中，返回 (id) 意味着任何子类都不必重写超类的方法，除非有特定的理由这样做。

于 2011-06-10T20:06:05.070 回答