Question

似乎苹果公司的新SwiftUI框架使用了一种新型语法，该语法可以有效地构建元组，但是具有另一种语法：

var body: some View {
    VStack(alignment: .leading) {
        Text("Hello, World") // No comma, no separator ?!
        Text("Hello World!")
    }
}

试图解决该语法的真正含义，我发现此处使用的VStack初始化程序采用() -> Content类型的闭包作为第二个参数，其中Content是符合View的通用参数，它是通过闭包推断出来的。为了找出推断为Content的类型，我对代码进行了少许更改，并保持其功能：

var body: some View {
    let test = VStack(alignment: .leading) {
        Text("Hello, World")
        Text("Hello World!")
    }

    return test
}

有了这个，test就会显示自己为VStack<TupleView<(Text, Text)>>类型，这意味着Content是TupleView<Text, Text>类型。查找TupleView时，我发现它是源自SwiftUI本身的包装类型，只能通过传递应包装的元组来初始化。

问题

现在，我想知道此示例中的两个Text实例如何转换为TupleView<(Text, Text)>。这是否侵入SwiftUI并因此无效的常规Swift语法？是TupleView类型的SwiftUI支持此假设。还是这个有效的Swift语法？？如果是，一个如何在SwiftUI之外使用它？

Answer 1

As Martin says，如果您查看VStack的init(alignment:spacing:content:)的文档，则可以看到content:参数具有属性@ViewBuilder：< / p>

init(alignment: HorizontalAlignment = .center, spacing: Length? = nil,
     @ViewBuilder content: () -> Content)

此属性引用的是ViewBuilder类型，如果您查看生成的接口，则该类型类似于：

@_functionBuilder public struct ViewBuilder {

    /// Builds an empty view from an block containing no statements, `{ }`.
    public static func buildBlock() -> EmptyView

    /// Passes a single view written as a child view (e..g, `{ Text("Hello") }`)
    /// through unmodified.
    public static func buildBlock(_ content: Content) -> Content 
      where Content : View
}

@_functionBuilder属性是名为“ function builders”的非官方功能的一部分，该功能已pitched on Swift evolution here并专门针对Xcode 11随附的Swift版本实现。在SwiftUI中使用。

标记类型@_functionBuilder可以将其用作各种声明（例如函数，计算属性以及在这种情况下为函数类型的参数）上的自定义属性。此类带注释的声明使用函数生成器来转换代码块：

对于带注释的函数，要转换的代码块是实现。
对于带注释的计算属性，要转换的代码块是getter。
对于带注释的函数类型参数，要转换的代码块是传递给它的任何闭包表达式（如果有）。

函数构建器转换代码的方式由其builder methods的实现（例如buildBlock）定义，该实现采用一组表达式并将它们合并为一个值。

例如，ViewBuilder为1到10个buildBlock符合参数实现View，将多个视图合并为一个TupleView：

@available(iOS 13.0, OSX 10.15, tvOS 13.0, watchOS 6.0, *)
extension ViewBuilder {

    /// Passes a single view written as a child view (e..g, `{ Text("Hello") }`)
    /// through unmodified.
    public static func buildBlock<Content>(_ content: Content)
       -> Content where Content : View

    public static func buildBlock<C0, C1>(_ c0: C0, _ c1: C1) 
      -> TupleView<(C0, C1)> where C0 : View, C1 : View

    public static func buildBlock<C0, C1, C2>(_ c0: C0, _ c1: C1, _ c2: C2)
      -> TupleView<(C0, C1, C2)> where C0 : View, C1 : View, C2 : View

    // ...
}

这允许传递给VStack的初始化程序的闭包内的一组视图表达式被转换为对buildBlock的调用，该调用采用相同数量的参数。例如：

struct ContentView : View {
  var body: some View {
    VStack(alignment: .leading) {
      Text("Hello, World")
      Text("Hello World!")
    }
  }
}

被转换为对buildBlock(_:_:)的调用：

struct ContentView : View {
  var body: some View {
    VStack(alignment: .leading) {
      ViewBuilder.buildBlock(Text("Hello, World"), Text("Hello World!"))
    }
  }
}

opaque result type some View被TupleView<(Text, Text)>满足。

您会注意到，ViewBuilder仅定义buildBlock最多10个参数，因此，如果我们尝试定义11个子视图：

  var body: some View {
    // error: Static member 'leading' cannot be used on instance of
    // type 'HorizontalAlignment'
    VStack(alignment: .leading) {
      Text("Hello, World")
      Text("Hello World!")
      Text("Hello World!")
      Text("Hello World!")
      Text("Hello World!")
      Text("Hello World!")
      Text("Hello World!")
      Text("Hello World!")
      Text("Hello World!")
      Text("Hello World!")
      Text("Hello World!")
    }
  }

我们遇到一个编译器错误，因为没有构建器方法来处理此代码块（请注意，由于此功能仍在开发中，因此围绕它的错误消息将无济于事）。

实际上，我不认为人们会经常遇到这种限制，例如，使用ForEach视图代替上述示例会更好：

  var body: some View {
    VStack(alignment: .leading) {
      ForEach(0 ..< 20) { i in
        Text("Hello world \(i)")
      }
    }
  }

但是，如果您确实需要10个以上的静态定义的视图，则可以使用Group视图轻松解决此限制：

  var body: some View {
    VStack(alignment: .leading) {
      Group {
        Text("Hello world")
        // ...
        // up to 10 views
      }
      Group {
        Text("Hello world")
        // ...
        // up to 10 more views
      }
      // ...
    }

ViewBuilder还实现了其他函数构建器方法，例如：

extension ViewBuilder {
    /// Provides support for "if" statements in multi-statement closures, producing
    /// ConditionalContent for the "then" branch.
    public static func buildEither<TrueContent, FalseContent>(first: TrueContent)
      -> ConditionalContent<TrueContent, FalseContent>
           where TrueContent : View, FalseContent : View

    /// Provides support for "if-else" statements in multi-statement closures, 
    /// producing ConditionalContent for the "else" branch.
    public static func buildEither<TrueContent, FalseContent>(second: FalseContent)
      -> ConditionalContent<TrueContent, FalseContent>
           where TrueContent : View, FalseContent : View
}

这使它能够处理if语句：

  var body: some View {
    VStack(alignment: .leading) {
      if .random() {
        Text("Hello World!")
      } else {
        Text("Goodbye World!")
      }
      Text("Something else")
    }
  }

将其转换为：

  var body: some View {
    VStack(alignment: .leading) {
      ViewBuilder.buildBlock(
        .random() ? ViewBuilder.buildEither(first: Text("Hello World!"))
                  : ViewBuilder.buildEither(second: Text("Goodbye World!")),
        Text("Something else")
      )
    }
  }

（为清楚起见，向ViewBuilder.buildBlock发送冗余的1个参数的调用）。

Answer 2

在What's New in Swift WWDC video中有关DSL的部分（从〜31：15开始）中描述了类似的内容。该属性由编译器解释并转换为相关代码：

什么可以启用SwiftUI的DSL？

2 个答案: