iOS 泛型 ObjectType 协变 __covariant 逆变 __contravariant
iOS 泛型 ObjectType 协变 __covariant 逆变 __contravariant
s_在路上
发布于 2018-09-30 10:55:59
发布于 2018-09-30 10:55:59
泛型使用场景:
- 在集合(数组、字典、NSSet)中使用泛型比较常见。
- 当声明一个类，类里面的某些属性的类型不确定，这时候我们才使用泛型。
泛型书写规范 在类型后面定义泛型：
NSMutableArray<UITouch *> *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<ObjectType> : NSObject
// 语言
@property (nonatomic, strong) ObjectType language;
@end
- (void)test {
Java *java = [[Javaalloc]init];
iOS *ios = [[iOSalloc]init];
// iOS 指定这个人会的是iOS
Person<iOS *> *p = [[Personalloc]init];
p.language = ios;
// Java 指定这个人会的是Java
Person<Java *> *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<iOS *> *p = [[Personalloc]init];
p.language = ios;
// Language 都会
Person<Language *> *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<Language *> *p = [[Personalloc]init];
p.language = language;
// iOS 只会iOS
Person<iOS *> *p1 = [[Personalloc]init];
p1 = p;
// 如果没添加逆变会报指针类型错误警告
}本文参与 腾讯云自媒体分享计划，分享自作者个人站点/博客。
原始发表：2018.09.14 ，如有侵权请联系 cloudcommunity@tencent.com 删除
评论
登录后参与评论
推荐阅读