Question

我有这段代码：

class Action[T]

class Insert[T] extends Action[T]

case class Quoted[T]()

implicit def unquote[T](q: Quoted[T]): T = {
  throw new Exception("Success")
}

def test[A <: Action[_]](a: A): A = {
  return a
}

try {
  test[Insert[String]](Quoted[Insert[String]])
  test(unquote(Quoted[Insert[String]]))
  // test(Quoted[Insert[String]]) // does not compile
} catch {
  case e: Exception => print(e.getMessage())
}

Scalafiddle

在编译期间注释行失败：

error: inferred type arguments [ScalaFiddle.Quoted[ScalaFiddle.Insert[String]]] do not conform to method test's type parameter bounds [A <: ScalaFiddle.Action[_]]
    test(Quoted[Insert[String]])
error: type mismatch;
 found   : ScalaFiddle.Quoted[ScalaFiddle.Insert[String]]
 required: A
    test(Quoted[Insert[String]])

有没有办法让它在没有指定类型参数的情况下进行编译，或者显式使用转换函数，就像前两行一样？

Answer 1

也许你可以像这样重载测试方法：

def test[A, B <: Action[_]](a: A)(implicit f: A => B): B = f(a)

然后这会编译并运行：

test(Quoted[Insert[String]])

但是，对于为什么这是必要的解释，我并不乐观。也许如果你没有明确关于type参数，那么在应用任何隐式转换之前，它会被推断并检查边界。在您的示例中，隐式转换搜索由类型参数和参数之间的不匹配触发。

找不到具有较低类型绑定的方法的参数的隐式转换

1 个答案: