From 42bed2bf9a5406986d531756729bcd66812cf514 Mon Sep 17 00:00:00 2001 From: DanziChen Date: Sun, 11 Jul 2021 10:14:10 +0800 Subject: [PATCH] =?UTF-8?q?=E6=9B=B4=E6=96=B0=E9=83=A8=E5=88=86=E7=AB=A0?= =?UTF-8?q?=E8=8A=82=E5=88=B0=20Swift=205.5=20(#1152)?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit * Advanced_Operators Swift 5.3 beata * feat: update Opaque Types Swift 5.5 * feat: update Properties Swift 5.5 * feat: update AdvancedOperators Swift 5.5 * fix: 根据校对意见修改 --- source/02_language_guide/10_Properties.md | 31 ++-- source/02_language_guide/23_Opaque_Types.md | 2 +- .../27_Advanced_Operators.md | 148 +++++++++++++++++- 3 files changed, 169 insertions(+), 12 deletions(-) diff --git a/source/02_language_guide/10_Properties.md b/source/02_language_guide/10_Properties.md index cc6f37f6..cc9c30b0 100755 --- a/source/02_language_guide/10_Properties.md +++ b/source/02_language_guide/10_Properties.md @@ -69,7 +69,7 @@ class DataImporter { class DataManager { lazy var importer = DataImporter() - var data = [String]() + var data: [String] = [] // 这里会提供数据管理功能 } @@ -294,8 +294,7 @@ stepCounter.totalSteps = 896 ```swift @propertyWrapper struct TwelveOrLess { - private var number: Int - init() { self.number = 0 } + private var number = 0 var wrappedValue: Int { get { return number } set { number = min(newValue, 12) } @@ -308,7 +307,7 @@ struct TwelveOrLess { > > 上面例子以 `private` 的方式声明 `number` 变量，这使得 `number` 仅在 `TwelveOrLess` 的实现中使用。写在其他地方的代码通过使用 `wrappedValue` 的 getter 和 setter 来获取这个值，但不能直接使用 `number`。有关 `private` 的更多信息，请参考 [访问控制](./26_Access_Control.md) -通过在属性之前写上包装器名称作为特性的方式，你可以把一个包装器应用到一个属性上去。这里有个存储小矩形的结构体。通过 `TwelveOrLess` 属性包装器实现类似（挺随意的）对“小”的定义。 +通过在属性之前写上包装器名称作为特性的方式，你可以把一个包装器应用到一个属性上去。这里有个存储小矩形的结构体，通过 `TwelveOrLess` 属性包装器来确保它的长宽均小于等于 12。 ```swift struct SmallRectangle { @@ -462,12 +461,8 @@ print(mixedRectangle.height) ```swift @propertyWrapper struct SmallNumber { - private var number: Int - var projectedValue: Bool - init() { - self.number = 0 - self.projectedValue = false - } + private var number = 0 + var projectedValue = false var wrappedValue: Int { get { return number } set { @@ -540,6 +535,22 @@ struct SizedRectangle { > > 局部范围的常量和变量从不延迟计算。 +可以在局部存储型变量上使用属性包装器，但不能在全局变量或者计算型变量上使用。比如下面的代码，`myNumber` 使用 `SmallNumber` 作为属性包装器。 + +```swift +func someFunction() { + @SmallNumber var myNumber: Int = 0 + + myNumber = 10 + // 这时 myNumber 是 10 + + myNumber = 24 + // 这时 myNumber 是 12 +} +``` + +就像将 `SmallNumber` 应用到属性上一样，将 `myNumber` 赋值为 10 是有效的。而因为这个属性包装器不允许值大于 12，将 `myNumber` 赋值为 24 时则会变成 12。 + ## 类型属性 {#type-properties} 实例属性属于一个特定类型的实例，每创建一个实例，实例都拥有属于自己的一套属性值，实例之间的属性相互独立。 diff --git a/source/02_language_guide/23_Opaque_Types.md b/source/02_language_guide/23_Opaque_Types.md index 76a88085..294d97e7 100644 --- a/source/02_language_guide/23_Opaque_Types.md +++ b/source/02_language_guide/23_Opaque_Types.md @@ -14,7 +14,7 @@ protocol Shape { struct Triangle: Shape { var size: Int func draw() -> String { - var result = [String]() + var result: [String] = [] for length in 1...size { result.append(String(repeating: "*", count: length)) } diff --git a/source/02_language_guide/27_Advanced_Operators.md b/source/02_language_guide/27_Advanced_Operators.md index 33c68e32..025f850e 100644 --- a/source/02_language_guide/27_Advanced_Operators.md +++ b/source/02_language_guide/27_Advanced_Operators.md @@ -121,7 +121,7 @@ let blueComponent = pink & 0x0000FF // blueComponent 是 0x99，即 153 同样的，绿色部分通过对 `0xCC6699` 和 `0x00FF00` 进行按位与运算得到 `0x006600`。然后将这个数向右移动 8 位，得到 `0x66`，也就是十进制数值的 `102`。 -最后，蓝色部分通过对 `0xCC6699` 和 `0x0000FF` 进行按位与运算得到 `0x000099`。这里不需要再向右移位，而 `0x000099` 也就是 `0x99` ，也就是十进制数值的 `153`。 +最后，蓝色部分通过对 `0xCC6699` 和 `0x0000FF` 进行按位与运算得到 `0x000099`。因为 `0x000099` 已经等于 `0x99` ，也就是十进制数值的 `153`，所以这个值就不需要再向右移位了。 #### 有符号整数的移位运算 {#shifting-behavior-for-signed-integers} @@ -444,3 +444,149 @@ let plusMinusVector = firstVector +- secondVector > > 当定义前缀与后缀运算符的时候，我们并没有指定优先级。然而，如果对同一个值同时使用前缀与后缀运算符，则后缀运算符会先参与运算。 +## 结果构造器 + +*结果构造器*是一种自定义类型，支持添加自然的声明式语法来创建类似列表或者树这样的嵌套数据。使用结果构造器的代码可以包含普通的 Swift 语法，例如用来处理判断条件的 `if`，或者处理重复数据的 `for`。 + +下面的代码定义了一些类型用于绘制星星线段和文字线段。 + +```swift +protocol Drawable { + func draw() -> String +} +struct Line: Drawable { + var elements: [Drawable] + func draw() -> String { + return elements.map { $0.draw() }.joined(separator: "") + } +} +struct Text: Drawable { + var content: String + init(_ content: String) { self.content = content } + func draw() -> String { return content } +} +struct Space: Drawable { + func draw() -> String { return " " } +} +struct Stars: Drawable { + var length: Int + func draw() -> String { return String(repeating: "*", count: length) } +} +struct AllCaps: Drawable { + var content: Drawable + func draw() -> String { return content.draw().uppercased() } +} +``` + +`Drawable` 协议定义了绘制所需要遵循的方法，例如线或者形状都需要实现 `draw()` 方法。`Line` 结构体用来表示单行线段绘制，给大多数可绘制的元素提供了顶层容器。绘制 `Line` 时，调用了线段中每个元素的 `draw()`，然后将所有结果字符串连成单个字符串。`Text` 结构体包装了一个字符串作为绘制的一部分。`AllCaps` 结构体包装另一个可绘制元素，并将元素中所有文本转换为大写。 + +可以组合这些类型的构造器来创建一个可绘制元素。 + +```swift +let name: String? = "Ravi Patel" +let manualDrawing = Line(elements: [ + Stars(length: 3), + Text("Hello"), + Space(), + AllCaps(content: Text((name ?? "World") + "!")), + Stars(length: 2), + ]) +print(manualDrawing.draw()) +// 打印 "***Hello RAVI PATEL!**" +``` + +代码没问题，但是不够优雅。`AllCaps` 后面的括号嵌套太深，可读性不佳。`name` 为 `nil` 时使用 “World” 的兜底逻辑必须要依赖 `??` 操作符，这在逻辑复杂的时候会更难以阅读。如果还需要 `switch` 或者 `for` 循环来构建绘制的一部分，就更难以编写了。使用结果构造器可以将这样的代码重构得更像普通的 Swift 代码。 + +在类型的定义上加上 `@resultBuilder` 特性来定义一个结果构造器。比如下面的代码定义了允许使用声明式语法来描述绘制的结果构造器 `DrawingBuilder`： + +```swift +@resultBuilder +struct DrawingBuilder { + static func buildBlock(_ components: Drawable...) -> Drawable { + return Line(elements: components) + } + static func buildEither(first: Drawable) -> Drawable { + return first + } + static func buildEither(second: Drawable) -> Drawable { + return second + } +} +``` + +`DrawingBuilder` 结构体定义了三个方法来实现部分结果构造器语法。`buildBlock(_:)` 方法添加了在方法块中写多行代码的支持。它将方法块中的多个元素组合成 `Line`。`buildEither(first:)` 和 `buildEither(second:)` 方法添加了对 `if`-`else` 的支持。 + +可以在函数形参上应用 `@DrawingBuilder` 特性，它会将传递给函数的闭包转换为用结果构造器创建的值。例如： + +```swift +func draw(@DrawingBuilder content: () -> Drawable) -> Drawable { + return content() +} +func caps(@DrawingBuilder content: () -> Drawable) -> Drawable { + return AllCaps(content: content()) +} + +func makeGreeting(for name: String? = nil) -> Drawable { + let greeting = draw { + Stars(length: 3) + Text("Hello") + Space() + caps { + if let name = name { + Text(name + "!") + } else { + Text("World!") + } + } + Stars(length: 2) + } + return greeting +} +let genericGreeting = makeGreeting() +print(genericGreeting.draw()) +// 打印 "***Hello WORLD!**" + +let personalGreeting = makeGreeting(for: "Ravi Patel") +print(personalGreeting.draw()) +// 打印 "***Hello RAVI PATEL!**" +``` + +`makeGreeting(for:)` 函数将传入的 `name` 形参用于绘制个性化问候。`draw(_:)` 和 `caps(_:)` 函数都传入应用 `@DrawingBuilder` 特性的单一闭包实参。当调用这些函数时，要使用 `DrawingBuilder` 定义的特殊语法。Swift 将绘制的声明式描述转换为一系列 `DrawingBuilder` 的方法调用，构造成最终传递进函数的实参值。例如，Swift 将例子中的 `caps(_:)` 的调用转换为下面的代码： + +```swift +let capsDrawing = caps { + let partialDrawing: Drawable + if let name = name { + let text = Text(name + "!") + partialDrawing = DrawingBuilder.buildEither(first: text) + } else { + let text = Text("World!") + partialDrawing = DrawingBuilder.buildEither(second: text) + } + return partialDrawing +} +``` + +Swift 将 `if-else` 方法块转换成调用 `buildEither(first:)` 和 `buildEither(second:)` 方法。虽然不会在自己的代码中调用这些方法，但是转换后的结果可以更清晰的理解在使用 `DrawingBuilder` 语法时 Swift 是如何进行转换的。 + +为了支持 `for` 循环来满足某些特殊的绘制语法，需要添加 `buildArray(_:)` 方法。 + +```swift +extension DrawingBuilder { + static func buildArray(_ components: [Drawable]) -> Drawable { + return Line(elements: components) + } +} +let manyStars = draw { + Text("Stars:") + for length in 1...3 { + Space() + Stars(length: length) + } +} +``` + +上面的代码中，使用 `for` 循环创建了一个绘制数组，`buildArray(_:)` 方法将该数组构建成 `Line`。 + +有关 Swift 如何将构建器语法转换为构建器类型方法的完整信息，查看 [结果构造器](../03_language_reference/07_Attributes.md#resultbuilder)。 +