为什么 SwiftUI 中的原始 View 没有主体？

The View协议需要一个body财产：

public protocol View {
    associatedtype Body : View

    @ViewBuilder var body: Self.Body { get }
}

为什么 SwiftUI 中的一些内置视图没有主体？

@frozen public struct EmptyView : View {
    @inlinable public init()

    public typealias Body = Never
}

@frozen public struct VStack<Content> : View where Content : View {
    @inlinable public init(alignment: HorizontalAlignment = .center, spacing: CGFloat? = nil, @ViewBuilder content: () -> Content)

    public typealias Body = Never
}

have no body根本..

let emptyView = EmptyView().body
// Value of type 'EmptyView' has no member 'body'

let vStackView = VStack { Text("some text")}.body
// Value of type 'VStack<Text>' has no member 'body'

这些怎么样View实施了吗？

每个原始视图都有一个body，但它在编译时不能直接访问。官方 Swift 论坛有关于这个主题的话题。我将在这里重现我的分析。

让我们考虑一下Text.

A Text值有一个body财产，正如所有Views do. Text's body calls fatalError:

import SwiftUI

func body<V: View>(of view: V) -> V.Body { view.body }

body(of: Text("hello"))

// runtime output:

SwiftUI/View.swift:94: Fatal error: body() should not be called on Text.

但是，如果我们尝试访问body直接使用属性，编译器会拒绝该程序：

import SwiftUI

Text("hello").body

Output:

编译器拒绝该程序，因为 SwiftUI 的swiftinterface文件没有声明 body 属性Text.

为什么不Text的声明包括body？我不确定，因为我无法访问 SwiftUI 源代码，但我发现我们可以使用@_spi省略声明.swiftinterface file.

我将以下内容放入MyView.swift:

import SwiftUI

public struct MyView: View {
    @_spi(Private)
    public var body: Never { fatalError() }
}

然后我根据找到的“直接调用编译器”指令进行如下编译here:

swiftc MyView.swift -module-name MyLib -emit-module -emit-library -emit-module-interface -enable-library-evolution

编译器这样写MyLib.swiftinterface如下，省略body宣言:

// swift-interface-format-version: 1.0
// swift-compiler-version: Apple Swift version 5.7 (swiftlang-5.7.0.123.7 clang-1400.0.29.50)
// swift-module-flags: -target arm64-apple-macosx12.0 -enable-objc-interop -enable-library-evolution -module-name MyLib
import Swift
import SwiftUI
import _Concurrency
import _StringProcessing
public struct MyView : SwiftUI.View {
  public typealias Body = Swift.Never
}

它写道MyLib.private.swiftinterface如下，包含body宣言：

// swift-interface-format-version: 1.0
// swift-compiler-version: Apple Swift version 5.7 (swiftlang-5.7.0.123.7 clang-1400.0.29.50)
// swift-module-flags: -target arm64-apple-macosx12.0 -enable-objc-interop -enable-library-evolution -module-name MyLib
import Swift
import SwiftUI
import _Concurrency
import _StringProcessing
public struct MyView : SwiftUI.View {
  @_spi(Private) @_Concurrency.MainActor(unsafe) public var body: Swift.Never {
    get
  }
  public typealias Body = Swift.Never
}

所以我最好的猜测是 SwiftUI 应用了@_spi归因于body每个原语的属性View.