之前在开发中偶尔会遇到类似下面的书写格式,但是不太明白为啥这样写,后来了解到这是泛型!
@property (nonatomic, strong) NSArray<TuWanVideoContentModel *> *content;
泛型:限制类型
开发中使用场景:
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