Swift泛型错误咨询：协议要求嵌套类型'V'如何解决？

第一个协议TestSomeB的returnSome方法无泛型参数，返回的some View是固定的不透明类型，Swift可自动推断关联类型V匹配该类型，因此能正常运行。但TestSomeA的linkBuilder方法带有泛型参数Content，返回的NavigationLink类型会随传入的Content变化（NavigationLink的类型包含Content的具体类型），而协议要求返回固定的关联类型V，导致Swift无法为TestSomeAImp推断出统一的V类型，从而报错。

方案1：移除关联类型，直接返回some View #

这是最贴合你需求的方案，既保留抽象协议，又支持返回some View：

protocol TestSomeA: ObservableObject {
    func linkBuilder<Content: View>(data: TestModel, @ViewBuilder content: () -> Content) -> some View
}

class TestSomeAImp: TestSomeA {
    init() {}

    func linkBuilder<Content: View>(data: TestModel, @ViewBuilder content: () -> Content) -> some View {
        NavigationLink(destination: routeToPage(data: data)) {
            content()
        }
    }

    private func routeToPage(data: TestModel) -> some View {
        TestView()
    }
}

方案2：使用泛型关联类型（Swift 5.7+） #

若需保留关联类型设计，可利用Swift 5.7的泛型关联特性，让V依赖于方法的泛型参数Content：

protocol TestSomeA: ObservableObject {
    associatedtype V<Content: View>: View
    func linkBuilder<Content: View>(data: TestModel, @ViewBuilder content: () -> Content) -> V<Content>
}

class TestSomeAImp: TestSomeA {
    init() {}

    func linkBuilder<Content: View>(data: TestModel, @ViewBuilder content: () -> Content) -> some View {
        NavigationLink(destination: routeToPage(data: data)) {
            content()
        }
    }
}

这里V是泛型关联类型，会根据传入的Content自动匹配返回类型，Swift可正确推断实现类中的V<Content>为NavigationLink的具体类型。

方案3：类型擦除（AnyView） #

若上述方案不适用，可通过AnyView擦除具体类型，统一协议返回类型：

protocol TestSomeA: ObservableObject {
    func linkBuilder<Content: View>(data: TestModel, @ViewBuilder content: () -> Content) -> AnyView
}

class TestSomeAImp: TestSomeA {
    init() {}

    func linkBuilder<Content: View>(data: TestModel, @ViewBuilder content: () -> Content) -> AnyView {
        AnyView(NavigationLink(destination: routeToPage(data: data)) {
            content()
        })
    }

    private func routeToPage(data: TestModel) -> some View {
        TestView()
    }
}

此方式会丢失具体类型信息，可能存在微小性能损耗，但能快速解决报错问题。

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