一.關(guān)鍵字

1.NS_ASSUME_NONNULL_BEGIN 和 NS_ASSUME_NONNULL_END

NS_ASSUME_NONNULL_BEGIN
@property (nonatomic,copy) NSString *name;
@property (nonatomic,copy) NSString *address;
NS_ASSUME_NONNULL_END

NS_ASSUME_NONNULL_BEGIN和NS_ASSUME_NONNULL_END包裹的屬性代表這些屬性是非空的，如果傳入空值，系統(tǒng)會有警告。

屏幕快照 2018-06-07 下午4.01.28.png

2.null_resettable

@property (nonatomic,copy,null_resettable) NSString *name;

null_resettable關(guān)鍵字修飾的屬性 Getter方法的返回值不可以為空 但是Setter方法可以為空，并且如果使用null_resettable修飾屬性，必須重寫屬性的Getter 或者 Setter方法處理值為空的情況。否則會出現(xiàn)如下警告:

屏幕快照 2018-06-07 下午4.21.04.png

在Getter方法中處理值為空的情況(Setter中處理也行)

- (NSString *)name {
    if (!_name) {
        _name = @"默認值";
    }
    return _name;
}

_Null_unspecified表明屬性不確定是否為空.png

二.OC中泛型

1.自定義泛型

新建一個Person類
#import <Foundation/Foundation.h>
@interface Person<ObjectType> : NSObject
@property (nonatomic,strong) ObjectType skill;
@end

調(diào)用【已經(jīng)提前定義了IosProgramming和JavaProgramming兩個類 代表ios編程和java編程】
    //如果不指定泛型  skill的setter類型為id類型 傳入任何值均可
    Person *persion = [[Person alloc] init];
    persion.skill = @"測試";
    //指定泛型為IosProgramming 則skill的setter方法只可以傳IosProgramming類的對象
    Person <IosProgramming *>*persion = [[Person alloc] init];
    persion.skill = [IosProgramming new];
    //指定泛型為JavaProgramming 則skill的setter方法只可以傳JavaProgramming類的對象
    Person <JavaProgramming *>*persion = [[Person alloc] init];
    persion.skill = [JavaProgramming new];

2.__covariant(協(xié)變)、__contravariant(逆變)

__covariant(協(xié)變):用于泛型中的強轉(zhuǎn)類型,表明泛型可以向上強轉(zhuǎn)，子類可以轉(zhuǎn)成父類。
__contravariant(逆變):用于泛型中的強轉(zhuǎn)類型，表明泛型可以向下強轉(zhuǎn),父類可以轉(zhuǎn)成子類。

新建一個Person類
#import <Foundation/Foundation.h>
@interface Person<ObjectType> : NSObject
@property (nonatomic,strong) ObjectType skill;
@end

新建Language、IOS類，Language是IOS的父類
Language類
#import <Foundation/Foundation.h>
@interface Language : NSObject
@end
IOS類
#import "Language.h"
@interface IOS : Language
@end

1.運行下列代碼【子類轉(zhuǎn)父類】:
    Person<Language *> *p_language = [Person new];
    Person <IOS *>*p_ios = [Person new];
    //將p_ios賦值給p_language系統(tǒng)會發(fā)出類型不一致的警告
    p_language = p_ios;
解決辦法:
指定Person的泛型為協(xié)變的：
#import <Foundation/Foundation.h>
@interface Person<__covariant ObjectType> : NSObject
@property (nonatomic,strong) ObjectType skill;
@end

2.運行下列代碼【父類轉(zhuǎn)子類】:
    Person<Language *> *p_language = [Person new];
    Person <IOS *>*p_ios = [Person new];
    //將p_language賦值給p_ios系統(tǒng)會發(fā)出類型不一致的警告
    p_ios = p_language;
解決辦法:
指定Person的泛型為逆變的：
#import <Foundation/Foundation.h>
@interface Person<__contravariant ObjectType> : NSObject
@property (nonatomic,strong) ObjectType skill;
@end

3.__kindof

__kindof 表明返回值類型是當前類或者當前類的子類。
定義一個Person和Son類,Person是Son的子類。在Person中定義一個類方法，用于快速創(chuàng)建Person對象。
id修飾返回值類型

定義類方法
#import <Foundation/Foundation.h>
@interface Person : NSObject
+ (id)person;
@end
編譯下列代碼，并沒有提示類型錯誤。
NSString *son = [Person person];
1.用id修飾返回值類型，不會在編譯時進行類型判斷。
2.返回值類型沒有確切提示。

Person修飾返回值類型

定義類方法
#import <Foundation/Foundation.h>
@interface Person : NSObject
+ (Person *)person;
@end
編譯下列代碼，提示類型不一致。
Son *son = [Son person];
1.用類名修飾返回值類型，子類調(diào)用父類的方法，不會自動識別類型。

instancetype修改返回值類型

定義類方法
#import <Foundation/Foundation.h>
@interface Person : NSObject
+ (Person *)person;
@end
編譯下列代碼，類型不一致的警告消除。
Son *son = [Son person];
1.雖然會自動識別當前對象的類，但是仍然沒有類型提示。

__kindof Person * 修飾返回值類型

定義類方法
#import <Foundation/Foundation.h>
@interface Person : NSObject
+ (__kindof Person *)person;
@end
編譯下列代碼，此時不僅會自動識別當前對象的類，而且也會有類型提示。
Son *son = [Son person];