Swift编译错误：Type 'any Leg' cannot conform to 'Leg' 解决方案咨询

这个错误的核心原因是：Swift 中声明的 [Leg] 本质是 Array<any Leg>（存放存在类型的数组），而你写的扩展 extension Array: ZoneOfBody where Element: Leg 要求数组的元素是具体遵循Leg协议的类型，但 any Leg 是存在类型，无法满足 Element: Leg 这个约束（约束要求Element是能静态确认遵循Leg的具体类型）。

下面是几个可行的解决思路：

思路一：调整扩展约束适配存在类型 #

直接修改 ZoneOfBody 的数组扩展，让它支持元素为 any Leg 的数组：

protocol Animal { 
    var legs: [Leg] { get }
}

class Dog: Animal {
    var legs: [Leg] = []
}

protocol Leg {} 

protocol ZoneOfBody {} 

// 修改这里的约束，匹配存在类型any Leg
extension Array: ZoneOfBody where Element == any Leg {}

func test() -> ZoneOfBody {
    let dog = Dog()
    return dog.legs // 编译通过
}

这个方案不需要改动原有协议和类的结构，适合想保留[Leg]这种抽象数组声明的场景。

思路二：用关联类型让Animal协议绑定具体Leg类型 #

如果你的业务场景中存在具体的Leg实现类，可以给Animal协议添加关联类型，让具体动物类指定具体的Leg类型，这样数组元素就是具体类型，满足原扩展的约束：

protocol Animal {
    associatedtype LegType: Leg
    var legs: [LegType] { get }
}

class Dog: Animal {
    // 假设有一个具体的DogLeg类遵循Leg协议
    class DogLeg: Leg {}
    var legs: [DogLeg] = []
}

protocol Leg {} 

protocol ZoneOfBody {} 

extension Array: ZoneOfBody where Element: Leg {}

func test() -> ZoneOfBody {
    let dog = Dog()
    return dog.legs // 编译通过
}

这个方案类型安全性更高，适合有明确具体Leg实现的场景，但会让Animal协议变成带关联类型的协议，无法直接作为独立类型使用（比如不能直接声明let animal: Animal）。

思路三：直接让Array遵循ZoneOfBody #

如果不想修改原扩展的约束，可以单独给Array<any Leg>添加遵循ZoneOfBody的扩展：

protocol Animal { 
    var legs: [Leg] { get }
}

class Dog: Animal {
    var legs: [Leg] = []
}

protocol Leg {} 

protocol ZoneOfBody {} 

// 原扩展保留，支持具体Leg类型的数组
extension Array: ZoneOfBody where Element: Leg {}
// 单独添加针对any Leg数组的扩展
extension Array: ZoneOfBody where Element == any Leg {}

func test() -> ZoneOfBody {
    let dog = Dog()
    return dog.legs // 编译通过
}

这个方案兼顾了两种情况：既支持具体Leg类型的数组，也支持存放存在类型的[Leg]数组，适合需要同时兼容两种场景的业务需求。

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