scala - 如何从 M7 中的类型获取 typeArgs？

Question

我正在将一些代码从 Scala 2.10-M5 迁移到 Scala 2.10-M7。我发现宏上下文中的 Type API 已显着减少。特别是，我想知道如何获取 underlying 和 typeArgs defs。

--

已更新

根据@EugeneBurmako 的要求，我将展示整个情况。假设我们有这样的状态:

class Attribute[C[_], E]

class Id[E]

trait Entity {
  val att1: List[Int]
  val att2: Int
}

object Entity {
  val att1reif = new Attribute[List, Int]
  val att2reif = new Attribute[Id, Int]
}

def Let[T <: Entity, C[_], E](en: T, att: Attribute[C, E], ce: C[E]): T =
  /* Updates the whole attribute */

def Let[T <: Entity, C[_], E](en: Entity, att: Attribute[C, E], e: E, mode: Boolean): T = 
  /* Adds or removes (mode) an item */

我们有一个托管一些属性的实体。实体伴随对象包含有关这些属性的元信息(具体化)。 Let 系列允许更新实体(通过创建新副本)。

到目前为止，一切都很好。我们可以使用 Let 方法，如下所示:

val ent = new Entity { val att1 = List(); val att2 = 3 }
Let(ent, Entity.att1reif, List(1, 2, 3)) // att1 = List(1, 2, 3)
Let(ent, Entity.att1reif, 4, true)       // att1 = List(1, 2, 3, 4)
Let(ent, Entity.att1reif, 1, false)      // att1 = List(2, 3, 4)

具体化属性是多余的，因此我们希望我们的用户拥有更简单的 API。特别是下一个:

// Same code as DSL
ent.att1 := List(1, 2, 3)
ent.att1 :+ 4
ent.att1 :- 1

请注意，任何地方都没有有关具体化的信息。因此，我们需要一些 helper 和宏观视野来实现我们的目标。

trait AttributeHelper {
  type T <: Entity
  type C[_]
  type E
  val ent: T
  val att: Attribute[C, E]
  def :=(ce: C[E]): T = Let(ent, att, ce)
  def :+(e: E): T = Let(ent, att, e, true)
  def :-(e: E): T = Let(ent, att, e, false)
}

def toAttributeHelperImpl[V: c.AbsTypeTag](c: Context)(expr: c.Expr[V]): c.Expr[AttributeHelper] = 
  /* A looong macro (currently broken), since I can't split V into C[_] and E,
   * which are needed to generate the expression that instantiates an *AttributeHelper*.
   * The macro is responsible of finding the attribute reification.
   */

我们的宏定义实际上是一个 View ，它具有允许 DSL 表达式的魔力:

implicit def toAttributeHelper[V](expr: V): AttributeHelper = macro toAttributeHelperImpl[V]

我一直在尝试继续使用使用两个类型参数的宏，但在这样做时，未应用隐式 View (因为编译器无法推断这两种类型)。

因此，正如我在开头提到的，缺少 M5 中可用但 M7 中不可用的 typeArgs 破坏了之前的宏。如何在没有 def 的情况下生成 AttributeHelper 构造？

最后，我必须说前面的代码只是一个简化。还有一些其他涉及的证据，这就是为什么我需要使用底层。

Answer 1

反射 API 清理(发生在 M5 左右)的总体思路是删除极其专门的方法。

例如，typeArgs仅适用于TypeRef类型，因此将其保留在基本类型 Type 中没有多大意义。 。替换是简单的模式匹配:tpe match { case TypeRef(_, _, args) => arg; case _ => Nil } .

underlying不过，这是不同的，因为它是一个内部实现概念，意味着很多事情取决于类型的具体风格。如果您详细说明您的用例，我可能会帮助您找到 underlying 的替代方案.