scala：如果实例类型静态地是基类，则使用基于宏扩展类的方法调用特征默认impl

Question

我有一个特质T， 我用 C 类中的宏实现它。 我创建了一个 C 实例并调用它的方法。 如果包含 C 实例的 val 的类型是 C - 按预期工作。 如果包含 C 实例的 val 的类型是 T - 像 T 一样调用方法。

我能想出的最好的描述方式是 scala-macros 中的“虚拟表损坏”，但我不知道这是否是一回事......

示例代码：

Type in expressions for evaluation. Or try :help.

scala>

scala>

scala> import language.experimental.macros
import language.experimental.macros

scala>

scala>

scala> trait T { def doSomething(): Unit = println ("trait") }
defined trait T

scala>

scala>

scala> import scala.reflect.macros.Context
import scala.reflect.macros.Context

scala>

scala>

scala> object Macro {
     |   def doSomething(c: Context)(): c.universe.Tree = {
     |     import c.universe._
     |     q"""println ("macro")"""
     |   }
     | }
warning: there was one deprecation warning (since 2.11.0); for details, enable `:setting -deprecation' or `:replay -deprecation'
defined object Macro

scala>

scala>

scala> class C extends T { override def doSomething(): Unit = macro Macro.doSomething }
defined class C

scala>

scala> val c: C = new C()
c: C = C@3bd1883a

scala> c.doSomething()
macro

scala>

scala> val t: T = new C()
t: T = C@4079fec7

scala> t.doSomething()
trait

Answer 1

Def 宏在编译时扩展，因此后期绑定/动态调度（这是一个运行时特性）对它们来说是不可能的。

在编译时不知道t 的类型为C，在编译时只知道t 的类型为T。

在此处查看详细信息： 尤金·布尔马科。 Scala 中编译时和运行时元编程的统一 https://infoscience.epfl.ch/record/226166/files/EPFL_TH7159.pdf 页。 98, §4.6.1 “继承”