Swift 5 新特性预览(最低支持Xcode 10.2 beta版)

时间  2019-11-08 标签 swift 特性 预览 最低 支持 xcode 10.2 beta

万众期待的 Swift 5 终于来了，苹果爸爸答应的 ABI 稳定也终于来了。ios

小集新小伙伴 @NotFound-- 花时间将文档翻译出来，供你们参考。翻译不当之处，请及时留言指出，咱们会持续更新。git

App 瘦身

新特性

Swift 应用程序再也不包含用于 Swift 标准库的动态连接库和用于运行 iOS 12.2，watchOS 5.2 和 tvOS 12.2 的设备的构建变体中的 Swift SDK overlays。所以，当为 TestFlight 进行测试部署时，或者在为本地开发分发瘦身应用的 archive 包时，Swift 应用程序能够更小。github

要对比 iOS 12.2 和 iOS 12.1(或更早版本) 瘦身后 App 的文件大小差别，能够设置 App 的 deployment target 为 iOS 12.1 或更早版本，设置 scheme set 为 Generic iOS Device 并生成一个 App 的归档。在构建完成后，在 Archives organizer 选择中 Distribute App，而后选择 Development distribution。确保在 App Thinning 下拉菜单中选择一个特定设备，如 iPhone XS。当分发完成后，在新建立的文件夹下打开 App Thinning Size Report。iOS 12.2 系统的变体将小于 iOS 12.1 及更早的系统的变体。确切的大小差别取决于您的 App 使用的系统框架的数量。express

关于 App 瘦身更多的信息，能够查看 Xcode Help 中的 What is app thinning?有关应用程序文件大小的信息，请参考 App Store Connect Help 中的 View builds and file sizesswift

Swift 语言

新特性

  • @dynamicCallable 容许您使用一个简单的语法糖像调用函数同样来调用命名类型。主要的应用场景是动态语言互操做。(SE-0216)api

    例如：数组

@dynamicCallable struct ToyCallable {
    func dynamicCall（withArguments：[Int]）{}
    func dynamicCall（withKeywordArguments：KeyValuePairs <String，Int>）{}
}

let x = ToyCallable（）

x（1,2,3）
// 等价于`x.dynamicallyCall（withArguments：[1,2,3]）`

x(label: 1, 2)
// 等价于`x.dynamicallyCall(withKeywordArguments: ["label": 1, "": 2])`
复制代码
  • Key path 如今支持特性(identity) keypath (\.self)，这是一个引用自身完整输入值的 WritableKeyPath。(SE-0227)
let id = \Int.self
var x = 2
print(x[keyPath: id]) // Prints "2"
x[keyPath: id] = 3
print(x[keyPath: id]) // Prints "3"
复制代码
  • 在 Swift 5 以前，您能够编写一个带有可变参数的枚举 case：
enum X {
    case foo(bar: Int...) 
}
func baz() -> X {
    return .foo(bar: 0, 1, 2, 3) 
} 
复制代码

以前不是特地要支持这个特性，并且如今这样写会报错了。xcode

取而代之的是，让枚举的 case 携带一个数组，并显式传递一个数组安全

enum X {
    case foo(bar: [Int]) 
} 

func baz() -> X {
    return .foo(bar: [0, 1, 2, 3]) 
} 
复制代码

  • 在 Swift 5 中，带有一个可选类型的表达式的 try? 将会展生平成的可选项，而不是返回嵌套的可选项。（SE-0230)bash

  • 若是类型T 符合Initialized with Literals中的其中一个协议（如 ExpressibleByIntegerLiteral），且 literal 是一个字面量表达示时，则 T(literal) 会使用相应的协议建立一个类型 T 的字面量，而不是使用一个协议的默认字面量类型的值来调用 T 的 initializer。

    如，相似于 UInt64(0xffff_ffff_ffff_ffff) 这样的表达式如今是有效的，则以前会因为整型字面量的默认类型是 Int，而致使溢出。(SE-0213)

  • 提升了字符串插值操做的性能、清晰性和效率。(SE-0228)

    旧的 _ExpressibleByStringInterpolation 协议被删除；若是您有使用此协议的代码，则须要作相应更新。您可使用 #if 条件判断来区分 Swift 4.2 和 Swift 5 的代码。例如：

