使函数参数成为也符合协议的协议类型

Question

我想创建一个接受协议类型参数的函数，并确保该协议类型也符合另一种协议类型。有没有办法我可以做到这一点？还是我必须从根本上重新考虑我的方法？

例子：

// This doesn't extend CaseIterable itself because I would like to use it as a concrete type and not just a generic constraint
protocol MyProtocol {
    /*some protocol stuff*/
}

enum myEnum: MyProtocol, CaseIterable {
    /*some enum stuff*/
}

func<T: CaseIterable>(_ myEnum: MyProtocol.Type) 
where MyProtocol.Type: CaseIterable {
    myEnum.allCases //   <--- This is what I would like to do
}

Answer 1

您需要更改函数签名以使用泛型类型约束作为输入参数的类型，并将泛型类型参数限制为MyProtocol 和CaseIterable。

func enumFunc<T: MyProtocol & CaseIterable>(_ myEnum: T.Type) {
    myEnum.allCases //   <--- This is what I would like to do
}