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 *> *p1 = [[Person alloc]init];  //对象p1里面的car变量的类型就是Car类型了
Person<Truck *> *p2 = [[Person alloc]init];  //对象p2里面的car变量的类型就是Truck类型了

泛型的好处： 提高程序员的开发规范，减少交流成本 从数组和字典中取出的值都是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

__kindof：相当于,表示某个类或者他的子类 设计模型中可以使用，当给某个类提供类方法，想让外界调用能看到创建什么对象，并且不报警告。

@interface Person : NSObject
@property (nonatomic, strong) NSString *name;

+ (__kindof Person *)person;

@end

results matching ""

    No results matching ""