2015年的 WWDC 中介绍了几个 Objective-C 语言的新特性，有新特性，那么我们就去了解它们下吧。
Nullability
Nullability其实在Xcode6.3里就已经出现了。
@property (nonatomic, copy, nonnull) NSString *str;
@property (nonatomic, copy, readonly, nullable) NSArray *arr;
+ (nullable NSString *)confirmWithString:(nonnull NSString *)str;
上面的两个属性和一个方法的声明中添加了 nonnull 和 nullable ,很明显，前者是不可空，后者是可空的意思。
当然在给变量添加修饰时，就能在前面加上两个下划线了，就如 __nullable 一样。例：
@interface TestClass() {
NSString * __nullable str;
}
除此之外还有一个 null_resettable ,它意思是setter nullable，但是 getter nonnull。简单来说就是可以赋值为nil，但是你获取的值必定不是nil。
在代码里重复写nonnull一定是一件非常蛋疼的事情，毕竟coding的原则是DRY，所以 NS_ASSUME_NONNULL_BEGIN , NS_ASSUME_NONNULL_END 这对宏就出现了。它的意思是把它们之间的对象都设置为nonnull，如果是nullable，那么我们得显式声明下。
NS_ASSUME_NONNULL_BEGIN
@interface TestClass : NSObject
@property (nonatomic, copy, nullable) NSString *str;
@property (nonatomic, copy) NSArray *arr;
- (nullable NSString *)getString;
@end
NS_ASSUME_NONNULL_END
Nullability 在编译器层面提供了空值的类型检查，在类型不符时给出 warning，方便开发者第一时间发现潜在问题。不过我想更大的意义在于能够更加清楚的描述接口，是主调者和被调者间的一个协议，比多少句文档描述都来得清晰。
Lightweight Generics
Lightweight Generics 轻量级泛型，轻量是因为这是个纯编译器的语法支持（llvm 7.0），和 Nullability 一样，没有借助任何 objc runtime 的升级，也就是说，这个新语法在 Xcode 7 上可以使用且完全向下兼容（更低的 iOS 版本）
看到上面对 Lightweight Generics 的描述，是不是特别爽，以后可以用泛型拉！泛型拉！！泛型拉！！！因为之前学过用C#写web，超级享受泛型带来的代码智能提醒。那么Objective-C的泛型会不会带来这种体验，Let’s try it！
类ClassOne
@interface ClassOne : NSObject
@property (nonatomic, copy) NSString *classOneDes;
@end
ViewController
@interface ViewController ()
@property (nonatomic, strong) NSMutableArray<ClassOne *> *testArr;
@end
竟然真的支持智能提醒！！爽的不要不要的。再也不用担心强转了！！！！
竟然在取值有智能提醒了，那么在赋值时，会不会有提醒呢？仍旧是上面的属性：
[self.testArr addObject:<#(nonnull ClassOne *)#>]
提示我们 self.testArr中必须是添加一个 ClassOne对象。假设我们添加一个NSString：
[self.testArr addObject:@"1"];
接着，编译器出现警告啦。
其实泛型和之前的 Nullability最重要的作用是丰富了接口描述信息，例如
@property (readonly) NSArray<NSString *> *imageURLs;
@property (readonly) NSArray<NSURL *> *avatarURLs;
这样就可以描述清楚 imageURLs 存的是NSString，而 avatarURLs 存的则是 NSURL 。
在Objective-C中常用的容器类型都增加了泛型支持，甚至连 NSEnumerator 都支持了。那么我们是否可以自定义泛型类呢？？？try try try。
我们先看一下NSArray的头文件定义的属性：
@interface NSArray<__covariant ObjectType> : NSObject <NSCopying, NSMutableCopying, NSSecureCoding, NSFastEnumeration>
@property (readonly) NSUInteger count;
- (ObjectType)objectAtIndex:(NSUInteger)index;
- (instancetype)init NS_DESIGNATED_INITIALIZER;
- (instancetype)initWithObjects:(const ObjectType [])objects count:(NSUInteger)cnt NS_DESIGNATED_INITIALIZER;
- (nullable instancetype)initWithCoder:(NSCoder *)aDecoder NS_DESIGNATED_INITIALIZER;
@end
NSArray的头文件中，多了一个 ObjectType ，从字面意思来讲是对象类型，在NSArray中声明的方法中也使用到了 ObjectType ，猜测它的作用类似C#泛型中的 T 。
那么我们来验证下，按照NSArray的定义方式来自定义一个容器类。
@interface Container <ObjectType> : NSObject
- (void)pushObject:(ObjectType)object;
- (ObjectType)popObject;
@property (nonatomic, readonly) NSArray<ObjectType> *allObjects;
@end
定义这样一个头文件，并实现。然后我们尝试使用这个自定义泛型类。
@interface ViewController ()
@property (nonatomic, strong) Contanier<NSString *> *contanier;
@end
的确，可以实现自定义泛型，具体的使用，大家可以尝试下。
自定义泛型类中的 ObjectType 在 @interface 和 @end 区间的作用域有效，可以把它作为入参、出参、甚至内部 NSArray 属性的泛型类型。
大家一定看到了 NSArray 的头文件中ObjectType前面有一个 __covariant 修饰符，那么这个是什么意思呢？
不指定泛型类型的 Stack 可以和任意泛型类型转化，但指定了泛型类型后，两个不同类型间是不可以强转的，假如你希望主动控制转化关系，就需要使用泛型的协变性和逆变性修饰符了：
协变性
__covariant - 协变性，子类型可以强转到父类型。
逆变性
__contravariant - 逆变性，父类型可以强转到子类型。
协变性用的比较多，例如将 NSArray
那么逆变性呢？将一个父类型转换成子类型。这是一个具有风险的事情。比如 你将一个NSArray 的对象赋值给NSArray<NSNumber > * 对象，很明显，前者的对象中可能是 NSString 类型，这时如果设置具有逆变性，那么赋值将会出现问题。
所以逆变性慎用！！！
__kindof
kindof这修饰符还是很实用的，解决了一个长期以来的小痛点，拿原来的 UITableView 的这个方法来说：- (id)dequeueReusableCellWithIdentifier:(NSString *)identifier;
使用时前面基本会使用 UITableViewCell 子类型的指针来接收返回值，所以这个 API 为了让开发者不必每次都蛋疼的写显式强转，把返回值定义成了 id 类型，而这个 API 实际上的意思是返回一个 UITableViewCell 或 UITableViewCell 子类的实例，于是新的 kindof 关键字解决了这个问题：- (__kindof UITableViewCell )dequeueReusableCellWithIdentifier:(NSString )identifier;
既明确表明了返回值，又让使用者不必写强转。再举个带泛型的例子，UIView 的 subviews 属性被修改成了：@property (nonatomic, readonly, copy) NSArray subviews;
这样，写下面的代码时就没有任何警告了：
UIButton button = view.subviews.lastObject;
References: