objective-c - 为什么在方法签名中使用 (id) 而 (NSObject *) 会更精确？

Question

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

@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) 的正当理由，但我只是没有看到它。我错过了什么？

Answer 1

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

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

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

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

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

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

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

---

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

即NSArray的 +array 方法现在可以声明为:

+ (instancetype) array;

编译器会处理 [NSMutableArray array]作为返回 NSMutableArray*同时 [NSArray array]将被视为返回 NSArray* .