OC中的一些修饰关键字

@property (nullable, nonatomic, strong) NSString *name;

@property (nonatomic, strong) NSString * _Nullable name;

@property (nonatomic, strong) NSString * __nullable name;

@property (nonnull, nonatomic, strong) NSString *name;

@property (nonatomic, strong) NSString * _Nonnull name;

@property (nonatomic, strong) NSString * __nonnull name;

null_resettable: 当用此关键字修饰对象属性时, 表示通过getter方法获取的对象属性不为空，通过setter方法进行赋值时可以为空, 而且必须实现其getter或者setter方法, 不然会报警告.
泛型

可以通过泛型的特性来限制数组中的元素只能为某一种类型, 例如有一个数组，我们想让放入里面的元素都为NSString类型, 那么可以这么写：

@property (nonatomic, strong) NSMutableArray * names;

我们也可以自定义泛型:
下面我们新建一个Animal类, 并给Animal类添加一个表示物种的属性species, 这个属性的类型时是不确定的.
Animal.h中代码如下：

#import 

@interface Animal : NSObject
@property (nonatomic, strong) ObjectType species;
@end

接着在ViewController.m进行测试，在初始化时如果指定了ObjectType为某一类型后, 在对属性species进行赋值时, xcode会进行提示species所需的类型，如下图：

自定义泛型

__covariant: 协变, 子类可以强转为父类(里氏替换原则).
__contravariant: 逆变, 父类可以强转为子类.
新建两个Animal对象a和b，分别制定属性的类型为NSString和NSMutableString类型，通过a和b进行强转时会出现如下警告：

强转时报错

如果想要a = b不报警，也就是允许子类强转为父类，则需要在Animal.h加入__covariant关键字, 代码如下：

#import 

@interface Animal<__covariant ObjectType> : NSObject
@property (nonatomic, strong) ObjectType species;
@end

如果想要b = a不报警，也就是允许父类强转为子类，则需要在Animal.h加入__contravariant关键字, 代码如下：

#import 

@interface Animal<__contravariant ObjectType> : NSObject
@property (nonatomic, strong) ObjectType species;
@end

例如在UITableView类中有如下方法：

- (nullable __kindof UITableViewCell *)cellForRowAtIndexPath:(NSIndexPath *)indexPath;

这里的__kindof表示的含义就是该方法返回的是UITableViewCell对象，或者是UITableViewCell的子类对象.