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