Question

我想在Scalafiddle中使用Simulacrum，例如：

import simulacrum._

@typeclass trait Ordering[T] {
    def compare(x: T, y: T): Int
    @op("<") def lt(x: T, y: T): Boolean = compare(x, y) < 0
    @op(">") def gt(x: T, y: T): Boolean = compare(x, y) > 0
}

这给了我以下错误：

ScalaFiddle.scala:3: error: exception during macro expansion: 
scala.reflect.macros.TypecheckException: not found: type op
    at scala.reflect.macros.contexts.Typers.$anonfun$typecheck$3(Typers.scala:32)
    ...

这是小提琴：https://scalafiddle.io/sf/vT0X9FR/4

我想念什么吗？

Answer 1

您的代码没有任何问题，问题出在ScalaFiddle。

如果我尝试在scastie（类似于Scala的Web IDE）中运行您的代码，并打印出由其生成的类型树，您将看到以下内容：

|-- class Playground BYVALmode-EXPRmode (site: package <empty>) 
|    |-- new op("<") EXPRmode (silent: class Playground)

您可以看到scastie导致生成的代码被包装在Playground类中，该类未在代码中定义，但是由Web IDE提供。

如果我在IDEA中编译相同的示例，则会看到以下内容：

|-- new op("<") EXPRmode (silent: package github) 
|    |-- new op BYVALmode-EXPRmode-FUNmode-POLYmode (silent: package github)

如您所见，没有由Simulacrum创建的op类型的包装。由于这种包装，simulacrum无法找到它生成的op类型，因为它在编译时的完整名称空间是Playground.op。

为避免这种情况，并作为一种解决方法，请将特征包装在对象中：

import simulacrum._

object Foo {
  @typeclass trait Ordering[T] {
    def compare(x: T, y: T): Int
    @op("<") def lt(x: T, y: T): Boolean = compare(x, y) < 0
    @op(">") def gt(x: T, y: T): Boolean = compare(x, y) > 0
  }

  @typeclass trait Numeric[T] extends Ordering[T] {
    @op("+") def plus(x: T, y: T): T
    @op("*") def times(x: T, y: T): T
    @op("unary_-") def negate(x: T): T
    def zero: T
    def abs(x: T): T = if (lt(x, zero)) negate(x) else x
  }

  import Foo.Numeric.ops._
  def signOfTheTimes[T: Numeric](t: T): T = -(t.abs) * t
}

Scalafiddle中的Simulacrum：宏扩展期间的异常

1 个答案: