Swift5方法中使用泛型数组 混合Animal协议实例传参报错解决

• 你定义的Animal是带关联类型（associatedtype）的协议，这类协议不能直接作为独立类型使用，只能作为泛型约束。
• 原feedAll方法的泛型约束<T: Animal>要求传入的数组所有元素必须是同一个具体的Animal实现类型，但你传入的数组同时包含Cow、Rabbit两种不同类型，编译器无法推断出统一的泛型参数T，因此抛出类型歧义错误。

通过类型擦除抹除不同Animal实现类的类型差异，将异构实例统一包装为同一种类型，即可实现传入混合类型数组的需求，改动后的完整可运行代码如下：

protocol AnimalFeed {
    init()
}

protocol Animal {
    associatedtype Feed: AnimalFeed
    func eat(_ food: Feed)
    /// 新增不依赖关联类型的统一喂食入口
    func feedItself()
}

// 默认实现喂食逻辑：自动创建对应饲料调用eat方法
extension Animal {
    func feedItself() {
        eat(Feed())
    }
}

// 类型擦除包装类型
struct AnyAnimal {
    private let feedAction: () -> Void
    
    init<T: Animal>(_ animal: T) {
        feedAction = animal.feedItself
    }
    
    /// 对外暴露统一的喂食调用方法
    func feed() {
        feedAction()
    }
}

struct Hay: AnimalFeed {}
struct Carrot: AnimalFeed {}

struct Cow: Animal {
    func eat(_ food: Hay) {
        print("I eat hay")
    }
}

struct Rabbit: Animal {
    func eat(_ food: Carrot) {
        print("I eat carrot")
    }
}

struct Farm {
    func feed<T: Animal>(_ animal: T) {
        animal.feedItself()
    }

    func feedAll(_ animals: [AnyAnimal]) {
        animals.forEach { $0.feed() }
    }
}

let farm = Farm()
farm.feed(Rabbit())
// 不同类型的Animal实例包装为AnyAnimal后即可存入同一数组
farm.feedAll([AnyAnimal(Cow()), AnyAnimal(Rabbit())])

运行结果 #

I eat carrot
I eat hay
I eat carrot

实现逻辑说明 #

• 给Animal协议扩展的feedItself方法把「创建对应饲料、调用eat」的逻辑封装在协议内部，不对外暴露关联类型的具体信息，为类型擦除提供了无类型差异的统一调用入口。
• AnyAnimal作为类型擦除的包装层，内部只持有喂食的闭包逻辑，不绑定具体的Animal实现类型，因此Cow、Rabbit等不同类型的实例都可以被包装为AnyAnimal类型，满足数组元素类型统一的要求。
• 原有Cow、Rabbit的业务逻辑不需要做任何修改，调用时仅需多一步包装操作，侵入性极低。

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