函数使用关联类型作为参数时如何使用不透明类型的函数

问题描述

我有这个协议：

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）

我想出的解决方法是将此扩展程序添加到 Container：

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 (将#修改为@）