objective-c - 为什么从sharedInstance返回id

Question

sharedInstance 模式的许多示例都会返回 id:

+ (id)sharedInstance
{
    static MyClass *sharedInstance = nil;
    static dispatch_once_t onceToken;
    dispatch_once(&onceToken, ^{
        sharedInstance = [[self alloc] init];
    });
    return sharedInstance;
}

而不是类实例:

+ (MyClass*)sharedInstance
{
    static MyClass *sharedInstance = nil;
    static dispatch_once_t onceToken;
    dispatch_once(&onceToken, ^{
        sharedInstance = [[self alloc] init];
    });
    return sharedInstance;
}

这是为什么呢？一个一定比另一个更好吗？

Answer 1

是的，从设计和可维护性的角度来看，返回 id、instancetype 或特定类之间存在重大差异。

id:是这组中最旧的。除非在 +alloc 或 -init 系列的方法中使用它，否则类型推断将被放弃，并且返回的对象被假定为具有任何类型。它通常由编译器隐式转换为您在声明中碰巧使用的任何具体类型。 init-家族风格的推理可以通过在方法名称前加上 alloc 或 new 前缀来使用类方法来恢复，并且在实例方法中通过前缀方法名称包含 autorelease、init、retain 或 self。

instancetype:是一个新成员，它向具有“相关”返回类型的方法授予 -init-family 样式类型推断(如与它们所在的类相关)限制于)。它通过将这些语义授予任何标记为返回类型的方法来放宽 id 的推理命名限制。通常，它优于 id，因为您可以针对 id 限制未涵盖的某些方法的错误使用恢复更高的安全性(或者至少获得更好的警告)。

类:仅当您绝对确定您提供的实例不具有特定子类型或希望隐藏它具有特定子类型的事实时才应使用。它对于像 UIColor 这样的类簇或不应该具有像 UIPasteboard 这样的子类型的具体类很有用。因此，它通常用作从特定类继承是不安全的标记。

tl;dr 如果您希望阻止子类化，请具体说明，否则 instancetype。