与scala反射库不一致

Question

我很难理解为什么在2.11.1中使用scala的运行时反射会给我看起来不一致的结果。

我试图检查java对象中包含的字段的类型，就像这样:

import java.util.List;
import java.util.ArrayList;
public class Example {
  private List<Integer> listOfInts;
  public Example () {
    listOfInts = new ArrayList<Integer>();
  }  
}

现在假设我有一个scala程序，它试图推断"Example:"

内字段的类型。

import java.lang.Class
import java.lang.reflect.Field
import java.util.List
import scala.reflect.runtime.{ universe => ru }
object Inspect extends scala.App {
  val example = new Example 
  val cls = example.getClass
  val listfield = cls.getDeclaredField("listOfInts")
  println(isListType(listfield)) // prints false 
  println(isListType(listfield)) // prints true, as do all subsequent calls
  def isListType (field: Field): Boolean = {
    /*
      A function that returns whether the type of the field is a list.
      Based on examples at http://docs.scala-lang.org/overviews/reflection/environment-universes-mirrors.html
    */
    val fieldcls = field.getType
    val mirror: ru.Mirror = ru.runtimeMirror(getClass.getClassLoader)
    val fieldsym: ru.ClassSymbol = mirror.classSymbol(fieldcls)
    val fieldtype: ru.Type = fieldsym.toType 
    (fieldtype <:< ru.typeOf[List[_]])
  }  
}

在这个特定的代码片段中，第一次调用isListType返回false，第二次调用返回true。如果我将类型操作符从<:<切换到=:=，第一次调用返回true，第二次调用返回false。

我在一个较大的代码体中有一个类似的函数，并且发现即使函数是静态对象的一部分，也会发生这种行为。在使用非参数化类时不会发生这种情况。虽然我希望函数是纯的，但显然不是这样。进一步的实验表明，在某个地方存在某种持久状态。如果我用直线代码替换isListType函数，我得到这个:

...
val example = new Example   
val cls = example.getClass
val listfield = cls.getDeclaredField("listOfInts")
val fieldcls = listfield.getType
val mirror: ru.Mirror = ru.runtimeMirror(getClass.getClassLoader)
val fieldsym: ru.ClassSymbol = mirror.classSymbol(fieldcls)
val fieldtype: ru.Type = fieldsym.toType 
println(fieldtype <:< ru.typeOf[List[_]]) // prints false
println(fieldtype <:< ru.typeOf[List[_]]) // prints false

但是如果我在<:<操作符之后重新分配字段类型，我得到这个:

// replace as under the fieldsym assignment
var fieldtype: ru.Type = fieldsym.toType 
println(fieldtype <:< ru.typeOf[List[_]]) // prints false
fieldtype = fieldsym.toType 
println(fieldtype <:< ru.typeOf[List[_]]) // prints true

当在<:<操作符给出这个之前重新赋值字段类型时:

// replace as under the fieldsym assignment
var fieldtype: ru.Type = fieldsym.toType 
fieldtype = fieldsym.toType 
println(fieldtype <:< ru.typeOf[List[_]]) // prints false
println(fieldtype <:< ru.typeOf[List[_]]) // prints false

有没有人明白我在这里做错了什么，或者至少有办法解决这个问题?

Answer 1

反射库是基于编译器的，这真是太遗憾了。人们应该要求更好。不管怎样，事情就是这样。

这是一张两年前的样品票。https://issues.scala - lang.org/browse/si - 6826

在某个地方有一些持久状态

几乎什么都没有，除了。

附录:要获得真正令人眼花缭乱的体验，请浏览355张公开的反射票。

Answer 2

我不知道如何混合Java反射和Scala反射，但是符号确实需要初始化，因为我记得过去缺少初始化的问题。当然，重赋值是不相关的，但可能在第一个<:<之后，符号的状态发生了变化。

用法:

