泛型：限制类型
// 定义泛型：确定类型
@property (nonatomic, strong) NSMutableArray<NSString *> *array;
-
开发中使用场景：
- 限制集合中的类型。
注意：泛型只能检测方法的调用，换句话说泛型只能用来修饰方法，因为声明的泛型，只能放在方法中，属性中使用泛型的实质是在getter和setter方法中使用泛型。 - 当一个类在声明的时候，类里面的某个对象的属性不确定，只有创建对象的时候才确定，这时候可以使用泛型。
- 限制集合中的类型。
泛型书写格式:放在类型后面，表示限制这个类型.
-
泛型的好处:
- 提高程序员开发规范，减少交流成本。
- 从数组或者字典取值，都是id类型，不能调用点语法；但是使用泛型，取出来的对象，直接当做泛型对象使用，可以直接使用点语法。例如上面定义的array[0]可以直接当做NSString对象使用。
自定义泛型:模仿数组
- 需求案例：
假设有个Person，这个人会编程语言，但是在定义的时候不确定，只有在创建对象的时候才确定。（代码如下）
// 声明泛型：不确定类型
@interface Person<ObjectType> : NSObject
/*
language属性的类型（即ObjectType位置）可以写以下三种类型：
- id 类型：表示可以传任何对象，不受控制
- Launguage类型：可以传Launguage类型及其子类，但是在赋值的时候没有提示
- 泛型：声明泛型，在创建对象的时候，确定泛型，在赋值就有提示了。
*/
@property (nonatomic, strong) ObjectType language;
@end
// 定义泛型，即在创建对象的时候，确定泛型
Person<IOS *> *p = [[Person alloc] init];
p.language = [[IOS alloc] init];
泛型中的协变，逆变
- 协变，逆变：是两个用于修饰泛型的关键字。
- 作用：用于数据类型的强制转换。默认带有泛型的变量，互相赋值有报警告，使用协变，逆变，就能解决。
- 用法：用在不确定泛型的声明中。
// 协变（__covariant）：向上转型，允许子类转换成父类
@interface Person<__covariant ObjectType> : NSObject // 声明Person类为协变泛型
@property (nonatomic, strong) ObjectType language;
@end
Person *p = [[Person alloc] init];
Person<IOS *> *iosP = [[Person alloc] init];
p = iosP; // 子类iosP转换成父类p类型，并赋值给p
// 逆变（__contravariant）：向下转型，允许父类转换成子类
@interface Person<__contravariant ObjectType> : NSObject // 声明Person类为逆变泛型
@property (nonatomic, strong) ObjectType language;
@end
Person *p = [[Person alloc] init];
Person<IOS *> *iosP = [[Person alloc] init];
iosP = p; // 父类p转换成子类iosP类型，并赋值给iosP
