Scalafiddle中的Simulacrum：宏扩展期间的例外

Question

我想用拟像在Scalafiddle，如：

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
}