协变性与逆变性和类型拓延符的使用

最新推荐文章于 2022-10-24 19:21:26 发布

chengpoujue4939

最新推荐文章于 2022-10-24 19:21:26 发布

阅读量79

点赞数

原文链接：https://my.oschina.net/huanglaifengLove/blog/716786

版权

本文深入探讨了泛型集合中的协变(__covariant)与逆变(__contravariant)概念，解释了如何解决类型转换警告，并介绍了类型延拓符__kindof的应用，以简化UIView子类指针的处理。

摘要由CSDN通过智能技术生成

协变性与逆变性

    因为有了泛型集合的概念，相比之前，我们的类型实际上更加复杂了，比如还拿我们自定义的集合类型来举例：

MyArray<NSString *> * array;
MyArray<NSMutableString *>*muArray;

array和muArray在编译器看来已经是不同的类型，如果我们强行转换，会报如下的警告：

因此，就有了逆变和协变这个概念：

__covariant :子类型指针可以向父类型指针转换

__contravariant:父类型指针可以向子类型转换

上面的情况，我们将自定义的类做如下修改，就不会出现警告：

[@interface](http://my.oschina.net/u/996807) MyArray<__covariant Type> : NSObject @property(nonatomic,strong,nonnull)NSMutableArray<Type> *array; -(void)addObject:(nonnull Type)obj; [@end](http://my.oschina.net/u/567204) 四、类型延拓符的应用

    在开发中，开发者经常会遇到这样的情况，例如通过tag获取某些UI控件时，viewWithTag方法通常会返回给我们一个UIView类型的指针，这就需要开发者手动的强转一下，十分麻烦。新增加的__kindof修饰符可以帮助我们解除这个烦恼。我们还从自定义的那个数组类开刀，对其添加一个属性：

[@interface](http://my.oschina.net/u/996807) MyArray<__covariant Type> : NSObject @property(nonatomic,strong,nonnull)NSMutableArray<Type> *array; @property(nonnull,strong,nonatomic)NSMutableArray<UIView *> * viewArray; -(void)addObject:(nonnull Type)obj; @end 创建一个自定义的数组对象，并向其中添加一个UIButton，我们会看到有如下一个警告：

这也是我们开发中常遇到的问题，对吧，以前需要强转。但是以后就不需要了，我们在声明这个数组时加上一个__kindof修饰符：可以不再进行强转

@property(nonnull,strong,nonatomic)NSMutableArray<__kindof UIView *> * viewArray; 警告就消失了，很cool吧。

这个修饰符就是告诉编译器，这里可以返回UIView的子类指针。

转载于:https://my.oschina.net/huanglaifengLove/blog/716786