资讯频道 → 移动开发
阅读更多

0顶
0踩

移动开发

转载新闻 2015 Objective-C 新特性

2015-06-15 16:05 by 副主编 mengyidan1988 评论(0) 有6281人浏览
objective-c xcode ios
Overview
自 WWDC 2015 推出和开源 Swift 2.0 后，大家对 Swift 的热情又一次高涨起来，在羡慕创业公司的朋友们大谈 Swift 新特性的同时，也有很多像我一样工作上依然需要坚守着 Objective-C 语言的开发者们。今年的 WWDC 中介绍了几个 Objective-C 语言的新特性，还是在“与 Swift 协同工作”这种 Topic 里讲的，越发凸显这门语言的边缘化了，不过有新特性还是极好的，接下来，本文将介绍下面三个主要的新特性：
  • Nullability
  • Lightweight Generics *
  • __kindof

Nullability

然而 Nullability 并不算新特性了，从上一个版本的 llvm 6.1 (Xcode 6.3) 就已经支持。这个简版的 Optional ，没有 Swift 中 ? 和 ! 语法糖的支持，在 Objective-C 中就显得非常啰嗦了： 
@property (nonatomic, strong, nonnull) Sark *sark;
@property (nonatomic, copy, readonly, nullable) NSArray *friends;
+ (nullable NSString *)friendWithName:(nonnull NSString *)name;

假如用来修饰一个变量，前面还要加双下划线，放到 block 里面就更加诡异，比如一个 Request 的 start 方法可以写成： 
- (void)startWithCompletionBlock:(nullable void (^)(NSError * __nullable error))block;

除了这俩外，还有个 null_resettable 来表示 setter nullable，但是 getter nonnull，绕死了，最直观例子就是 UIViewController 中的 view 属性： 
@property (null_resettable, nonatomic, strong) UIView *view;

它可以被设成 nil，但是调用 getter 时会触发 -loadView 从而创建并返回一个非 nil 的 view。
从 iOS9 SDK 中可以发现，头文件中所有 API 都已经增加了 Nullability 相关修饰符，想了解这个特性的用法，翻几个系统头文件就差不离了。接口中 nullable 的是少数，所以为了防止写一大堆 nonnull，Foundation 还提供了一对儿宏，包在里面的对象默认加 nonnull 修饰符，只需要把 nullable 的指出来就行，黑话叫 Audited Regions： 
NS_ASSUME_NONNULL_BEGIN
@interface Sark : NSObject
@property (nonatomic, copy, nullable) NSString *workingCompany;
@property (nonatomic, copy) NSArray *friends;
- (nullable NSString *)gayFriend;
@end
NS_ASSUME_NONNULL_END

Nullability 在编译器层面提供了空值的类型检查，在类型不符时给出 warning，方便开发者第一时间发现潜在问题。不过我想更大的意义在于能够更加清楚的描述接口，是主调者和被调者间的一个协议，比多少句文档描述都来得清晰，打个比方： 
+ (nullable instancetype)URLWithString:(NSString *)URLString;

NSURL 的这个 API 前面加了 nullable 后，更加显式的指出了这个接口可能因为 URLString 的格式错误而创建失败，使用时自然而然的就考虑到了判空处理。
不仅是属性和方法中的对象，对于局部的对象、甚至 c 指针都可以用带双下划线的修饰符，可以理解成能用 const 关键字的地方都能用 Nullability。
所以 Nullability 总的来说就是，写着丑B，用着舒服 - -

Lightweight Generics

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

带泛型的容器

这无疑是本次最重大的改进，有了泛型后终于可以指定容器类中对象的类型了： 
NSArray<NSString *> *strings = @[@"sun", @"yuan"];
NSDictionary<NSString *, NSNumber *> *mapping = @{@"a": @1, @"b": @2};

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



假如向泛型容器中加入错误的对象，编译器会不开心的：



系统中常用的一系列容器类型都增加了泛型支持，甚至连 NSEnumerator 都支持了，这是非常 Nice 的改进。和 Nullability 一样，我认为最大的意义还是丰富了接口描述信息，对比下面两种写法： 
@property (readonly) NSArray *imageURLs;
@property (readonly) NSArray<NSURL *> *imageURLs;

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

自定义泛型类

