泛型：限制类型

// 定义泛型：确定类型
@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