能否将带关联类型的协议作为属性以满足约束？

嘿，这个问题我之前踩过坑！直接把带关联类型的协议当作属性类型是行不通的——因为Swift里这类协议属于「存在类型」，编译器没办法确定它的关联类型具体是什么，自然没法用来声明属性。不过别担心，有两种常用的方法能满足你「确保Animal.Item == Owner.Item」的需求，咱们一个个说：

方案一：给Owner添加带约束的泛型参数 #

这种方法最直接，通过泛型参数把Owner的Item和Animal的关联类型绑定起来：

protocol Animal {
    associatedtype Item
    func doSomething(with item: Item)
}

class Owner<AnimalType: Animal> {
    var item: AnimalType.Item
    var animal: AnimalType
    
    init(item: AnimalType.Item, animal: AnimalType) {
        self.item = item
        self.animal = animal
    }
}

为什么这能行？ #

这里我们给Owner加了一个泛型参数AnimalType，要求它必须遵循Animal协议。这样AnimalType.Item就是一个明确的类型，Owner的item属性类型会自动和Animal的关联类型保持一致，完美满足你的约束要求。而且这种方式类型安全性最高，编译器会帮你严格检查类型匹配。

方案二：使用类型擦除（Type Erasure） #

如果你希望Owner不要依赖具体的Animal实现类型，而是只关心Item类型是否匹配，那可以用类型擦除来包装Animal协议：

protocol Animal {
    associatedtype Item
    func doSomething(with item: Item)
}

// 先写一个类型擦除的包装器
struct AnyAnimal<Item>: Animal {
    private let _doSomething: (Item) -> Void
    
    // 初始化方法接受任意遵循Animal且Item匹配的类型
    init<A: Animal>(_ animal: A) where A.Item == Item {
        _doSomething = animal.doSomething
    }
    
    func doSomething(with item: Item) {
        _doSomething(item)
    }
}

class Owner<Item> {
    var item: Item
    var animal: AnyAnimal<Item>
    
    init(item: Item, animal: AnyAnimal<Item>) {
        self.item = item
        self.animal = animal
    }
}

适用场景 #

这种方式让Owner的animal属性可以接受任何Item类型匹配的Animal实现，比如你有Dog: Animal和Cat: Animal，只要它们的Item都是String，就能都传给Owner的animal属性，灵活性更高。

两种方案怎么选？ #

• 如果你的Owner明确和某一种Animal绑定（比如DogOwner只对应Dog），选方案一更合适，类型更严谨。
• 如果需要Owner兼容多种Animal实现，只要Item类型一致就行，那方案二的类型擦除更适合你。

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