Swift中为何AnyProvider可解决any Provider适配泛型View的问题？

问题背景代码 #

1. Provider 协议

protocol Provider {
    func get() -> String
}

2. 包含 any Provider 字段的结构体 S

struct S {
    var provider: any Provider
}

3. 泛型视图 ProviderView

struct ProviderView<P: Provider>: View {
    let provider: P
    var body: some View {
        Text(provider.get())
    }
}

4. Provider 的实现 DummyProvider

struct DummyProvider: Provider {
    func get() -> String {
        "Hello World!"
    }
}

遇到的问题 #

在 ContentView 中尝试将 S.provider 传入 ProviderView 时，触发错误：Type 'any Provider' cannot conform to 'Provider'。

但手动实现一个类型擦除结构体 AnyProvider 后，问题即可解决：

struct AnyProvider: Provider {
    let erased: any Provider
    func get() -> String {
        return erased.get()
    }
}

核心疑问 #

1. Swift 为何无法自动生成类似的包装结构体？
2. any Provider 与 AnyProvider 的本质区别是什么？
3. 为何 AnyProvider 更具“具体性”？

（环境：Xcode 14 Beta 3、Swift 5.7）

1. 两者的本质区别 #

• any Provider 是存在类型（Existential Type）：它只是一个抽象的“类型占位符”，代表任意符合 Provider 协议的具体类型实例，但本身不是一个具体类型。编译期无法确定它底层绑定的实际类型，只能通过协议方法表（Witness Table）动态派发方法。
• AnyProvider 是具体结构体类型：它明确实现了 Provider 协议，内部虽然持有 any Provider 实例，但自身是编译期可确定的具体类型，属于静态派发范畴（仅内部对 erased 的调用是动态的）。

2. AnyProvider 的“具体性”原因 #

泛型 ProviderView<P: Provider> 要求传入的是编译期确定的、符合协议的具体类型作为泛型参数。any Provider 作为存在类型，无法满足泛型对“确定类型信息”的要求——它的实际类型只有运行时才能确定，无法填充到需要编译期类型的泛型参数中。

而 AnyProvider 是一个实实在在的结构体，它的类型在编译期完全明确，且明确符合 Provider 协议，完全满足泛型的类型约束，因此可以正常传入 ProviderView。

3. Swift 不自动合成包装的原因 #

自动合成类型擦除结构体看似便捷，但存在几个关键限制：

• 协议复杂度问题：如果协议包含关联类型、Self 约束或多方法，自动合成的逻辑会异常复杂，编译器很难覆盖所有场景的正确实现。
• 性能与控制权：手动实现类型擦除允许开发者自定义优化逻辑（比如缓存结果、添加额外处理），自动合成会剥夺这种控制权，还可能引入不必要的性能开销。
• 语义明确性：手动创建 AnyProvider 明确表达了开发者“主动进行类型擦除”的意图，自动合成会模糊代码语义，让开发者无法清晰感知类型擦除的发生。

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