对类型别名的反思

Question

如何将TypeRef 扩展为别名的原始类型（和类型参数）的类型别名？

如果我有一个引用 Option[List[Double]] 的类型并且我这样做了：

case myType @ TypeRef(_, sym, args) if myType <:< typeOf[Option[Any]] ⇒

我明白了：

• sym 是 Option
• args.head 是 List[Double]，我可以继续处理 Double 类型。

带类型别名

如果我有一个类型 Option[MyType] 并键入别名 type Mytype = List[Double] 并且我这样做：

case myType @ TypeRef(_, sym, args) if myType <:< typeOf[Option[Any]] ⇒

我明白了：

• sym 是 Option
• args.head 是 MyType

如何通过反射将MyType 扩展为List[Double]？我已经能够确定MyType 是List，但是我无法获得嵌套类型参数Double。

---

Scaladoc 参考文献

TypeRef extractor:

TypeRef(
  pre: Universe.Type,
  sym: Universe.Symbol,
  args: List[Universe.Type])

Answer 1

我认为Type 上的normalize 方法可能会对您有所帮助：

扩展类型别名并将更高种类的 TypeRefs 转换为 PolyTypes。 类型上的函数也被实现为 PolyTypes。示例：（在 下面，是 List 的类型构造函数 TypeRef(pre, , List()) 是 替换为 PolyType(X, TypeRef(pre, , List(X)))

拥有t 类型，您还可以执行t.map(_.normalize) 之类的操作。这将规范化 t 以及属于 t 定义的所有类型（例如类型参数）。因此，这将有效地消除出现在 t 中的任何别名。