Swift 4.1 增强了泛型、编译器和包管理器

  • Sergio De Simone
  • 张兰月

2018 年 4 月 8 日

话题:开源Linux移动AppleiOS语言 & 开发

看新闻很累?看技术新闻更累?试试下载 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 中的其他新语言特性同样值得一提:

在编译器方面,除了已经支持的速度优化之外,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)关注我们。

开源Linux移动AppleiOS语言 & 开发