一.关键字
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包裹的属性代表这些属性是非空的，如果传入空值，系统会有警告。
屏幕快照 2018-06-07 下午4.01.28.png
2.null_resettable
@property (nonatomic,copy,null_resettable) NSString *name;
null_resettable关键字修饰的属性 Getter方法的返回值不可以为空 但是Setter方法可以为空，并且如果使用null_resettable修饰属性，必须重写属性的Getter 或者 Setter方法处理值为空的情况。否则会出现如下警告:
屏幕快照 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
调用【已经提前定义了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(协变)、__contravariant(逆变)
__covariant(协变):用于泛型中的强转类型,表明泛型可以向上强转，子类可以转成父类。
__contravariant(逆变):用于泛型中的强转类型，表明泛型可以向下强转,父类可以转成子类。
新建一个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.运行下列代码【子类转父类】:
Person<Language *> *p_language = [Person new];
Person <IOS *>*p_ios = [Person new];
//将p_ios赋值给p_language系统会发出类型不一致的警告
p_language = p_ios;
解决办法:
指定Person的泛型为协变的：
#import <Foundation/Foundation.h>
@interface Person<__covariant ObjectType> : NSObject
@property (nonatomic,strong) ObjectType skill;
@end
2.运行下列代码【父类转子类】:
Person<Language *> *p_language = [Person new];
Person <IOS *>*p_ios = [Person new];
//将p_language赋值给p_ios系统会发出类型不一致的警告
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中定义一个类方法，用于快速创建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.用类名修饰返回值类型，子类调用父类的方法，不会自动识别类型。
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];
