Groovy statische Kompilierung (@CompileStatic) dreht Arten von Klassenfelder in `Object`

Question

Kompilieren der folgenden Groovy Klasse

@CompileStatic 
class StaticCompileTest { 

    private def fieldInt = 3 

} 

Ergebnisse in dieser Klasse, wenn decompiling die .class Datei:

public class StaticCompileTest implements GroovyObject { 
    private Object fieldInt; 
} 

ändern Das Feld final ändert die Situation nicht.

Warum kann der Groovy-Compiler in diesem Fall den Typ nicht ableiten?

Answer 1

Da es von Natur aus unsicher ist anzunehmen, dass sich der Typ nicht ändert.

siehe http://docs.groovy-lang.org/latest/html/documentation/#_variables_vs_fields_in_type_inference