如何解决函数使用关联类型作为参数时如何使用不透明类型的函数
我有这个协议:
protocol Container {
associatedtype Item
var count: Int { get }
func search(for: Item) -> Int?
subscript(i: Int) -> Item { get }
}
而且我可以通过以下方式轻松使 Array
符合此协议:
extension Array: Container where Element: Equatable {
func search(for element: Element) -> Int? {
firstIndex { $0 == element }
}
}
现在,根据 Apple 文档,我可以这样做:
func makeOpaqueContainer<T: Equatable>(item: T) -> some Container {
return [item]
}
let opaqueContainer = makeOpaqueContainer(item: 12)
let twelve = opaqueContainer[0]
// The compiler kNows "twelve" is of type Int,// therefore it must also kNow that associatedtype Item is Int
但是,如果我想使用 search(for:)
函数怎么办?当我执行以下操作时:let index = opaqueContainer.search(for: 12)
我收到一条错误消息,“无法将 Int
类型的值转换为预期的参数类型 (some Container).Item
”。
(即使编译器知道 (some Container).Item
是 Int
)
extension Container {
func createItem(_ item: Any) -> Item? {
item as? Item
}
}
并像这样使用它:
guard let searchItem = opaqueContainer.createItem(12) else { return }
let index = opaqueContainer.search(for: searchItem)
这似乎有点不自然,所以我希望有一种更简单的方法来使用 search(for:)
函数,而无需执行此 createItem(_:)
业务。如果有人能告诉我在我使用不透明类型时使用 search(for:)
函数的更好方法,请告诉我。
提前致谢!
版权声明:本文内容由互联网用户自发贡献,该文观点与技术仅代表作者本人。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如发现本站有涉嫌侵权/违法违规的内容, 请发送邮件至 dio@foxmail.com 举报,一经查实,本站将立刻删除。