这一特性和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
|