iOS 泛型 ObjectType 协变 __covariant 逆变 __contravariant

泛型使用场景:

在集合(数组、字典、NSSet)中使用泛型比较常见。
当声明一个类，类里面的某些属性的类型不确定，这时候我们才使用泛型。
泛型书写规范

在类型后面定义泛型：

NSMutableArray *datas

泛型好处:

提高开发规范，减少程序员之间交流
通过集合取出来对象，直接当做泛型对象使用，可以直接使用点语法。
__covariant(协变)：用于泛型数据强转类型，可以向上强转，子类可以转成父类。
__contravariant(逆变)：用于泛型数据强转类型，可以向下强转，父类可以转成子类。

例如：

// __covariant 协变，子类转父类；泛型名字是ObjectType
@interface Person<__covariant ObjectType> :NSObject

// 语言
@property (nonatomic, strong) ObjectType language;

@end

@interface Language : NSObject

@end

@interface Java : Language

@end

@interface iOS : Language

@end

首先是没有添加协变和逆变

@interface Person : NSObject

// 语言
@property (nonatomic, strong) ObjectType language;

@end

- (void)test {

    Java *java = [[Javaalloc]init];
    iOS *ios = [[iOSalloc]init];

    // iOS  指定这个人会的是iOS
    Person *p = [[Personalloc]init];
    p.language = ios;

    // Java   指定这个人会的是Java
    Person *p1 = [[Personalloc]init];
    p1.language = java;
}

添加了协变

// __covariant 子类转父类；泛型名字是ObjectType
@interface Person<__covariant ObjectType> : NSObject

// 语言
@property (nonatomic, strong) ObjectType language;

@end

// 子类转父类
- (void)covariant {

    iOS *ios = [[iOSalloc]init];
    Language *language = [[Languagealloc]init];

    // iOS 只会iOS
    Person *p = [[Personalloc]init];
    p.language = ios;

    // Language 都会
    Person *p1 = [[Personalloc]init];
    p1 = p;

    // 如果没添加协变会报指针类型错误警告
}

添加了逆变

// __contravariant 可以逆变,父类转子类   泛型名字是ObjectType
@interface Person<__contravariant ObjectType> : NSObject

// 语言
@property (nonatomic, strong) ObjectType language;

@end

- (void)contravariant {

    // 第二步 定义泛型
    iOS *ios = [[iOSalloc]init];
    Language *language = [[Languagealloc]init];

    // 父类转子类  都会
    Person *p = [[Personalloc]init];
    p.language = language;

    // iOS  只会iOS
    Person *p1 = [[Personalloc]init];
    p1 = p;  

    // 如果没添加逆变会报指针类型错误警告
}