#if compiler(<5)
extension MyType: _ExpressibleByStringInterpolation { /*...*/ }
#else
extension MyType: ExpressibleByStringInterpolation { /*...*/ }
#endif 
复制代码

Swift 标准库

新功能

  • DictionaryLiteral 类型重命名为 KeyValuePairs。(SE-0214)

  • 桥接到 Objective-C 代码的 Swift 字符串如今能够在适当的时候从 CFStringGetCStringPtr返回一个 non-nil 值，同时从 -UTF8String 返回的指针与字符串的生命周期相关联，而不是最相近的那个 autorelease pool。若是程序正确，那应该没有任何问题，而且会发现性能显著提升。可是，这也可能会让以前一些未经测试的代码运行，从而暴露一些潜在的问题；例如，若是有一个对 non-nil 值的判断，而相应分支在 Swift 5 以前却从未被执行过。(26236614)

  • Sequence 协议再也不具备 SubSequence 关联类型。先前返回 SubSequence 的 Sequence 方法如今会返回具体类型。例如，suffix(_:)如今会返回一个 Array。(47323459)

    使用 SubSequence 的 Sequence 扩展应该修改成相似地使用具体类型，或者修改成 Collection 的扩展，在 Collection 中 SubSequence 仍然可用。(45761817)

例如：

extension Sequence {
    func dropTwo() -> SubSequence {
        return self.dropFirst(2)
    }
}
复制代码

须要改成：

extension Sequence {
    func dropTwo() -> DropFirstSequence<Self> { 
        return self.dropFirst(2)
    }
}
复制代码

或者是：

extension Collection {
    func dropTwo() -> SubSequence {
        return self.dropFirst(2)
    }
}
复制代码
  • String结构的原生编码将从 UTF-16 切换到 UTF-8，与 String.UTF16View 相比，这会提升相关联的 String.UTF8View 的性能。从新对全部代码进行评审以提升性能，尤为是使用了 String.UTF16View 的代码。

Swift 包管理器

新功能

  • 如今，在使用 Swift 5 软件包管理器时，Targets 能够声明一些经常使用的针对特定目标的 build settings 设置。新设置也能够基于平台和构建配置进行条件化处理。包含的构建设置支持 Swift 和 C 语言定义，C 语言头文件搜索路径，连接库和连接框架。(SE-0238)(23270646)

  • 在使用 Swift 5 软件包管理器时，package 如今能够自定义 Apple 平台的最低 deployment target。而若是 package A 依赖于 package B，但 package B 指定的最小 deployment target 高于 package A 的最小 deployment target，则构建 package A 时会抛出错误。(SE-0236)(28253354)

  • 新的依赖镜像功能容许顶层包覆盖依赖 URL。(SE-0219)(42511642)

    使用如下命令设置镜像：

$ swift package config set-mirror \
--package-url <original URL> --mirror-url <mirror URL>
复制代码

  • swift 测试命令可使用标志 --enable-code-coverage，来生成标准格式的代码覆盖率数据，以便其它代码覆盖工具使用。生成的代码覆盖率数据存储在 <build-dir>/<configuration>/codecov 目录中。

  • Swift 5 再也不支持 Swift 3 版本的软件包管理器。仍然在使用 Swift 3 Package.swift 工具版本（tool-version）上的软件包应该更新到新的工具版本上。

  • 对体积较大的包进行包管理器操做如今明显更快了。

  • Swift 包管理器有一个新的 --disable-automatic-resolution 标志项，当 Package.resolved 条目再也不与 Package.swift 清单文件中指定的依赖项版本兼容时，该标志项强制包解析失败。此功能对于持续集成系统很是有用，能够检查包的 Package.resolved 是否已过时。

  • swift run 命令有一个新的 --repl 选项，它会启动 Swift REPL，支持导入包的库目标。这使您能够轻松地从包目标中试用 API，而无需构建调用该 API 的可执行文件。

  • 有关使用 Swift 包管理器的更多信息，请访问 swift.org 上的 Using the Package Manager。

Swift 编译器

