Question

使用scala 2.12.4我无法使用此代码，因为它说

[error] ... / src / main / scala / effect.scala:32:11：没有ClassTag可用于A

[错误]效果（effectDefinition）

[错误] ^

[错误]发现一个错误

[error]（编译：compileIncremental）编译失败

这是（简化）代码。我需要类标记的原因是稍后在代码中进行过滤（installEffect）。

import scala.reflect.ClassTag

package object effect {

  type EffectDefinition[A <: EffectBearing[A]] = A => Unit

  case class Effect[A <: EffectBearing[A]](fx: A => Unit)(implicit tag: ClassTag[A]) {
    def effectedType: Class[A] = tag.runtimeClass.asInstanceOf
  }

  trait EffectBearing[This <: EffectBearing[This]] {
    def installEffect(effect: Effect[This]): Unit = {
      effect.fx(this.asInstanceOf[This])
    }
  }

  trait EffectPropagating {

    def installEffect[T<: EffectBearing[T]](effect: Effect[T], typ: Class[T]): Unit =
      find(typ).foreach(_.installEffect(effect))

    protected def find[T <: EffectBearing[T]](typ: Class[T]): Set[T]
  }

  class Foo extends EffectBearing[Foo] {}

  val fxFoo: EffectDefinition[Foo] = print(_)

  def translate[A <: EffectBearing[A]](effectDefinition: EffectDefinition[A]): Effect[A] =
    Effect(effectDefinition)

  val fx = translate(fxFoo)

}

ps：是

的用法

tag.runtimeClass.asInstanceOf

非常糟糕？我无法绕过那个演员

Answer 1

您有以下方法：

def translate[A <: EffectBearing[A]](effectDefinition: EffectDefinition[A]): Effect[A] =
  Effect(effectDefinition)

Effect构造函数需要隐式ClassTag[A]，但此处A是一个类型参数，因此编译器不知道它将是哪个具体类。并且ClassTag中A上没有translate上下文绑定，因此编译器将无法找到隐式ClassTag[A]。

没有ClassTag可用于A - 但隐含参数存在

1 个答案: