1

由于隐式转换，我无法编译函数。我有以下基本案例类：

sealed abstract class Expr0[T](implicit ev: VectorSpace0[T]) extends ID {...
case class Neg0[T](e: Expr0[T])(implicit ev: VectorSpace0[T]) extends Expr0[T] { ...

然后在一个对象中我有以下功能

  def simplify[T](e: Expr0[T])(implicit ev: VectorSpace0[T]): Expr0[T] = {
    def s(expr: Expr0[T])(implicit ev: VectorSpace0[T]): Result[Boolean, T] = expr match {

      case Neg0(e)                            => 
        val re = s(e)
        val ne = Neg0.apply(re.e)
        if (re.r) new TR(ne) else FR(ne)

上面的代码可以正确编译，没有问题。现在我想创建一个函数来执行案例中的语句序列。所以我创建了以下辅助函数：

  def C[T](f: Expr0[T] => Expr0[T], re: Result[Boolean, T])(implicit ev: VectorSpace0[T]) = {
    val ne = f(re.e); if (re.r) new TR(ne) else FR(ne)
  }

现在我尝试这样使用：

  def simplify[T](e: Expr0[T])(implicit ev: VectorSpace0[T]): Expr0[T] = {
    def s(expr: Expr0[T])(implicit ev: VectorSpace0[T]): Result[Boolean, T] = expr match {

      case Neg0(e)                            => 
        C(Neg0.apply, s(e))

我得到了错误：

 /src/main/scala/ann/unit/Expr0.scala:412: No member of type class ann.uinit.VectorSpace in scope for T
        C(Neg0.apply, s(e))
               ^

我已经戳了几个小时了，但没有运气。我认为这里的问题在于C[T]（第三个代码片段）的定义。也许我必须在第一个参数的定义中添加一些东西f，这是一个函数，以便T正确确定隐式。

谁能告诉我如何纠正或进一步诊断这个问题？

TIA

4

1 回答 1

1

同类型和名称的嵌套隐式看起来有点乱。该消息可能具有误导性，也许Neg0.apply 中的 eta 扩展是罪魁祸首，也许是C[T] 中 T 缺少类型推断。

我建议您先明确调用该调用，然后查看错误是否缩小：

C[T](Neg0[T](_), s(e))
于 2015-08-04T16:03:47.947 回答