SwiftUI疑问：为何ModifiedContent可作为some View返回类型？

在SwiftUI开发中会遇到这样的困惑：为什么ModifiedContent可以作为返回类型为some View的函数的返回值？明明看起来ModifiedContent本身并不是View类型，但下面这段代码却能正常编译：

// 这段代码可以正常编译，尽管看起来ModifiedContent不是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 // 错误：无法将类型'ModifiedContent<Self, some ViewModifier>'转换为返回类型'V'
}

问题解析 #

1. 纠正误解：ModifiedContent其实遵循View协议
   你可能误以为ModifiedContent不是View，但实际上它是SwiftUI内部实现的一个遵循View协议的类型，只是它的具体实现是私有的，没有对外公开声明。Swift编译器能识别它的协议一致性，所以允许它作为some View的返回值。

2. some View不透明返回类型的作用
   some View是Swift的不透明返回类型，它的作用是告诉编译器：“这个函数会返回一个具体的、遵循View协议的类型，但不需要向调用者暴露这个类型的具体细节”。只要返回的实际类型符合View，编译器就会通过检查，这也是第一段代码能正常编译的原因。

3. 泛型写法报错的原因
   泛型版本的modify<V>函数，是让调用者来指定返回类型V（只要V遵循View）。但你在函数内部返回的是固定的ModifiedContent<Self, some ViewModifier>类型，这个类型和调用者指定的V大概率不是同一个类型，编译器无法保证两者的一致性，所以会抛出类型转换错误。这是合理的，因为泛型要求返回的类型必须严格匹配调用者指定的V，而ModifiedContent只是众多View类型中的一种，无法满足所有可能的V类型。

内容的提问来源于stack exchange，提问作者sugar baron