Scala:协变函数

Question

假设下面有代码片段

 trait Foo

  class Bar extends Foo

  def foobar(fn: Option[Set[_ <: Foo] => Unit]) {}

  def main(args: Array[String]) {
  foobar(Option(bar)) //doesnt compile
  }

  def bar(input: Set[Bar]) {}

它执行编译，因为函数1被定义为trait Function1 [-T1, +R] extends AnyRef。我的问题是，Scala中是否有一个函数，它接受Type或它的子类型，然后做一些事情？或者我担心这是不可能的

Answer 1

可以将Set在foobar中的类型约束移出到函数本身的类型参数：

trait Foo {

  class Bar extends Foo

  def foobar[A <: Foo](fn: Option[Set[A] => Unit]) {}

  def main(args: Array[String]) {
      foobar(Option(bar _)) //compiles!
  }

  def bar(input: Set[Bar]) {}

}

Scala编译器将从传递给foobar的参数中推断类型foobar，同时仍然强制执行类型约束。此外，您还需要部分应用bar将其传递到这样的Option中。

Answer 2

怎么样

trait Foo

class Bar extends Foo

def bar(input: Set[_ <: Foo]) {}

def foobar(fn: Option[Set[_ <: Foo] => Unit]) {}

foobar(Some(bar(_)))  // partially applied

foobar(None)

现在可以这样做，以便在某些情况下完全应用foobar()

 val x = Set(new Bar())

 foobar(Some( x => bar(x)))

注意，它必须是x => bar(x)，因为类型是函数对象的一部分，而不是函数的结果。

Answer 3

如果你想使用存在主义，而不是杰西的答案，你可以有这样的东西：

def foobar(fn: Option[(Set[X] => Unit) forSome { type X <: Foo }]) {}
foobar(Option(bar _))