为什么SwiftUI的视图协议使用PAT？

Question

视图协议定义如下：

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现在是一个过时的协议，不能直接用作返回类型，尽管swift5.1的不透明返回类型可以处理这个问题，但是为什么要声明一个associatedtype主体：View，而不是var主体：View{get}？

Answer 1

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

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

这是什么意思？

>

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

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

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

不透明返回类型：

1. 它与泛型类型相反

Answer 2

因为如果它只是一个变量body:Self。Body{get}-实现视图协议的实体将不知道Body的类型。

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

此代码将无法编译，您必须编写以下内容：

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

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