Scala程序中的推断类型

qyyhg6bp  于 2023-06-23  发布在  Scala
关注(0)|答案(3)|浏览(161)

Scala REPL显示表达式的推断类型。在一个普通的Scala程序中,有没有一种方法可以知道推断出的类型?
比如说

val x = {
//some Scala expressions
}

现在我想知道x的实际类型。

xj3cbfub

xj3cbfub1#

也许TypeTag就是你要找的吗?

scala> import scala.reflect.runtime.universe._
import scala.reflect.runtime.universe._

scala> def typeOf[T](x:T)( implicit tag: TypeTag[T] ) = tag
typeOf: [T](x: T)(implicit tag: reflect.runtime.universe.TypeTag[T])reflect.runtime.universe.TypeTag[T]

scala> class Foo( a:Int )
defined class Foo

scala> trait Bar
defined trait Bar

scala> val x = new Foo(3) with Bar
x: Foo with Bar = $anon$1@62fb343d

scala> val t = typeOf(x)
t: reflect.runtime.universe.TypeTag[Foo with Bar] = TypeTag[Foo with Bar]

scala> t.tpe
res20: reflect.runtime.universe.Type = Foo with Bar

scala> t.tpe.toString
res21: String = Foo with Bar

只是为了证明它产生表达式的静态类型,而不是对象的动态类型:

scala> val l = List(1,2,3)
l: List[Int] = List(1, 2, 3)

scala> val s:Seq[Int] = l
s: Seq[Int] = List(1, 2, 3)

scala> typeOf(s)
res22: reflect.runtime.universe.TypeTag[Seq[Int]] = TypeTag[scala.Seq[Int]]
hzbexzde

hzbexzde2#

表达式的类型在编译时是静态已知的。
要在运行时访问它,您可以使用另一个答案中的TypeTag,或者一个普通的宏:

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

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

scala> def impl(c: Context)(x: c.Expr[Any]): c.Expr[String] = { import c.universe._
     | c.Expr[String](Literal(Constant(c.typecheck(x.tree.duplicate).tpe.toString))) }
impl: (c: scala.reflect.macros.blackbox.Context)(x: c.Expr[Any])c.Expr[String]

scala> def f(x: =>Any) = macro impl
warning: there were 1 deprecation warning(s); re-run with -deprecation for details
defined term macro f: (x: => Any)String

scala> trait A; trait B extends A; trait C extends A
defined trait A
defined trait B
defined trait C

scala> f(List(new B{}, new C{}))
res2: String = List[A]

REPL也只是报告编译器分配给表达式树的类型。

hgc7kmma

hgc7kmma3#

当在Scala中使用Metals时,你可以将鼠标悬停在表达式中的x变量上,然后立即显示类型(已经编译了程序),或者你启用Metals: Toggle showing inferred type,然后当鼠标悬停在变量名旁边时,类型直接以灰色显示。

相关问题