zoukankan      html  css  js  c++  java
  • 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

  • 相关阅读:
    JAVA向上转型和向下转型
    LeetCode记录之9——Palindrome Number
    LeetCode记录之7——Reverse Integer
    JAVA数据结构--插入排序
    JAVA数据结构--选择排序
    JAVA数据结构--冒泡排序
    HTTP协议04-返回状态码
    HTTP协议03-http特点及请求方式
    HTTP协议02-请求和响应的报文构成
    HTTP笔记01-http相关的基础知识
  • 原文地址:https://www.cnblogs.com/iOSJason/p/5144359.html
Copyright © 2011-2022 走看看