标签：
泛型：限制类型@property (nonatomic, strong) NSMutableArray<NSString *> *array;
这样定义后表示array中只能存NSString的类型
我们调用self.array addObject的时候 Xcode提示我们传入的类型为NSString 类型
self.array[0].length 可以直接调用NSString 的 length函数 说明默认做了一步类型转换
声明类中的泛型：
// 声明泛型：不确定类型
@interface Person< ObjectType> : NSObject
@property (nonatomic, strong) ObjectType car;
@end
在创建对象的时候可以直接传入类型：
Person<Car *> *p = [[Person alloc]init]; 对象p里面的car变量的类型就是Car类型了
泛型的好处：
提高程序员的开发规范，减少交流成本
从数组和字典中取出的值都是id类型，不能调用点语法，使用了泛型就可以调用点语法
默认带有泛型的变量相互赋值会有警告，使用协变和逆变可以解决警告的问题
__covariant 协变 向上转型，子类转父类
__contravariant 逆变 向下转型，父类转子类
SedanCar 的父类是Car类
// 声明泛型：声明时候使用了__covariant关键字
@interface Person<__covariant ObjectType> : NSObject
@property (nonatomic, strong) ObjectType language;
@end
那么 Person<Car *> *p1 = [[Person alloc]init];
Person<SedanCar *> *p2 = [[Person alloc]init];
p1 = p2;
p2赋值给p1就不会有警告
如果使用了__contravariant关键字 将p1赋值给p2就不会产生警告
__kindof：相当于,表示某个类或者他的子类
设计模型中可以使用，当给某个类提供类方法，想让外界调用能看到创建什么对象，并且不报警告。
@interface Person : NSObject
@property (nonatomic, strong) NSString *name;
+ (__kindof Person *)person;
@end
标签：
原文地址：http://blog.csdn.net/u013232867/article/details/51330177