scala> import reflect.runtime._ ; import universe._
import reflect.runtime._
import universe._
scala> typeOf[jex.Example]
res0: reflect.runtime.universe.Type = jex.Example
scala> .declarations
warning: there was one deprecation warning; re-run with -deprecation for details
res1: reflect.runtime.universe.MemberScope = SynchronizedOps(variable listOfInts, constructor Example)
scala> typeOf[jex.Example] member (TermName("listOfInts"))
res2: reflect.runtime.universe.Symbol = variable listOfInts
scala> .typeSignature
res3: reflect.runtime.universe.Type = java.util.List[Integer]

对不起，如果我太分心，不能正确阅读你的问题。

这是我的尝试复制:

scala> import reflect.runtime._ ; import universe._
import reflect.runtime._
import universe._
scala> classOf[jex.Example].getDeclaredField("listOfInts").getType
res0: Class[_] = interface java.util.List
scala> currentMirror classSymbol res0 toType
warning: there was one feature warning; re-run with -feature for details
res1: reflect.runtime.universe.Type = java.util.List
scala> .<:<(typeOf[List[_]])
res2: Boolean = false
scala> currentMirror classSymbol res0 toType
warning: there was one feature warning; re-run with -feature for details
res3: reflect.runtime.universe.Type = java.util.List[E]
scala> .<:<(typeOf[List[_]])
res4: Boolean = false

另一个尝试:

scala> import reflect.runtime._ ; import universe._
import reflect.runtime._
import universe._
scala> val x = new jex.Example
x: jex.Example = jex.Example@1efed156
scala> x.getClass getDeclaredField "listOfInts" getType
warning: there was one feature warning; re-run with -feature for details
res0: Class[_] = interface java.util.List
scala> val m = runtimeMirror(getClass.getClassLoader)
m: reflect.runtime.universe.Mirror = JavaMirror with scala.tools.nsc.interpreter.IMain$TranslatingClassLoader@1ffd0e4b of type class scala.tools.nsc.interpreter.IMain$TranslatingClassLoader with classpath [(memory)] and parent being scala.reflect.internal.util.ScalaClassLoader$URLClassLoader@3b084709 of type class scala.reflect.internal.util.ScalaClassLoader$URLClassLoader with classpath [file:/home/apm/jdk-8/jdk1.8.0_11/jre/lib/resources.jar,file:/home/apm/jdk-8/jdk1.8.0_11/jre/lib/rt.jar,file:/home/apm/jdk-8/jdk1.8.0_11/jre/lib/jsse.jar,file:/home/apm/jdk-8/jdk1.8.0_11/jre/lib/jce.jar,file:/home/apm/jdk-8/jdk1.8.0_11/jre/lib/charsets.jar,file:/home/apm/jdk-8/jdk1.8.0_11/jre/lib/jfr.jar,file:/home/apm/scala-2.11.2/lib/akka-actor_2.11-2.3.4.jar,file:/home/apm/scala-2.11.2/lib/config-1.2...
scala> val s = m classSymbol res0
s: reflect.runtime.universe.ClassSymbol = trait List
scala> var t = s.toType
t: reflect.runtime.universe.Type = java.util.List[E]
scala> t <:< typeOf[List[_]]
res1: Boolean = false
scala> t = s.toType
t: reflect.runtime.universe.Type = java.util.List[E]
scala> t <:< typeOf[List[_]]
res2: Boolean = false

好的，我验证了你的测试类。如果REPL的行为不同，可能是由于打印结果的副作用。

所以把这个添加到你的测试

val fieldsym: ru.ClassSymbol = mirror.classSymbol(fieldcls)
println(fieldsym)
val fieldtype: ru.Type = fieldsym.toType
println(fieldtype)

修复此问题。

apm@mara:~/tmp$ vi jex/inspect.scala
apm@mara:~/tmp$ scalac jex/inspect.scala && scala jex.Inspect
false
true
apm@mara:~/tmp$ vi jex/inspect.scala
apm@mara:~/tmp$ scalac jex/inspect.scala && scala jex.Inspect
trait List
java.util.List[E]
true
trait List
java.util.List[E]
true

我不知道是否有关于"初始化你的系统"的课程!

"在Syms，受过良好教育的消费者是我们最好的客户。"