看新闻很累?看技术新闻更累?试试下载 InfoQ 手机客户端,每天上下班路上听新闻,有趣还有料!
Swift 4.1 发布正式版,它为 Swift 包管理器和 Foundation 带来了新的语言特性、构建选项和增强功能。
正如 InfoQ 之前报道的那样,当 Swift 4.1 在 Xcode 9.3 beta 版本中初步可用时,语言级别最重要的新特性是条件一致性(Conditional Conformance)。这一特性允许开发人员规定泛型类型只有在其类型参数满足给定要求时才符合协议。 在定义泛型适配器类型时,这点非常重要。泛型适配器类型是指能够反射组合类型的泛型,例如能够暴露其组件部分 API 的集合。
Swift 4.1 中另一个对泛型类型的扩展是能够指定关联类型递归限制。 Swift 中的关联类型在协议规范中用作未知类型的占位符,在使用协议时需要提供这些类型。 例如,以下是使用 Item 关联类型的 Container 协议:
protocol Container { associatedtype Item mutating func append(_ item: Item) var count: Int { get } subscript(i: Int) -> Item { get } }
Item 可以被限制为特定类型或协议,例如:
protocol Container { associatedtype Item : Bar ... }
在 Swift 4.1 之前,关联类型的类型或协议约束不能递归引用正在被定义的协议。 Swift 4.1 解除了这一限制,因此我们能够使用下面的递归协议:
protocol Container { associatedtype Item : Container ... }
Swift 4.1 中的其他新语言特性同样值得一提:
-
Equatable 和 Hashable 协议的一致性,它使开发人员无需实现 == 或 hashValue,而是声明它们由编译器来生成。
-
Sequence.flatMap 被弃用,并由 Sequence.compactMap 代替,以防止 flatMap 各种不同的重载导致的混淆。
在编译器方面,除了已经支持的速度优化之外,Swift 4.1 现在还支持代码大小优化模式。 新的优化选项可以在全模块和单文件编译模式下工作,而全模块能提供最佳结果。 据苹果称,对于一些项目,这可能会将代码量减少5%到30%。
最后,Swift 4.1 为包管理器带来了增强。 也就是说,Swift 4.1 现在可以正确解决使用不同协议(例如ssh 和http)的软件包之间的依赖关系。 此外,它现在还能更快地处理共享依赖关系。
Swift 4.1 在 MacOS Xcode 9.3 中可用,而官方二进制文件在Ubuntu 中可用。
查看英文原文: Swift 4.1 Enhances Generics, Compiler Optimizations, and Package Manager
感谢无明对本文的审校。
给InfoQ 中文站投稿或者参与内容翻译工作,请邮件至 editors@cn.infoq.com 。也欢迎大家通过新浪微博( @InfoQ , @丁晓昀),微信(微信号: InfoQChina )关注我们。
评论