Xcode 7新特性Lightweight Generics 轻量级泛型与__kindof修饰符

Lightweight Generics 轻量级泛型，轻量是因为这是个纯编译器的语法支持（llvm 7.0），和 Nullability 一样，没有借助任何 objc runtime 的升级，也就是说，这个新语法在 Xcode 7 上可以使用且完全向下兼容（更低的 iOS 版本）

 

带泛型的容器

 

 

1
2

NSArray<NSString *> *strings = @[@"sun", @"yuan"];
NSDictionary<NSString *, NSNumber *> *mapping = @{@"a": @1, @"b": @2};

返回值的 id 被替换成具体的类型后，令人感动的代码提示也出来了：

 

 

 

Xcode 7新的特性Lightweight Generics 轻量级泛型与__kindof修饰符

 

 

1
2

@property (readonly) NSArray *imageURLs;
@property (readonly) NSArray<NSURL *> *imageURLs;

不用多想就清楚下面的数组中存的是什么，避免了 NSString 和 NSURL 的混乱。

 

 

比起使用系统的泛型容器，更好玩的是自定义一个泛型类，目前这里还没什么文档，但拦不住我们写测试代码，假设我们要自定义一个 Stack 容器类：

 

1
2
3
4
5

@interfaceStack<ObjectType> : NSObject
- (void)pushObject:(ObjectType)object;
- (ObjectType)popObject;
@property (nonatomic, readonly) NSArray<ObjectType> *allObjects;
@end

这个 ObjectType 是传入类型的 placeholder，它只能在 @interface 上定义（类声明、类扩展、Category），如果你喜欢用 T 表示也 ok，这个类型在 @interface 和 @end 区间的作用域有效，可以把它作为入参、出参、甚至内部 NSArray 属性的泛型类型，应该说一切都是符合预期的。我们还可以给 ObjectType 增加类型限制，比如：

 

1
2
3
4

// 只接受 NSNumber * 的泛型@interfaceStack<ObjectType: NSNumber *> : NSObject// 只接受满足 NSCopying 协议的泛型@interfaceStack<ObjectType: id<NSCopying>> : NSObject

若什么都不加，表示接受任意类型 ( id )；当类型不满足时编译器将产生 error。
实例化一个 Stack，一切工作正常：

 

 

逗号隔开，其他都一样，可以参考 NSDictionary 的头文件。

 

 

当类支持泛型后，它们的 Type 发生了变化，比如下面三个对象看上去都是 Stack，但实际上属于三个 Type：

 

1
2
3

Stack*stack; // Stack *Stack<NSString *>*stringStack; // Stack<NSString *>Stack<NSMutableString *>*mutableStringStack; // Stack<NSMutableString *>

当其中两种类型做类型转化时，编译器需要知道哪些转化是允许的，哪些是禁止的，比如，默认情况下：

 

 

 

__covariant - 协变性，子类型可以强转到父类型（里氏替换原则）
__contravariant - 逆变性，父类型可以强转到子类型（WTF?）

 

 

1

@interfaceStack<__covariantObjectType> : NSObject

效果：

 

 

 

1

@interfaceStack<__contravariantObjectType> : NSObject

效果：

 

 

 

__kindof

 

 

1

- (id)dequeueReusableCellWithIdentifier:(NSString *)identifier;

使用时前面基本会使用 UITableViewCell 子类型的指针来接收返回值，所以这个 API 为了让开发者不必每次都蛋疼的写显式强转，把返回值定义成了 id 类型，而这个 API 实际上的意思是返回一个 UITableViewCell 或 UITableViewCell 子类的实例，于是新的 __kindof 关键字解决了这个问题：

 

1

- (__kindof UITableViewCell *)dequeueReusableCellWithIdentifier:(NSString *)identifier;

既明确表明了返回值，又让使用者不必写强转。再举个带泛型的例子，UIView 的 subviews 属性被修改成了：

 

1

@property (nonatomic, readonly, copy) NSArray<__kindof UIView *> *subviews;

这样，写下面的代码时就没有任何警告了：

 

1

UIButton *button = view.subviews.lastObject;

Where to go

 

同时，个人感觉新版的 Xcode 对继承链构造器的检测也加强了，NS_DESIGNATED_INITIALIZER 这个宏并不是新面孔，可以使用它标志出像 Swift 一样的指定构造器和便捷构造器。

 

最后，附上一段用上了所有新特性的代码，Swift 是发展趋势，如果你暂时依然要写 Objective-C 代码，把所有新特性都用上，或许能让你到新语言的迁移更无痛一点。

 

 

 

点击打开链接

 

以上就介绍了Xcode 7新的特性Lightweight Generics 轻量级泛型与__kindof修饰符，包括了方面的内容，希望对IOS开发有兴趣的朋友有所帮助。

本文网址链接：http://www.codes51.com/article/detail_176428.html

posted on 2016-01-20 10:57  Jason_Luo  阅读(262)  评论(0)  编辑  收藏  举报

导航