比起使用系统的泛型容器，更好玩的是自定义一个泛型类，目前这里还没什么文档，但拦不住我们写测试代码，假设我们要自定义一个 Stack 容器类： 
@interface Stack<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 增加类型限制，比如： 
// 只接受 NSNumber * 的泛型
@interface Stack<ObjectType: NSNumber *> : NSObject
// 只接受满足 NSCopying 协议的泛型
@interface Stack<ObjectType: id<NSCopying>> : NSObject

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



对于多参数的泛型，用逗号隔开，其他都一样，可以参考 NSDictionary 的头文件。

协变性和逆变性

当类支持泛型后，它们的 Type 发生了变化，比如下面三个对象看上去都是 Stack，但实际上属于三个 Type： 
Stack *stack; // Stack *
Stack<NSString *> *stringStack; // Stack<NSString *>
Stack<NSMutableString *> *mutableStringStack; // Stack<NSMutableString *>

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



我们可以看到，不指定泛型类型的 Stack 可以和任意泛型类型转化，但指定了泛型类型后，两个不同类型间是不可以强转的，假如你希望主动控制转化关系，就需要使用泛型的协变性和逆变性修饰符了：

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

协变： 
@interface Stack<__covariant ObjectType> : NSObject

效果：



逆变： 
@interface Stack<__contravariant ObjectType> : NSObject

效果：



协变是非常好理解的，像 NSArray 的泛型就用了协变的修饰符，而逆变我还没有想到有什么实际的使用场景。

__kindof

__kindof 这修饰符还是很实用的，解决了一个长期以来的小痛点，拿原来的 UITableView 的这个方法来说： 
- (id)dequeueReusableCellWithIdentifier:(NSString *)identifier;

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

既明确表明了返回值，又让使用者不必写强转。再举个带泛型的例子，UIView 的 subviews 属性被修改成了： 
@property (nonatomic, readonly, copy) NSArray<__kindof UIView *> *subviews;

这样，写下面的代码时就没有任何警告了： 
UIButton *button = view.subviews.lastObject;

Where to go

有了上面介绍的这些新特性以及如 instancetype 这样的历史更新，Objective-C 这门古老语言的类型检测和类型推断终于有所长进，现在不论是接口还是代码中的 id 类型都越来越少，更多潜在的类型错误可以被编译器的静态检查发现。
同时，个人感觉新版的 Xcode 对继承链构造器的检测也加强了，NS_DESIGNATED_INITIALIZER 这个宏并不是新面孔，可以使用它标志出像 Swift 一样的指定构造器和便捷构造器。

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



References

https://msdn.microsoft.com/zh-cn/library/dd799517.aspx
https://gist.github.com/jtbandes/881f07a955ff2eadd1a0
  • 大小: 35.3 KB
  • 大小: 46 KB
  • 大小: 57.9 KB
  • 大小: 176.2 KB
  • 大小: 99.8 KB
  • 大小: 97.7 KB
  • 大小: 162.6 KB
来自: blog.sunnyxx
0
顶
0
踩
评论 共 0 条 请登录后发表评论

发表评论

您还没有登录,请您登录后再发表评论

相关推荐

  • DELPHI讲义

     第一讲 delphi基础【例】改变窗体的标题，颜色，尺寸　　delphi 程序设计特点：可视化，开发方便【例】写代码，改变标题，颜色，尺寸　　对象成为处处用到的基本元素。对象含有属性和事件。delphi以pascal语法为基础。一、delphi是什么？    Delphi 是borland 公司研发的面向对象的，可视化的，快速的应用开发工具。　　◇对象是对相对独立

  • [转贴]Delphi 的数据结构泛型类库指南，Delphi中的STL

    终于给我找到了，DeCAL，Delphi中的STL，以后终于有Map用了。我选择，我喜欢！以下是转载：声 明一、 关于在Internet 网上转发本文件的声明任何个人或者机构可以在Internet 上自由的转发和引用本文。但转发过程中必须保证本文的完整性， 不得进行任何的修改。作者允许任何个人或者机构在本文的转发过程中附带其它的文件来描述、补充或者评价本文。但不得在本文的原文中修改。二、 关于

  • 吐血整理 Delphi系列书籍 118本（全）

    吐血整理 Delphi系列书籍 118本（全） Delphi 教程 系列书籍 网友（老帅）整理001_《Delhpi6数据库设计思想与实践》 002_《Delphi6应用开发指南》 003_《Delphi6开发人员指南》 004_《Delphi6数据库开发典型实例》 005_《Delphi6组件大全》 006_《深入Delphi6 网络编程》 007_《Delphi6数据库深入编程技术》 008_

  • Delphi 的RTTI机制浅探

    Delphi 的RTTI机制浅探  目 录===============================================================================⊙ DFM 文件与持续机制(persistent)⊙ ReadComponentResFile / WriteComponentResFile 函数⊙ Delphi 持续机制框架简述⊙ 一个 TFor

  • delphi文件解析

    1，txt文件解析 //新使用的txt解析函数 procedure TFrmImportAfterHourFundMarket.TxtPrepareData; var   F1:TextFile;   sLine:string;//txt文件得到每一行数据   AStr: string;//每一行需要处理的数据   idx: Integer;//得到分隔符的下标   ASubS

  • Delphi编程：三层数据库构架实例解析

     在数据库开发方面Delphi相对于其他众多开发工具其优势在于灵活快速，且十分稳定。开发数据库首先是要连接数据库。目前，以C-S方式通过网络运行程序，一般都使用3层方式进行数据通信。所谓的三层数据库，就是在服务器端放置一个中间层，本实例使用Remote Data Module(远程数据模块)创建，3层的好处就是把一些功能放在中间层，这样当某些功能发生转变时，既不用修改数据库，也不用修改客户端，只要

  • 用Delphi实现程序间的数据传递

    用Delphi实现程序间的数据传递 在实际应用中，我们经常需要多个程序相互配合来完成某些特定功能。例如两个应用程序间的同步、互斥；应用程序在起第二份实例时的参数自动传递…。要实现这些功能，就必须能实现程序间的数据传递。 有些特殊的高级技术可在不同的程序间传递数据，如剪贴板、动态数据交换以及OLE自动化，但有条件限制并且相对较复杂。这里，我介绍三种有效的底层技术，希望对编程爱好者有所帮助。 利用WM

  • Delphi 类与对象内存结构浅析(上)

    参考资料李战.《悟透delphi》，第1章“DELPHI的原子世界” “探索Delphi类与对象的内存结构”基本知识动态内存与静态内存当程序运行时，系统首先将所有数据装载入内存，完成初始化，然后从入口地址开始执行代码。程序装载后即存在于内存空间中的数据我们称之为静态内存，运行过程中分配的内存我们称之为动态内存。Delphi的类是由编译期间决定的，编译完成后即固定

  • Delphi - 数据的理解

    技术交流,DH解说.哈哈,学一下xiaoy.今天这里我想说一下,Delphi里面的数据,当然不是数据类型,如果有朋友想看数据类型的直接打开Delphi的帮助就可以了.我们主要来看下数据在内存中的分布,以及我们怎么使用,其实这就不局限于Delphi了. 任何数据在内存中都是一堆二进制,各种数据结构都是对这些二进制进行堆积木而已.比如说Byte,Char,Boolean只是使用一个字节的数据,而Wor...

  • Decal SDL-Delphi的范型类库-通用数据结构与算法类库（一）

    1、Decal SDL 通用数据结构与算法类库我个人认为是目前类结构建模建得很好的一个数据结构类库。介绍Decal的前身是 SDL，一套商业的通用数据结构与算法类库。Decal删除了其中关于垃圾回收部分的代码，而将其他部分全部开放源代码了，这对大家来说是一个好消息。Decal的全称是 Delphi Container and Algorithm Library，也就是Delphi 数据容器和算

  • 我的文章-《剖析Delphi中的构造和析构》

    剖析Delphi中的构造和析构1 Delphi中的对象模型: 21.1 对象名表示什么？ 21.2 对象存储在哪里？ 21.3 对象中存储了什么？它们是如何存储的? 32 构造函数与创建对象 52.1 什么是构造函数？(“特殊的”类方法) 52.2 对象的创建的全过程 52.3构造函数另类用法(使用类引用实现构造函数的多态性) 63 析构函数与销毁对象 73.1 什么是析构函数(“天生的”虚方法)

  • Delphi多线程详解

    (整理自网络) Delphi多线程处理 1-1多线程的基本概念 WIN 98/NT/2000/XP 是个多任务操作系统，也就是：一个进程可以划分为多个线程，每个线程轮流占用CPU 运行时间和资源，或者说，把CPU 时间划成片，每个片分给不同的线程，这样，每个线程轮流的“挂起”和“唤醒”，由于时间片很小，给人的感觉是同时运行的。 多线程带来如下好处：（自己阅读） ...

  • delphi spring_《Spring源码解析（一）》Spring框架的前世今生以及对Spring的宏观认识...

    通过对本章内容的学习，你将得到：1、掌握 Spring 的基本架构及各子模块之间的依赖关系。 2、了解 Spirng 的发展历史，启发思维。 3、对 Spring 形成一个整体的认识，为之后的深入学习做铺垫。 4、了解 Spring 版本升级的规律，从而应用到自己的系统升级版本命名。 Spring 的前世今生 相信经历过不使用框架开发 Web 项目的 70 后、80 后都会有如此感触，如今的程序员...

  • 用Delphi建立通讯与数据交换服务器—Transceiver技术剖析（上）

    用Delphi建立通讯与数据交换服务器—Transceiver技术剖析（上）作者：火鸟 redbirdli@hotmail.com引言在国内常见的信息化开发及实施项目中，大多数开发的工作量都集中于为适应不同客户的需求差异，对特定模块进行修改，最终达到客户期望的软件功能特性。但是对于开发厂商来说，面对不同的客户开发不同的软件版本，将导致重复劳动、成本上升、维护量加大、兼容和稳定性下降等一

  • Delphi接口的底层实现

    Delphi接口的底层实现引言       接口是面向对象程序语言中一个很重要的元素，它被描述为一组服务的集合，对于客户端来说，我们关心的只是提供的服务，而不必关心服务是如何实现的；对于服务端的类来说，如果它想实现某种服务，实现与该服务相关的接口即可，它也不必与使用服务的客户端进行过多的交互。这种良好的设计方式已经受到很广泛的应用。    早在Delphi 3的时候就引入了接口的概

  • 悟透delphi 第十一章 面向对象数据库基础

    第一章  DELPHI的原子世界第二章  DELPHI与WIN32时空第三章  多线程第四章  接口第五章  包第六章  事件与消息第七章  组织你的模块第八章  探索数据库第九章  多层体系结构第十章  操作界面与操作逻辑第十一章  面向对象数据库基础 本书原著李战(leadzen)大牛，由tingsking18整理，本人blog发布的版本经过战哥同意，转载请著名出处和原作者！第十一章 

  • Delphi深度探索之PItemIDList的基本概念

    PIDL的秘密 　　从Windows 95开始，微软公司为操作系统引入了新的外壳界面，新的外壳从根本上改变了应用程序同操作系统的结合方式，遗憾的是微软公司对于发布同外壳相关的编程信息方面显得很吝啬，可以得到的资料非常少，而且质量也不高。对于Delphi开发者来说，情况就更为严重了，因为几乎所有的Windows API 文档都是针对C/C++程序员的，但是Nothing is impossibl

  • 《Delphi 算法与数据结构》学习与感悟[6]: 一个简单的"单向链表"

    为什么80%的码农都做不了架构师？&gt;&gt;&gt; ...

  • WIN32下DELPHI中的多线程【深入VCL源码】（一）

    线程的基础知识      线程的组成。线程有两部分组成。     1、一个是线程的内核对象，操作系统用它来对线程实施管理。内核对象也是系统用来存放线程统计信息的地方。     2、另一个是线程堆栈，它用于维护线程在执行代码时需要的所有函数参数和局部变量。     进程从来不执行任何东西，它只是线程的容器。线程总是在某个进程环境中创建的，而且它的整个寿命期都在该进程中。这意味着线程在它的进程地址空间

  • Diocp学习笔记 1、通讯传值（DELPHI 通讯框架）

    一、传输 事例里的客户端与服务端是通过自定义的的数据结构进行传输（事例里带的 TSimpleMsgPack） 创建： CMDObject: TSimpleMsgPack; 添加值: 1》 CMDObject.Clear; CMDObject.ForcePathObject('cmdIndex').AsInteger := 5; 读取值： 1》 vReqUserID := AMs...

Global site tag (gtag.js) - Google Analytics