考虑以下代码:
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
一个抽象类等,它也应该可以工作。 - 当其他不相关的条在范围内时,该解决方案也应该起作用,例如
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 可能性的严重限制,所以我仍然希望有更好的答案。