Swift中约束泛型初始化器参数为类泛型类型时报类型不匹配错误

这个报错是Swift类型系统在处理带嵌套关联类型约束的协议方法引用时的判定局限，你的同类型约束写法本身没有错误：

• 初始化器中where Other.A == A的约束已经明确声明了两个关联类型完全等价，逻辑上不存在类型不匹配
• 触发报错的核心原因是CaseIterable协议自身定义了关联类型AllCases，并且附带AllCases.Element == Self的递归约束：当你直接读取wrappedFoo.doSomething(input:)作为函数值时，编译器不会自动穿透两层关联类型做一致性校验，无法直接判定(Other.A) -> Void和(A) -> Void是等价类型
• 替换为Hashable不会报错，是因为Hashable继承的Equatable对应的Self约束在编译器中有专门的类型检查快路径，不会触发这个判定盲区。

不需要调整任何泛型约束，把直接赋值方法引用的写法改成闭包包裹调用即可。闭包内部的逐语句类型检查会正确识别已声明的同类型约束，不会再报类型错误：

protocol Foo {
    associatedtype A: CaseIterable
    
    func doSomething(input: A)
}

final class AnyFoo<A: CaseIterable>: Foo {
    private let _doSomething: (A) -> Void

    init<Other: Foo>(wrappedFoo: Other) where Other.A == A {
        _doSomething = { input in wrappedFoo.doSomething(input: input) }
    }
  
    func doSomething(input: A) {
        _doSomething(input)
    }
}

这个写法和直接赋值方法引用的运行时行为完全一致，没有额外性能开销，也不会破坏类型擦除的封装逻辑。

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