scala - 如何将方法的返回类型与 Scala native 或 TypeTag 进行比较?

标签 scala reflection scala-reflect

所以,我正在使用 Scala 反射库,我正在尝试检查方法是否符合给定类型。为了简化,我试图只检查它的输出。

我现在拥有的是:

val returnType = methodSymbol.returnType
// returnType: reflect.runtime.universe.Type = java.lang.String

所以,我可以读出它是一个字符串,但它的类型很糟糕 reflect.runtime.universe.Type .我究竟该如何比较检查此返回类型是否为简单字符串?我什至尝试使用 TypeTags,它很简单,但要转换 TypeTypeTag这是一项巨大的努力,我不相信这样一个简单的任务不能用更简单的方法来完成。

那么,我怎样才能将它与字符串进行比较并简单地返回一个 bool 值呢? 我想简单地调用一个 toString()并尝试将其解析回正常类型,但在代码上这样做真的很恶心,IMO。另外,我不能简单地指定方法名称,因为我正在处理一个方法列表,稍后会有更多。

我看到了一些问题,甚至这个(在我看来,复杂得荒谬)answer关于如何将 Type 转换为 TypeTag,但是,我再次对这种琐碎任务的复杂程度感到困惑。我已经在考虑拔掉我稀少的头发了。感谢帮助。

编辑:我已经设法对字符串本身进行了比较,但没有对返回字符串的方法进行比较。

为了比较 String 返回类型,我正在做:

val returnType = methodSymbol.returnType
returnType =:= typeTag[String].tpe

当我尝试使用继承和方法检查它时,使用 <:< , 它不会起作用。澄清一下,B 扩展了 Trait A,类型签名是 () => B , 但我在编码时无法匹配

val typeSig = methodSymbol.typeSig
typeSig <:< typeTag[() => A].tpe

最佳答案

如果你想使用 String 类型,你应该解析它们

import scala.reflect.runtime.universe
import scala.reflect.runtime.universe._
import scala.tools.reflect.ToolBox

val tb = universe.runtimeMirror(getClass.getClassLoader).mkToolBox()
val str = "java.lang.String"
val tpe: Type = (tb.typecheck(tb.parse(s"type T = $str"), mode = tb.TYPEmode) match {
  case q"type T = $typ" => typ
}).tpe // String
tpe =:= typeOf[String] //true

(我只想做 tb.typecheck(tb.parse(str/*, mode = ???*/), mode = tb.TYPEmode).tpe 但不能找到如何使用运行时反射调用 TypeParser 而不是 TermParser,这对应于 tq"..."q"之间的区别...",否则我会得到 String 而不是 String 本身。当然 tq"$str" 也会给出错误的类型因为它是一个宏,所以它只能用于编译时文字:tq"java.lang.String"。)

关于scala - 如何将方法的返回类型与 Scala native 或 TypeTag 进行比较?,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/62334195/

相关文章:

scala - 什么时候应该使用 Kleisli?

scala - 从 scala 2.8.1 到 scala 2.9.1 的主要变化是什么?

java - 垃圾收集和反射

java - 为什么 `Class` 类是最终类?

java/scala : Regex for skipping odd number of backslash while splitting a String?

multithreading - 同步执行上下文的不确定性(又名 `parasitic`)

c# - System.Reflection - 如何判断 MethodInfo 对象是方法访问​​器还是属性访问器?

scala - 如何以编程方式编译和运行 Scala 代码

scala - Symbol 是一个案例对象吗?

scala - 在 Scala 中,是否可以实例化泛型类型 T 的对象?