更高种类类型的隐式参数解析

Question

考虑以下代码：

object foo {

    trait Bar[Q[_]]

    implicit object OptionBar extends Bar[Option]

    def test[T, C[_]](c: C[T])(implicit bar: Bar[C]) = ()

    def main(args: Array[String]) {
      test(Some(42): Option[Int])  //???
    }
}

这可行，但我需要将 Some(42) 输入为 Option[Int]，否则隐式对象 OptionBar 将无法解析（因为需要 Bar[Some]）。有没有办法避免显式键入，以便即使我使用 Some 或 None 提供测试，我也会在测试中获得隐式 OptionBar 对象？

[澄清]

• 我在这里使用 Option 只是作为示例，如果我有一个用于抽象类等的 Bar ，它也应该起作用。
• 当其他不相关的 Bars 在范围内时，该解决方案也应该起作用，比如 implicit object listBar extends Bar[list]

[更新]

似乎使 Bar 的参数逆变可以解决问题：

object foo {

  trait Bar[-Q[_]] //<---------------

  implicit object OptionBar extends Bar[Option]
  implicit object ListBar extends Bar[List]

  def test[T, C[_]](c: C[T])(implicit bar: Bar[C]) = ()

  def main(args:Array[String]) {
    test(Some(42))
  }
}

但当然这是对 Bar 中可能性的严重限制，所以我仍然希望有一个更好的答案。

Answer 1

它不会在所有情况下都有效，但如上所述，您可以尝试以下操作：

object foo {
  trait Bar[Q[_]]

  implicit object OptionBar extends Bar[Option]

  def test[T, C[_], D](c: D)(implicit bar: Bar[C], ev: D <:< C[T]) = ()

  def main(args: Array[String]) {
    test(Some(42)) //???
  }
}

有趣的是，这并不能推断，尽管它表达了相同的内容：

def test[T, C[_], D <: C[T]](c: D)(implicit bar: Bar[C]) = ()

要了解有关 <:< 的更多信息，请参阅：

• 做什么 < :<、<%< 和 =:= 在 Scala 2.8 中的含义，它们在哪里记录？
• <:< scala 中的运算符

Answer 2

这是因为 Some(42) 是比 Option[Int] 更具体的类型。它是一个Some[Int]。请参阅下面的替代编码：

object foo {

    trait Bar[Q[_]]

    implicit object OptionBar extends Bar[Option]

    def test[T, C[_]](c: C[T])(implicit bar: Bar[C]) = ()

    def main(args: Array[String]) {
      test(Option(42))
    }
}