instancetype 与 id for Objective-C

1、instancetype只能用于方法的返回类型，而id用处和NSObject *类似。

2、instancetype 和 NSObject * 会告诉编译器当前的类型，但id对于编译器却是无类型的，调用任何方法不会给出错误提示。

3、对于init方法，id和instancetype是没有区别的。因为编译器会把id优化成instancetype。当明确返回的类型就是当前Class时，使用instancetype能避免id带来的编译不出的错误情况。

4、NSObject Class和id都是仅包含了一个Class isa。但NSObject 包含了更多方法的定义。

5、id和instancetype都能省去具体类型，提高代码的通用性。而这是NSObject *不及的。

6、个人认为：instancetype是对id和NSObject *两者不足的一个补充。

instancetype 与 id for Objective-C

instancetype vs id for Objective-C

新的LLVM编译器为我们带来了ARC, Object Literal and Scripting, Auto Synthesis等特性，同时也引入了instancetype关键字。instancetype用来表示Related Result Types(相关返回类型)，那么它与id有什么不同呢？

根据Cocoa的命名惯例，init, alloc这类的方法，如果以id作为返回类型，会返回类本身的类型。

1
2
3

@interface Person
- (id)initWithName:(NSString *)name;
+ (id)personWithName:(NSString *)name;

但类方法的返回类型，LLVM(或者说Clang)却无法判断，我们来看一段代码：

1
2
3

// You may get two warnings if you're using MRC rather than ARC
[[[NSArray alloc] init] mediaPlaybackAllowsAirPlay]; // ❗ "No visible @interface for `NSArray` declares the selector `mediaPlaybackAllowsAirPlay`"
[[NSArray array] mediaPlaybackAllowsAirPlay]; // It's OK. But You'll get a runtime error instead of a compile time one

[NSArray array]除非显式转换为(NSArray *)，否则编译器不会有错误提示。如果使用instancetype就不会有这样的问题：

1
2
3

@interface Person
- (instancetype)initWithName:(NSString *)name;
+ (instancetype)personWithName:(NSString *)name;

简单来说，instancetype关键字，保证了编译器能够正确推断方法返回值的类型。这种技术基本从iOS 5的UINavigationController里就开始应用了。

Clang的文档里提到instancetype is a contextual keyword that is only permitted in the result type of an Objective-C method. 也就是说，instancetype只能作为返回值，不能像id那样作为参数。