martian - Groovy: el script de comprobación de tipos no funciona como se esperaba

groovy el marciano

Question

Tengo una aplicación Groovy en la que le permito al usuario agregar un comportamiento personalizado a través de los scripts de Groovy . GroovyShell esos scripts a través de GroovyShell y los GroovyShell a través de las Type Checking Extensions . El código completo de cómo incluyo el script en mi aplicación es:

def config = new CompilerConfiguration()
config.addCompilationCustomizers(
    new ASTTransformationCustomizer(TypeChecked)
)
def shell = new GroovyShell(config)
shell.evaluate(new File("path/to/some/file.groovy"))

Esto funciona bien Sin embargo , la comprobación de tipos en el script parece estar seriamente rota. Por ejemplo, puedo incluir los siguientes scripts sin ninguna queja del compilador:

String test = getTestValue() // automatic conversion from Integer to String. But WHY?
println "The value is $test" // shows as "The value is 0" on the console

private Integer getTestValue(){
    return 0
}

Puedo incluso ir más allá de eso. Al crear una class dentro del script, puedo asignarlo a una String sin ningún error:

String y = new Test()
println y // shows Test@somenr on the console

class Test { }

Otras comprobaciones de tipo funcionan. Todavía no he descubierto ninguna lógica detrás de esto, por lo que cualquier indicador en la dirección correcta es muy apreciado.

Answer 1

Si tiene dudas, descanse. Este es el bit de una llamada similar a la tuya: String x = new T() :

   0: invokestatic  #17                 // Method $getCallSiteArray:()[Lorg/codehaus/groovy/runtime/callsite/CallSite;
   3: astore_1
   4: aload_1
   5: ldc           #40                 // int 1
   7: aaload
   8: ldc           #42                 // class T
  10: invokeinterface #46,  2           // InterfaceMethod org/codehaus/groovy/runtime/callsite/CallSite.callConstructor:(Ljava/lang/Object;)Ljava/lang/Object;
  15: invokestatic  #52                 // Method org/codehaus/groovy/runtime/typehandling/ShortTypeHandling.castToString:(Ljava/lang/Object;)Ljava/lang/String;
  18: checkcast     #54                 // class java/lang/String

Entonces este es el culpable de ese elenco. Esto también parece ser cierto para @TypeChecked / @CompileStatic .