新特性

  • 如今，在优化（-O 和 -Osize）构建中，默认状况下在运行时强制执行独占内存访问。违反排他性的程序将在运行时抛出带有“重叠访问”诊断消息错误。您可使用命令行标志禁用此命令：-enforce-exclusivity = unchecked，但这样作可能会致使未定义的行为。运行时违反排他性一般是因为同时访问类属性，全局变量（包括顶层代码中的变量）或经过 eacaping 闭包捕获的变量。（SR-7139）

  • Swift 3 运行模式已被删除。-swift-version 标志支持的值为 4、4.2 和 5。

  • 在 Swift 5 中，在 switch 语句中使用 Objective-C 中声明的或来自系统框架的枚举时，必须处理未知的 case，这些 case 可能未来会添加，也多是在 Objective-C实现文件中私下定义。形式上，Objective-C 容许在枚举中存储任何值，只要它匹配底层类型便可。这些未知的 case 可使用新的 @unknown default case 来处理，固然若是 switch 中省略了任何已知的 case，编译器仍然会给出警告。它们也可使用普通的 default case 来处理。

    若是您已在 Objective-C 中定义了本身的枚举，而且不须要客户端来处理 unknown case，则可使用 NS_CLOSED_ENUM 宏而不是 NS_ENUM。Swift 编译器识别出这一点，而且不需求 switch 语句必须带有 default case。

    在 Swift 4 和 4.2 模式下，您仍然可使用 @unknown default。若是省略 @unknown default，而又传递了一个未知的值，则程序在运行时抛出异常，这与 Xcode 10.1 中的 Swift 4.2 上的行为是一致的。(SE-0192)(39367045)

  • 如今在 SourceKit 生成的 Swift 模块接口中会打印默认参数，而不只仅是使用占位符。

  • unowned 和 unowned(unsafe) 类型的变量如今支持可选类型。

已知的问题

  • 若是引用了 UIAccessibility 结构的任何成员，则 Swift 编译器会在 “Merge swiftmodule” 构建步骤中崩溃。构建日志包含一条消息：
Cross-reference to module 'UIKit'
... UIAccessibility
... in an extension in module 'UIKit' ... GuidedAccessError 复制代码

包含 NS_ERROR_ENUM 枚举的其余类型也可能出现此问题，但 UIAccessibility 是最多见的。(47152185)

解决方法：在 target 的 Build Setting -> Swift Compiler -> Code Generation 下，设置 Compilation Mode 的值为 Whole Module。这是大多数 Release 配置的默认设置。

  • 为了减少 Swift 元数据的大小，Swift 中定义的 convenience initializers 若是调用了 Objective-C 中定义的一个 designated initializer，那只会提早分配一个对象。在大多数状况下，这对您的程序没有影响，但若是从 Objective-C 调用 convenience initializers，那么 +alloc 分配的初始内存会被释放，而不会调用任何 initializer。对于不但愿发生任何类型的对象替换的调用者来讲，这多是有问题的。其中一个例子是 initWithCoder: ：若是 NSKeyedUnarchiver 调用 Swift 实现 init(coder:) 而且存档对象存在循环时，则 NSKeyedUnarchiver 的实现可能会出错。

    在未来的版本中，编译器将保证一个 convenience initializer 永远不会丢弃它所调用的对象，只要它经过 self.init 委托给它的初始化程序也暴露给 Objective-C，或者是它在 Objective-C 中定义了，或者是使用 @objc 标记的，或者是重写了一个暴露给 Objective-C 的 initializer，或者是它知足 @objc 协议的要求。(46823518)

  • 若是一个 keypath 字面量引用了 Objective-C 中定义的属性，或者是在 Swift 中使用 @objc 和 dynamic 修饰符定义的属性，则编译可能会失败，而且报 “unsupported relocation of local symbol 'L_selector'” 错误，或者 key path 字面量没法在运行时生成正确的哈希值或处理相等比较。

    解决方法：您能够定义一个不是 @objc 修饰的包装属性，来引用这个 key path。获得的 key path 与引用原始 Objective-C 属性的 key path 不相等，但使用包装属性效果是相同的。

  • 某些项目可能会遇到之前版本的编译时回归。

  • Swift 命令行项目在启动时因抛出 “dyld：Library not loaded” 错误而崩溃。

    解决方法：添加自定义的构建设置 SWIFT_FORCE_STATIC_LINK_STDLIB=YES。

