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

一、nonnull

1、作用：表示不能爲空

2、舉例說明：

• 屬性

  nonnull 聲明的屬性不能爲空(getter方法和setter方法都有)
  @property (nonnull, nonatomic, copy) NSString *name;//寫法一
  @property (nonatomic, copy) NSString *__nonnull name;//寫法二，小寫時爲兩個下劃線
  @property (nonatomic, strong) NSString *_Nonnull name;//寫法三，大寫時爲一個下劃線
  這裏需要注意一個問題：
  person.name = nil;//系統會有警告不能給這個屬性賦nil
  NSString *string = nil;
  [person setName:string];//這裏系統不會識別到
  如下圖所示

屏幕快照 2016-07-23 19.56.31.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需要加修飾, 其他都不需要加修飾
  看下面對比圖：

屏幕快照 2016-07-23 20.34.09.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的中有這樣的寫法

作者：嘴角微寒
鏈接：http://www.jianshu.com/p/3f73e696dd4d
來源：簡書
著作權歸作者所有。商業轉載請聯繫作者獲得授權，非商業轉載請註明出處。