为何Swift中声明为()->() -> some View的函数无法返回返回View的闭包？

示例代码 #

struct NavLinkLabel: View {
    var text: String
    var body: some View {
        HStack {
            Text(text)
            Spacer()
            Image(systemName: "chevron.right")
        }
        .padding()
        .border(.bar)
    }
}

func lbl(_ text: String) -> () -> some View {
    return {
        NavLinkLabel(text: text) // 错误触发行
    }
}

第一个错误及原因 #

错误提示：

无法将类型“NavLinkLabel”转换为闭包结果类型“some View”

尽管NavLinkLabel遵循View协议，但some View是不透明返回类型，它的本质是让编译器推断出一个单一的具体类型，而非接受任意符合View的类型。直接返回NavLinkLabel实例时，编译器不会自动将这个具体类型隐式转换为闭包要求的some View——因为some View不是View协议的别名，而是某个特定具体类型的占位符。

第二个错误及原因 #

若将错误行替换为NavLinkLabel(text: text).body，会触发新错误：

无法将类型“some View”（NavLinkLabel.body的类型）转换为闭包结果类型“some View”（lbl的返回结果类型）

这是因为两个some View属于不同上下文的不透明类型：NavLinkLabel.body的some View对应HStack加修饰符后的具体类型，而lbl闭包返回的some View是另一个独立的占位符。Swift中，不同位置的some View绑定的具体类型完全独立，即使它们都符合View协议，编译器也不会认为这两个some View是同一类型，因此无法直接转换。

核心结论 #

some View不是“任意View类型”的通用容器，而是“某个编译器可确定的具体View类型”的抽象表示。不同上下文的some View绑定的具体类型不同，因此即使底层都符合协议，也无法互相隐式转换。

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