Swift中使existential 'any'协议遵循Hashable的问题

问题原因 #

虽然你的Animal协议继承了Hashable，这仅意味着所有遵循Animal的具体类型（比如Cat、Dog）必须实现Hashable的要求，但any Animal是一个存在类型（existential type）——它不是一个具体的类型，而是对所有符合Animal协议的类型的抽象包装。

Swift目前不允许存在类型直接遵循协议（哪怕协议本身继承了Hashable），因为Hashable要求的哈希计算、相等性判断需要依赖具体类型的实现逻辑，而any Animal可能包含完全不同的具体类型，无法统一提供一个确定的Hashable实现。这就是为什么在SwiftUI List中使用\.self作为id时，会抛出Type 'any Animal' cannot conform to 'Hashable'的错误。

解决方法 #

1. 包装存在类型为可哈希的结构体

创建一个包装结构体，持有any Animal并手动实现Hashable协议，内部复用具体实例的Hashable能力：

protocol Animal: Hashable {
    // 你的协议定义
}

struct AnyAnimal: Hashable {
    private let base: any Animal
    
    init(_ base: any Animal) {
        self.base = base
    }
    
    func hash(into hasher: inout Hasher) {
        base.hash(into: &hasher)
    }
    
    static func == (lhs: AnyAnimal, rhs: AnyAnimal) -> Bool {
        lhs.base == rhs.base
    }
}

使用时将数组改为[AnyAnimal]，List中即可正常使用\.self作为id：

List(animals, id: \.self) { animal in
    // 视图内容
}

2. 使用自定义id属性替代\.self

如果你的Animal协议定义了唯一标识属性（比如UUID），可以直接用该属性作为List的id，无需依赖Hashable：

protocol Animal: Hashable {
    var uuid: UUID { get }
    // 其他协议内容
}

// List使用方式
List(animals, id: \.uuid) { animal in
    // 视图内容
}

3. 限制为具体类型数组（如果场景允许）

如果你的数组中只会包含单一具体类型的实例（比如全是Cat），可以直接使用具体类型数组[Cat]，此时Cat作为遵循Animal和Hashable的具体类型，\.self可以正常作为id。

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