Question

我遇到隐式转换在某些情况下无效的问题（更高级别的类型）。给定一个系统，一个表达式类型和两个特定的表达式子类型：

trait Sys[S <: Sys[S]]

object Expr {
  trait Var  [S <: Sys[S], A] extends Expr[S, A]
  trait Const[S <: Sys[S], A] extends Expr[S, A]
}
trait Expr[S <: Sys[S], A]

用于表达式操作的pimp类：

class RichDoubleExpr[S <: Sys[S]](ex: Expr[S, Double]) {
  def gugu(): String = "yes"
}

然后让从基元到表达式的隐式转换，从表达式到表达式ops：

implicit def const[S <: Sys[S]](d: Double): Expr[S, Double] = 
  new Expr.Const[S, Double] {}

implicit def exprOps[S <: Sys[S], A <% Expr[S, Double]](v: A): RichDoubleExpr[S] = 
  new RichDoubleExpr( v )

以下作品（因此隐式方法const）：

3.4.gugu()

以下不有效（因此隐式方法exprOps）：

def test[S <: Sys[S]]: String = {
  val v = new Expr.Var[S, Double] {}
  v.gugu()
}

出现以下错误：

error: No implicit view available from java.lang.Object with
   Expr.Var[S,Double] => Expr[S,Double].
          v.gugu()
          ^

现在，由于Expr.Var扩展Expr并且类型参数相同，因此该错误消息显然对我没有意义。任何想法如何解决这个问题？

Answer 1

在我的情况下，一个可行的解决方案是稍微“修复”类型参数S：

class ExprImplicits[S <: Sys[S]] {
  implicit def const(d: Double): Expr[S, Double] = new Expr.Const[S, Double] {}

  implicit def exprOps[A <% Expr[S, Double]](v: A): RichDoubleExpr[S] = 
    new RichDoubleExpr(v)
}

现在我可以导入特定系统的含义：

def test[S <: Sys[S]]: String = {
  val imp = new ExprImplicits[S]
  import imp._

  3.4.gugu()  // ok
  val v = new Expr.Var[S, Double] {}
  v.gugu()    // ok
}

隐式转换不适用于类型参数

1 个答案: