instancetype

Objective-C的一些使用惯例不仅仅是好的编程习惯，更是给编译器的隐藏指令。

例如， alloc 和 init 的返回类型都是 id ，然而在Xcode中，编译器会检查所有正确类型。它是怎么做到的呢？

在Cocoa中，约定 alloc 或 init 的方法总是返回接收器类实例的对象。据说这些方法有一个相关返回类型。

虽然类构造方法也是返回 id ，但是类构造方法并没有做同样的类型检查，因为它们不遵循命名规范。

你可以自己试着这样：

[[[NSArray alloc] init] mediaPlaybackAllowsAirPlay]; // ❗ "No visible @interface for `NSArray` declares the selector `mediaPlaybackAllowsAirPlay`"

[[NSArray array] mediaPlaybackAllowsAirPlay]; // (No error)

由于 alloc 和 init 作为相关返回类型遵循命名规范，执行对 NSArray 的正确类型检查。然而，等价类构造函数 array 不遵循命名规范，它被认为是 id 类型。

id 类型对于禁用类型安全性检查非常有用，但当你 确实 需要它的时候却没有时，情况会变得非常糟糕。

另一种显示声明返回类型（在之前例子中的 (NSArray *)）的方式有了稍微的改进，但是它不利于子类的发挥。

所以编译器从这里介入以解决Objective-C类型系统的这个永恒边界情况：

instancetype 关键字，它可以表示一个方法的相关返回类型。例如：

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

instancetype 与 id 不一样, instancetype 只能在方法声明中作为返回类型使用。

使用 instancetype ，编译器将正确的推断出 +personWithName: 是 Person 的一个实例。

为了在不久的将来使用 instancetype ，你可以在Foundation中查找类构造函数。例如UICollectionViewLayoutAttributes 就已经正在使用 instancetype 了。

深层含义

语言特性十分有趣，因为它在高级软件设计方面的的影响往往是模糊的。

然而 instancetype 看似普通，尽管它能为编译器锦上添花，但它可用于更棒的结果。

Jonathan Sterling 写了这篇十分有趣的文章, 文章中详细描述了 instancetype 在没有泛型的情况下是如何用于静态类型collections编码的:

NSURL  *sites = (id)[NSURL mapCollection];
[sites put:[NSURL URLWithString:@"http://www.jonmsterling.com/"]
        at:@"jon"];
[sites put:[NSURL URLWithString:@"http://www.nshipster.com/"]
        at:@"nshipster"];

NSURL *jonsSite = [sites at:@"jon"]; // => http://www.jonmsterling.com/

静态类型collections会使APIs更富有表现力--开发者可以确定一个collection参数中允许使用的对象类型。

不论这是否能在Objective-C中成为公认的规范，更令人着迷的是像 instancetype 这样的底层特性是如何用于改变语言轮廓的(在这种情况下，使其看似更像C#）。

instancetype 只是众多语言之中的一种对Objective-C的扩展，使它更多的被添加到每个新版本中。

认识它并爱上它。

以此作为如何关注底层细节的例子，将给你带来全新的视角以强有力的方式去改变Objective-C。