iOS 9新特性、泛型、__kindof的使用

iOS 9新特性关键字：nonnull、nullable、null_resettable

注意这几个关键字都是用来修饰对象类型的！

一、nonnull

1、作用：表示不能为空

2、举例说明：

• 属性
  nonnull 声明的属性不能为空(getter方法和setter方法都有)

  //写法一
  @property (nonnull, nonatomic, copy) NSString *name;
  //写法二，小写时为两个下划线
  @property (nonatomic, copy) NSString *__nonnull name;
  //写法三，大写时为一个下划线
  @property (nonatomic, strong) NSString *_Nonnull name;
  

  这里需要注意一个问题：

  //系统会有警告不能给这个属性赋nil
  person.name = nil;
  //下面这里系统不会识别到
  NSString *string = nil;
  [person setName:string];
  

  如下图所示

1.png

• 每个属性都要写关键字很麻烦，用下面的方法

  NS_ASSUME_NONNULL_BEGIN
  @interface ViewController : UIViewController
  @property (nonatomic, weak) UILabel *label;
  @property (nonatomic, weak) UIButton * __nullable button;
  @property (null_resettable, nonatomic, strong) NSArray *friends;
  @end
  NS_ASSUME_NONNULL_END
  
  在 NS_ASSUME_NONNULL_BEGIN 和 NS_ASSUME_NONNULL_END 之间,
  定义的所有对象属性和方法默认都是 nonnull
  NS_ASSUME_NONNULL_BEGIN
  NS_ASSUME_NONNULL_END 要成对出现，不然报错
  一般用于头文件.h 将声明包含起来针对所有属性添加 nonnull 修饰
  也就是说, 除了 nullable 和 null_resetable 需要加修饰, 其他都不需要加修饰
  看下面对比图：
  

2.png

屏幕快照 2016-07-23 20.35.42.png

• 系统的代码提示
  系统提示该方法的参数不能为空

  [array addObject:(nonnull NSString *)];
  

iOS 9以后系统都添加了这些关键字，方便开发者使用，我们也应该给自己的工程添加这些关键字，这样可以很明确的告诉其他人接口中的参数是否可以为空

二、nullable

1、作用：表示可以为空

2、举例说明：

• 属性

  nullable 声明的属性可以为空
  //写法一
  @property (nullable, nonatomic, copy) NSString *gender;
  //写法二，小写时为两个下划线
  @property (nonatomic, copy) NSString * __nullable gender;
  //写法三，大写时为一个下划线
  @property (nonatomic, strong) NSString * _Nullable gender;
  

• 系统代码提示

  [person setGender:(NSString * _Nullable)];  
  下方是系统头文件中的方法，参数的关键字为nullable
  - (NSString *)uppercaseStringWithLocale:(nullable NSLocale *)locale
  

三、null_resettable

1、作用：setter可为空, gette不可为空

  setter方法是nullable（可以赋空值），getter方法是nonnull（取值不能为空）

2、举例说明：

• 属性

  //view是UIViewController头文件中的属性
  @property(null_resettable, nonatomic,strong) UIView *view;
  //tintColor是UIView头文件中的属性
  @property(null_resettable, nonatomic, strong) UIColor *tintColor
  

• 当看到由null_resettable修饰的属性时，就应该猜想这个属性的初始化采用了懒加载方式

@property (nonatomic, strong, null_resettable) UITableView *tableView;

四、泛型

1、带泛型的容器（规定容器中所存储的数据类型）

(1)带泛型的数组

声明一个可变数组, 内部存放的都是NSString
1.数组中添加其他类型会有警告
2.数组取出来的类型不再是id类型, 会对应变成声明时的类型
3.泛型会改变类的一些方法, 使与声明的类型相同
看下图的情况：

屏幕快照 2016-07-23 21.05.14.png

在初始化的时候可以在数组中存储不同类型的数据
完成初始化后就只能添加声明类型的数据

取出来的类型再也不会是id类型啦，如下所示，firsObject属性有固定的类型（自己声明的类型）

屏幕快照 2016-07-23 21.09.38.png

声明了容器中存储的数据类型后系统的方法会有相应的提示，从
下图可以看到可变数组addObject：方法的参数有了规定的类型

屏幕快照 2016-07-23 21.13.43.png

（2）带泛型的字典

屏幕快照 2016-07-24 08.40.35.png

可以看到使用泛型规定了字典key和value的数据类型后，向字典中添加其他类型（如图中的数组）
时会有类型不匹配的警告。而从字典中取出的value也有了固定的类型（图中规定的是NSString），
因此可以通过取出来的value使用getter方法得到字符串的length属性

（3）自定义泛型

首先我们来看下什么是自定义泛型，下图是系统NSMutableArray头文件中的声明，可以看到
在类名后面添加一对< >符号，中间是自定义泛型的名字（可以自己起名），后边以 ：父类名结束
声明好自定义泛型之后，头文件中方法的参数类型就可以使用自定义泛型来修饰了，如下图所示

屏幕快照 2016-07-24 08.47.34.png

这里自定义泛型只能在声明部分写，在.m实现文件中则需使用id类型来表示自己定义的泛型，请看下图
在自定义的Truck类.m文件中使用id来表示Truck类.h文件中的自定义泛型

屏幕快照 2016-07-24 08.53.24.png

五、协变性与逆变性

还是先来看看实际的例子来了解下什么是协变性和逆变性吧，
下图是系统 NSArray 的头文件部分，可以看到它使用了自定义泛型并命名为 OBjectType，
在自定义泛型前加了一个 __covariant 的修饰符，这个修饰符就表示协变性

屏幕快照 2016-07-24 09.02.33.png

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

六、__kindof

• 一般用在方法的返回值

自定义类Truck的声明部分

屏幕快照 2016-07-24 09.22.32.png

自定义类Truck的实现部分

屏幕快照 2016-07-24 09.11.32.png

分析上图：加__kindof修饰后，该方法的返回值原本是NSArray，
但是方法里边却返回了一个NSArray的子类NSMutableArray，
也就是说，加__kindof修饰后，本类及其子类都可返回，
调用时可以使用本类或者本类的子类去接收方法的返回值，请看下图的方法调用：

屏幕快照 2016-07-24 09.20.01.png

如上图所示使用自定义的Truck类调用方法，
使用NSArray和NSMutableArray来接收返回值都是正确的

• 系统中的使用请看下图:

系统的UITableViewCell的中有这样的写法

屏幕快照 2016-07-25 14.59.13.png