“_”类型在快速错误消息中的含义是什么？

概述偶尔使用泛型时,我会收到一条错误消息,指出“_”作为参数.它似乎没有记录.这是什么意思？ 举个例子,我得到错误： Cannot convert value of type 'JawDroppingFeat<Superhero>' to closure result type 'JawDroppingFeat<_>' 当我尝试编译时： protocol SuperheroType { typea 偶尔使用泛型时,我会收到一条错误消息,指出“_”作为参数.它似乎没有记录.这是什么意思？

举个例子,我得到错误：

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的参数).

@R_403_6120@ 这意味着您在参数的返回值中包含不完整的类型信息.

在这种情况下,.map函数返回一个通用的JawDropPingFeat,您没有为其指定嵌入类型.

我假设你打算写

JawDropPingFeat<SuperHero>(subject: x,superpowerUsed: y)

总结

以上是内存溢出为你收集整理的“_”类型在快速错误消息中的含义是什么？全部内容，希望文章能够帮你解决“_”类型在快速错误消息中的含义是什么？所遇到的程序开发问题。

如果觉得内存溢出网站内容还不错，欢迎将内存溢出网站推荐给程序员好友。