代码之家 › 专栏 › 技术社区 › Josh Stone

Scala类型推断错误

scala-generics type-inference generics scala

Josh Stone · 技术社区 · 9 年前

我编写了一个组合映射和查找函数,该函数将函数应用于Iterable,并返回谓词为true的第一个映射结果:

implicit class EnhancedIterable[A, B[X] <: Iterable[X]](it: B[A]) {

  def mapAndFind[B](f: A => B, p: B => Boolean): Option[B] = {
    var result: Option[B] = None
    for (value <- it if result.isEmpty) {
      val r = f(value)
      if (p(r))
        result = Some(r)
    }
    result
  }

}

问题是,当我尝试按预期使用函数时,遇到了编译错误:

val names = Seq("Jose", "Chris", "Carlos", "Stephan")

names.mapAndFind(
  _.length,
  _ > 5 // Error
)

如果我使用类型提示,尽管编译很好:

names.mapAndFind(
  _.length,
  (len: Int) => len > 5
)

为什么是类型 B 不推断为 Int f ?

1 回复 | 直到 9 年前

Yuval Itzchakov 9 年前

Scala流中的类型推断之间参数列表,而不是在其中。

你可以写:

implicit class EnhancedIterable[A, B[X] <: Iterable[X]](it: B[A]) {
  def mapAndFind[B](f: A => B)(p: B => Boolean): Option[B] = {
    var result: Option[B] = None
    for (value <- it if result.isEmpty) {
      val r = f(value)
      if (p(r)) result = Some(r)
    }
    result
  }
}

val names = Seq("Jose", "Chris", "Carlos", "Stephan")
names.mapAndFind(_.length)(_ > 5)

产量:

Some(6)

推荐文章

Picci · Typescript推断问题-导出函数的返回类型具有或正在使用名称。。。但无法命名

8 年前

sweisgerber.dev · 将var与文本一起使用是否会产生一个基元或基元包装器类?

8 年前

Michael Runzler · 动态类型化方法中的奇数型推理

8 年前

K.Os · Kotlin和RxJava类型推断失败

8 年前

Crazycolorz5 · (^)上的类型推断问题

9 年前

Igor Soloydenko · 广义“promisify”函数中的类型脚本类型推断

9 年前

Josh Stone · Scala类型推断错误

9 年前

LazyHatIQ · 类型脚本类型推断、扩展语法和多类型返回

9 年前

hkk David Calhoun · Tern无法使用JSDoc类型信息

9 年前

MasterScrat · 将TypeScript编译器推断出的类型添加到原始TS源代码中

9 年前