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

最新推荐文章于 2025-06-11 08:00:00 发布

糖糖糖糖糖糖糖糖糖糖糖糖糖糖糖糖糖糖

最新推荐文章于 2025-06-11 08:00:00 发布

阅读量64

点赞数

CC 4.0 BY-SA版权

本文链接：https://blog.youkuaiyun.com/cpongo4/article/details/89098596

\
看新闻很累？看技术新闻更累？试试下载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) -\u0026gt; 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）关注我们。