Ios Swift 5.7 使存在的任何协议符合 Hashable

假设我们想找到一种方法来列出[any Animal]个，而不是"为什么会发生这样的事情":(请参阅相应的WWDC22会话以找到第二个问题的答案)

使用Xcode 14b3/iOS 16测试

让我们跳进这个洞...

原始代码中有两处报告的错误:

List(anAnimalList, 
                   id: \.self,     // << 1st place
            selection: $anAnimal   // << 2nd place
) { animal in
    Text("Animal")
}

1st place-因为Animal是不可识别的，self和具体类型的实例有关，所以我们不应该使用\.self(因为编译器无法推断具体类型)，而是直接通过\.id识别

第一个问题有一个可能的解决方案:

protocol Animal: Hashable, Identifiable {
    var id: UUID { get }
    var name: String { get }
}

struct Cow: Animal {
    let id = UUID()
    let name: String
}

struct Chicken: Animal {
    let id = UUID()
    let name: String
}

    var body: some View {
        VStack {
            List(anAnimalList, id: \.id) { animal in   // << no error !!
                Text("Animal: \(animal.name)")
            }
        }
    }

2nd place-关于 Select ；故事是一样的，Swift 应该知道" Select 的具体类型"或能够"从代码中推断"，这两者在编译类型上都是不可能的，所以与其试图用头撞墙，不如找一扇门...

一个可能的解决方案是使用在上下文中已知和具体的内容进行 Select ...我们刚刚在"id"上面添加了它

这是对第二部分的修正

@State private var anAnimalID: UUID? // << here !!

var body: some View {
    VStack {
        List(anAnimalList, id: \.id, selection: $anAnimalID) { animal in
            Text("Animal: \(animal.name)")
        }
        if let animal = anAnimalList.first { $0.id == anAnimalID } {
            Text("Animal is \(animal.name)")
        }
    }
}

Test code on GitHub