SwiftUI：为什么 ModifiedContent 符合 `some View` function 返回类型？

Question

// it compiles without any problems, regardless ModifiedContent is not a View
func modify(with viewModifier: some ViewModifier) -> some View {
    let content: ModifiedContent<Self, some ViewModifier> = modifier(viewModifier)
    return content
}

但是如果我们以通用方式编写相同的代码，我们会收到预期的错误消息

func modify<V>(with viewModifier: some ViewModifier) -> V where V : View {
    let content: ModifiedContent<Self, some ViewModifier> = modifier(viewModifier)
    return content // error: Cannot convert return expression of type 
                   //       'ModifiedContent<Self, some ViewModifier>' to return type 'V'
}

Answer 1

这是您的第一份工作声明：

 func modify(with viewModifier: some ViewModifier) -> some View

您在该 function 声明中两次使用了some关键字。 重要的是要了解some在这两种用法中意味着不同的东西。

在第一次使用时（ viewModifier: some ViewModifier ）， some关键字是隐式的、未命名的通用参数的“语法糖”。 我们可以通过用显式的、命名的通用参数替换它来去除some的使用，如下所示：

// Replace `some` in parameter position with an explicit generic parameter:
func modify<VM: ViewModifier>(with viewModifier: VM) -> some View

当您调用该modify方法时，您作为调用者选择一个真实类型来替换VM参数。 所以你可以多次调用modify ，每次用不同的类型来替换VM 。 唯一的限制是替换类型必须始终符合ViewModifier协议。

some在您的第一个 function 声明中的第二次使用（在-> some View中）具有不同的含义。 这意味着 function 将返回一个类型符合View的值，但具体类型由 function 的主体选择。您作为 function 调用者不选择类型。

总结差异：

• 参数 position 中的some关键字

  • 表示一个隐式的、未命名的泛型类型参数；
  • 可以在不改变 function 主体的情况下被脱糖为一个显式的、命名的通用参数；
  • 被function 的调用者选择的类型替换。

• 返回类型中的some关键字 position

  • 表示已知符合协议的类型；
  • 是由function 的主体选择的类型。

现在让我们看看您的第二个损坏的 function 声明：

 func modify<V>(with viewModifier: some ViewModifier) -> V where V: View

这类似于您的第一个 function 声明，只是您将返回类型 position 中的some替换为通用参数V 。

问题是这些并不意味着相同的事情。 正如我上面所解释的， some View的返回类型意味着function 主体选择实际类型，但function 的调用者始终选择通用参数。

这就是当您的 function 尝试return content时出现错误的原因。 不能保证content的类型为V 。 您的 function 对V类型知之甚少（您只知道它符合View ），以至于 function 甚至无法创建V类型的值（因为View协议没有任何init要求）。

您对第一个有效的 function 声明也有此评论：

 // it compiles without any problems, regardless ModifiedContent is not a View

我假设您在extension View中声明了modify(withViewModifier:)方法。 这意味着Self符合View ，所以ModifiedContent<Self, some ViewModifier>符合View 。

Answer 2

ModifiedContent是一个通用的 View ，因此您可以将其作为不透明的结果类型返回some View 。 返回时-> V where V: View ModifiedContent必须匹配调用它的任何V类型，这是不可能的。

另见： https://forums.swift.org/t/how-to-use-a-generic-type-as-the-functions-return-type/37666/2

Answer 3

感谢@robmayoff 和@jrturton，我终于明白了。 ModifiedContent符合some View因为ModifiedContent有条件地符合View 。 我们可以通过观察ModifiedContent的定义来确保这一点。 如果我们向下滚动，我们可以看到：

extension ModifiedContent : View where Content : View, Modifier : ViewModifier { ... }