iOS9新特性，泛型

泛型：限制类型

开发中使用场景：

    1.限制集合中的类型，只能检测方法的调用，因为声明的泛型只能存在方法中

    2.当一个类在声明的时候，某个对象的属性不确定，只有创建对象的时候才能确定，就可以使用泛型。

 

 定义泛型

 书写格式：放在类型的后面，表示限制这个类型

   //  定义泛型 : 确定类型

@property (nonatomic, strong) NSMutableArray<NSString *> *array;

这样定义后表示array中只能存NSString的类型

我们调用self.array addObject的时候  Xcode提示我们传入的类型为NSString 类型

我直接取到array中的第一个元素

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