泛型（iOS_9 新特性）

作用：限制类型

为什么退出泛型：迎合swift

泛型的作用：

1. 限制类型
2. 提高代码的规范，减少沟通的成本

泛型的用法：类型<限制类型>

@porpety(nonatomic, strong) NSMutableArray <NSString *>*arr;

泛型的声明：在声明类的时候，在类的后面<泛型名称>

泛型仅仅是报警告

泛型的好处：
1.从数组中取出来，可以使用点语法（id是不能使用点语法的）

​2.给数组添加元素，有提示

泛型在开发中的使用场景：1.用于限制集合类型

为什么集合可以使用泛型？使用泛型，必须要先声明泛型？=>如何声明泛型

什么时候使用泛型？在声明类的时候，不确定某些属性或者方法类型，在使用的时候才能确定，就可以采用泛型。

自定义Person，会一些编程语言（iOS，java），在声明Person，不确定这个人会什么，在使用Person才知道这个Person会什么语言

@interface Person<ObjectType> : NSObject()
  
  @property (nonatomic, strong) LObjectType language;
  
@end
  
@interface Language : NSObject()
  
@end
  
@interface iOS : NSObject()
@end
  
@interface Java : NSObject()
@end
  
// 定义一个Person
  Person<iOS *> *person = [[Person alloc] init];
  person.language// 这里的language会提示为iOS类型，而不是id类型

__covariant(协变)和__contravariant(逆变)

用法：

@interface Person<__covariant ObjectType> : NSObject() 
  @property (nonatomic, strong) ObjectType language;
@end
// 有个人会iOS和java
  Person<Language *> *person = [[Person alloc] init];
// 有个人只会iOS
  Person<iOS *> *p = [[Person alloc] init];
  person = p;
// 这时候如过之前在定义类的时候我们没有加__covariant，就会报警告说类型不匹配，如果加上去就没有警告
// 并且这中情况是 子类转父类，使用的是__covariant

// 相反的，如果反过来复制，要求不报警告的话，就是父类转子类，这时候我menu应该把__covariant字段换成__contravariant，这时候一下操作就不会报警告
  p = person;

泛型注意点：在数组中，一般可变数组添加方法，泛型才生效，如果使用不可变数组，添加元素，泛型没有效果