为什么SwiftUI的View Protocol使用PAT？

Question

View协议的定义如下：

public protocol View : _View {

    /// The type of view representing the body of this view.
    ///
    /// When you create a custom view, Swift infers this type from your
    /// implementation of the required `body` property.
    associatedtype Body : View

    /// Declares the content and behavior of this view.
    var body: Self.Body { get }
}

因此， View现在是PATed协议，尽管swift 5.1的不透明返回类型可以处理此类型，但它不能直接用作返回类型，但是为什么要声明一个associatedtype Body : View而不是var body: View { get }直接？

Answer 1

因为如果只是一个var body: Self.Body { get } -实现View协议的您的实体将不知道body的类型。

struct MyView: View {
    var body: MyAnotherView {
        //implementation...
    }
}

该代码将无法编译，您必须编写以下代码：

struct MyView: View {
    var body: View {
        //implementation...
    }
}

而且我认为，在幕后，SwiftUI必须知道View的确切类型，而不仅仅是协议

Answer 2

在SwiftUI之前，Swift不允许我们将具有关联类型的协议用作返回类型，但是我们可以使用“常规”协议。 编译器让您通过显示以下错误进行限制：

“协议只能用作通用约束，因为它具有Self或关联的类型要求。”

这是什么意思？

• 编译器无法从此定义推断关联的类型，并且返回类型将不完整。

• 每当我们调用那个函数时，它总是返回不同的具体类型，而不是相同的具体类型。

  • 编译器不允许您对此具体类型执行交换，相等，比较操作。 即使他们采用相同的协议（即PAT）。 因为具体类型可能具有它们实现或使用的不同关联类型。

  为了避免在每次调用时使用不同的具体类型作为返回类型，我们使用一些关键字作为不透明的返回类型。

不透明返回类型：

1. 这是泛型的相反。
2. 它总是返回相同的具体类型。您和编译器都知道。
3. 如果改用不透明的结果类型，则强制该函数将始终返回相同的具体类型。
4. 在执行操作的内部函数中，我们知道泛型。