2、关于一个类型通配符
观察Xcode7中iOS系统的类，我们可以发现这么一个好玩的东西：ObjectType。它既不是一个类型，也不是关键字，然而却大量存在，如下是系统的NSMutableArray的头文件：
@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：
//这个类型通配符只能在interfave里使用，作用域为@interface到@end之间
//这里我使用Type来做这个通配符
@interface MyArray<Type> : NSObject
@property(nonatomic,strong,nonnull)NSMutableArray<Type> *array;
-(void)addObject:(nonnull Type)obj;
@end
实现如下：
- (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、协变性与逆变性
因为有了泛型集合的概念，相比之前，我们的类型实际上更加复杂了，比如还拿我们自定义的集合类型来举例：
MyArray<NSString *> * array;
MyArray<NSMutableString *>*muArray;
array和muArray在编译器看来已经是不同的类型，如果我们强行转换，会报如下的警告：
因此，就有了逆变和协变这个概念：
__covariant :子类型指针可以向父类型指针转换
__contravariant:父类型指针可以向子类型转换
上面的情况，我们将自定义的类做如下修改，就不会出现警告：
@interface MyArray<__covariant Type> : NSObject
@property(nonatomic,strong,nonnull)NSMutableArray<Type> *array;
-(void)addObject:(nonnull Type)obj;
@end
四、类型延拓符的应用
在开发中，开发者经常会遇到这样的情况，例如通过tag获取某些UI控件时，viewWithTag方法通常会返回给我们一个UIView类型的指针，这就需要开发者手动的强转一下，十分麻烦。新增加的__kindof修饰符可以帮助我们解除这个烦恼。我们还从自定义的那个数组类开刀，对其添加一个属性：
@interface 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的子类指针。
五、结语
虽然这些优点在swift中早有体现，但就我个人而言，我对OC的感情会更深一些，也更加愿意接受OC的改变和成长，大家都说swift的趋势势在必行，我只想说，swift很优秀，OC亦然。
