类型别名搞砸了类型标记

Question

为什么类型标签不适用于类型别名。 例如给定

trait Foo
object Bar {
  def apply[A](implicit tpe: reflect.runtime.universe.TypeTag[A]): Bar[A] = ???
}
trait Bar[A]

我想在以下方法中使用别名，因为我需要键入大约两打A：

def test {
  type A = Foo
  implicit val fooTpe = reflect.runtime.universe.typeOf[A] // no funciona
  Bar[A]                                                   // no funciona
}

下次尝试：

def test {
  type A = Foo
  implicit val fooTpe = reflect.runtime.universe.typeOf[Foo] // ok
  Bar[A]                                                     // no funciona
}

所以似乎我根本不能使用我的别名。

Answer 1

改用 weakTypeOf 。反射在内部区分全局可见声明和本地声明，因此也需要以不同的方式对待它们。这个疣可能会在更高版本的 Scala 中删除。

Answer 2

更改def apply声明：

import scala.reflect.runtime.universe._
trait Foo
object Bar {
  def apply[A]()(implicit tpe: TypeTag[A]): Bar[A] = ???
}
trait Bar[A]
class test {
  type A = Foo
  implicit val foo = typeOf[A]
  def test = Bar[A]()                                                 
}