三个主要的新特性：

Nullability             判空性
Lightweight Generics    轻量级泛型
__kindof

Nullability

接口中 nullable 的是少数，所以为了防止写一大堆 nonnull，Foundation 还提供了一对儿宏，包在里面的对象默认加 nonnull 修饰符，只需要把 nullable 的指出来就行，黑话叫 Audited Regions。

NS_ASSUME_NONNULL_BEGIN
NS_ASSUME_NONNULL_END

Nullability 在编译器层面提供了空值的类型检查，在类型不符时给出 warning，方便开发者第一时间发现潜在问题。不过我想更大的意义在于能够更加清楚的描述接口，是主调者和被调者间的一个协议，比多少句文档描述都来得清晰。

打个比方：

+ (nullable instancetype)URLWithString:(NSString *)URLString;

NSURL 的这个 API 前面加了 nullable 后，更加显式的指出了这个接口可能因为 URLString 的格式错误而创建失败，使用时自然而然的就考虑到了判空处理。

不仅是属性和方法中的对象，对于局部的对象、甚至 c 指针都可以用带双下划线的修饰符，可以理解成能用 const 关键字的地方都能用 Nullability。

所以 Nullability 总的来说就是，写着丑B，用着舒服 - -

Lightweight Generics 轻量级泛型

轻量是因为这是个纯编译器的语法支持（llvm 7.0），和 Nullability 一样，没有借助任何 objc runtime 的升级，也就是说，这个新语法在 Xcode 7 上可以使用且完全向下兼容

NSArray<nsstring *> *strings = @[@"sun", @"yuan"];
@property (readonly) NSArray<nsurl *> *imageURLs;

自定义一个 Stack 容器类：

@interface Stack<objecttype> : NSObject

- (void)pushObject:(ObjectType)object;

- (ObjectType)popObject;

@property (nonatomic, readonly) NSArray<objecttype> *allObjects;

@end

这个 ObjectType 是传入类型的 placeholder，它只能在 @interface 上定义（类声明、类扩展、Category），如果你喜欢用 T 表示也 ok，这个类型在 @interface 和 @end 区间的作用域有效，可以把它作为入参、出参、甚至内部 NSArray 属性的泛型类型，应该说一切都是符合预期的。我们还可以给 ObjectType 增加类型限制，比如：

// 只接受 NSNumber * 的泛型
@interface Stack<objecttype: nsnumber *> : NSObject


__covariant - 协变性，子类型可以强转到父类型（里氏替换原则）

__contravariant - 逆变性，父类型可以强转到子类型（WTF?）

协变是非常好理解的，像 NSArray 的泛型就用了协变的修饰符

__kindof

__kindof 这修饰符还是很实用的，解决了一个长期以来的小痛点，拿原来的 UITableView 的这个方法来说：

- (id)dequeueReusableCellWithIdentifier:(NSString *)identifier;

使用时前面基本会使用 UITableViewCell 子类型的指针来接收返回值，所以这个 API 为了让开发者不必每次都蛋疼的写显式强转，把返回值定义成了 id 类型，而这个 API 实际上的意思是返回一个 UITableViewCell 或 UITableViewCell 子类的实例，于是新的 __kindof 关键字解决了这个问题：

- (__kindof UITableViewCell *)dequeueReusableCellWithIdentifier:(NSString *)identifier;

既明确表明了返回值，又让使用者不必写强转。