“_”类型在快速错误消息中的含义是什么?
发布时间:2020-12-14 04:56:58 所属栏目:百科 来源:网络整理
导读:偶尔使用泛型时,我会收到一条错误消息,指出“_”作为参数.它似乎没有记录.这是什么意思? 举个例子,我得到错误: Cannot convert value of type 'JawDroppingFeatSuperhero' to closure result type 'JawDroppingFeat_' 当我尝试编译时: protocol Superhero
偶尔使用泛型时,我会收到一条错误消息,指出“_”作为参数.它似乎没有记录.这是什么意思?
举个例子,我得到错误: Cannot convert value of type 'JawDroppingFeat<Superhero>' to closure result type 'JawDroppingFeat<_>' 当我尝试编译时: protocol SuperheroType { typealias Superpower } struct JawDroppingFeat<Superhero: SuperheroType where Superhero: Arbitrary,Superhero.Superpower: Arbitrary>: Arbitrary { let subject: Superhero let superpowerUsed: Superhero.Superpower static var arbitrary: Gen<JawDroppingFeat<Superhero>> { get { return Gen.zip(Superhero.arbitrary,Superhero.Superpower.arbitrary) .map{ (x: Superhero,y: Superhero.Superpower) in JawDroppingFeat(subject: x,superpowerUsed: y) } } } } Gen和Arbitrary类型来自SwiftCheck,相关声明如下: public struct Gen<A> { public static func zip<A,B>(gen1: SwiftCheck.Gen<A>,_ gen2: SwiftCheck.Gen<B>) -> SwiftCheck.Gen<(A,B)> public func map<B>(f: A -> B) -> SwiftCheck.Gen<B> } public protocol Arbitrary { public static var arbitrary: SwiftCheck.Gen<Self> { get } } 我假设< _>与迅速未能推断出类型参数而不是Chris Lattner对我畏缩的图像有关.但它有更精确(和记录)的含义吗? 编辑 我当前最好的理论是,当Swift无法推断出一个类型参数,而不是立即失败时,它会分配一个null(_)类型,这导致实际的编译错误在某个不兼容类型的某个点下游(在我的例子中,传递.map的参数). 解决方法
这意味着您在参数的返回值中包含不完整的类型信息.
在这种情况下,.map函数返回一个通用的JawDroppingFeat,您没有为其指定嵌入类型. 我假设你打算写 JawDroppingFeat<SuperHero>(subject: x,superpowerUsed: y) (编辑:李大同) 【声明】本站内容均来自网络,其相关言论仅代表作者个人观点,不代表本站立场。若无意侵犯到您的权利,请及时与联系站长删除相关内容! |