已解决的问题

  • 扩展绑定如今支持嵌套类型的扩展，这些嵌套类型自己是在扩展内定义的。以前可能会由于一些声明顺序而失败，并产生 “未声明类型” 错误。(SR-631)

  • 在 Swift 5 中，返回 Self 的类方法不能再被使用返回非 final 的具体类类型的方法来覆盖。此类代码不是类型安全的，须要更新。(SR-695)

    例如：

class Base { 
    class func factory() -> Self { /*...*/ }
} 

class Derived: Base {
    class override func factory() -> Derived { /*...*/ } 
} 
复制代码

  • 在 Swift 5 模式下，如今会明确禁止声明与嵌套类型同名的静态属性。之前，能够在泛型类型的扩展中执行这样的声明。(SR-7251)

    例如：

struct Foo<T> {}

extension Foo { 
    struct i {}

    // Error: Invalid redeclaration of 'i'.
    // (Prior to Swift 5, this didn’t produce an error.) 
    static var i: Int { return 0 }
}
复制代码

  • 如今能够在子类里继承父类中具备可变参数的初始化方法。

  • 在 Swift 5 中，函数中的 @autoclosure 参数不能再做为 @autoclosure 参数传递到另外一个函数中调用。相反，您必须使用括号显式调用函数值:()；调用自己包含在一个隐式闭包中，保证了与 Swift 4 相同的行为。（SR-5719）

    例如：

func foo(_ fn: @autoclosure () -> Int) {}
func bar(_ fn: @autoclosure () -> Int) {
    foo(fn) // Incorrect, `fn` can’t be forwarded and has to be called.
    foo(fn()) // OK
} 
复制代码

  • 如今彻底支持在类和泛型中定义复杂的递归类型，而此前可能会致使死锁。

  • 在 Swift 5 中，当将可选值转换为泛型占位符类型时，编译器在解包值时会更加谨慎。这种转换的结果如今更接近于非泛型上下文中的结果。(SR-4248)

    例如：

func forceCast<U>(_ value: Any?, to type: U.Type) -> U {
    return value as! U 
} 

let value: Any? = 42
print(forceCast(value, to: Any.self))
// Prints "Optional(42)"
// (Prior to Swift 5, this would print "42".)

print(value as! Any)
// Prints "Optional(42)"
复制代码
  • 协议如今能够将它们的实现类型限定为指定类型的子类。支持两种等效形式：
protocol MyView: UIView { /*...*/ }
protocol MyView where Self: UIView { /*...*/ } 
复制代码

Swift 4.2 接受了第二种形式，但没有彻底实现，有时可能在编译时或运行时崩溃。(SR-5581)

  • 在 Swift 5 中，当在属性自身的 didSet 或 willSet 中设置属性自己时，会避免递归调用（不管是隐式或显式地设置自身的属性）。(SR-419)

例如：

class Node {
    var children = [Node]() 
    var depth: Int = 0 {
        didSet { 
            if depth < 0 {
                // Won’t recursively call didSet, because this is setting depth on self. 
                depth = 0
            } 

            // Will call didSet for each of the children,
            // as this isn’t setting the property on self.
            // (Prior to Swift 5, this didn’t trigger property
            // observers to be called again.)
            for child in children { 
                child.depth = depth + 1
            } 
        }
    }
}
复制代码

  • Xcode中 的 diagnostics 对 #sourceLocation 进行了支持。也就是说，若是您使用#sourceLocation 将生成的文件中的行映射回源代码时，diagnostics 会显示在原始源文件中的行数而不是生成的文件中的。

  • 使用泛型类型别名做为参数或 @objc 方法的返回类型，再也不致使生成无效的 Objective-C header。(SR-8697)

关注咱们

欢迎关注咱们的公众号：iOS-Tips，也欢迎加入咱们的群组讨论问题。能够公众号留言 ios、flutter 等关键词获取入群方式。

联系我们 沪ICP备13005482号-10