泛型集合的支持

 这一特性和Nullability一样,只作用于编译期,是为我们开发者服务的另一重要特性。还记得,在Xcode7之前,依然是为了方便多人开发,我经常会在框架中写这样的一个空得宏:

在开发时如下使用,做到提示伙伴我这个数组中是什么东西的作用:

?
1
2
3
4
5
@interface ViewController ()
{
     NSArray __TYPE__FIT_TO__CLASS(NSString) *  array;
}
@end

当然,所有这些都是我自己的自导自演,编译器并不会鸟我,我在这个数组中加其他的东西,它也不会介意,所有这些只是我和我的伙伴们约定的一种一厢情愿。所以,当我看到Xcode7中的集合类型时,我着实兴奋了一下。

1、有类型约定的集合

        在Xcode7中,我们可以给集合类型添加一个泛型的约定,如下:

?
1
  NSMutableArray<NSString *> *array = [[NSMutableArray alloc]init];

声明了这样一个数组后,就好比我告诉了编译器,这个数组中的数据类型都是NSString*类型的,现在非常好,如果我这个数组中元素的方法,会出现如下的提示:

激动吧,使用点语法可以访问到数组中泛型的方法了,还有更加诱人的:

在我们向这个数组中追加元素的时候,编译器将元素的类型提示了出来,并且将FromArray方法中需要的元素类型也提示了出来。

同样,如果我们向这个数组中追加类型不匹配的元素,如下:

?
1
2
     NSMutableArray<NSString *> *array = [[NSMutableArray alloc]init];
     [array addObject:@1];

编译器会给我们一个这样的警告:

2、关于一个类型通配符

        观察Xcode7中iOS系统的类,我们可以发现这么一个好玩的东西:ObjectType。它既不是一个类型,也不是关键字,然而却大量存在,如下是系统的NSMutableArray的头文件:

?
1
2
3
4
5
6
7
8
9
10
@interface NSMutableArray<ObjectType> : NSArray<ObjectType>
- ( void )addObject:(ObjectType)anObject;
- ( void )insertObject:(ObjectType)anObject atIndex:(NSUInteger)index;
- ( void )removeLastObject;
- ( void )removeObjectAtIndex:(NSUInteger)index;
- ( void )replaceObjectAtIndex:(NSUInteger)index withObject:(ObjectType)anObject;
- (instancetype)init NS_DESIGNATED_INITIALIZER;
- (instancetype)initWithCapacity:(NSUInteger)numItems NS_DESIGNATED_INITIALIZER;
- (nullable instancetype)initWithCoder:(NSCoder *)aDecoder NS_DESIGNATED_INITIALIZER;
@end

这个ObjectType其实只是一个类型标识符,它具体怎么写并不重要,只是系统中都约定使用了ObjectType,你也可以在自己的类中按自己的喜好来命名,这个东西有怎样的用处,我用文字描述不清楚,我们可以通过自己来定义一个集合类来理解:

创建一个类,继承于NSObject,我取名叫MyArray:

?
1
2
3
4
5
6
//这个类型通配符只能在interfave里使用,作用域为@interface到@end之间
//这里我使用Type来做这个通配符
@interface MyArray<Type> : NSObject
@property(nonatomic,strong,nonnull)NSMutableArray<Type> *array;
-( void )addObject:(nonnull Type)obj;
@end

实现如下:

?
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
- (instancetype)init
{
     self = [super init];
     if  (self) {
         _array = [[NSMutableArray alloc]init];
     }
     return  self;
}
-( void )addObject:(id)obj{
     [_array addObject:obj];
}
-(NSString *)description{
     NSMutableString * str = [[NSMutableString alloc]init];
     for  ( int  i=0; i<_array.count; i++) {
         [str appendString:[NSString stringWithFormat:@ "%@\n" ,_array[i]]];
     }
     return  str;
}

我们在使用这个自定义的集合类型时,就会有和系统一样的效果了:

3、关于多参数的泛型集合

        多参数的泛型集合,有一个非常好的例子,就是NSDictionary,在Xcode7中我们可以这样写字典:

可以看到,字典键值的类型编译器为我们提示了出来,结合上面类型通配符的使用,对于多参的集合,将参数类型用“,”隔开即可。

4、协变性与逆变性

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

?
1
2
     MyArray<NSString *> * array;
     MyArray<NSMutableString *>*muArray;

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

因此,就有了逆变和协变这个概念:

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

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

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

?
1
2
3
4
@interface MyArray<__covariant Type> : NSObject
@property(nonatomic,strong,nonnull)NSMutableArray<Type> *array;
-( void )addObject:(nonnull Type)obj;
@end
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值