我很难理解Groovy的类型和类型提升，以及Groovy的@TypeChecked annotation的确切承诺。
--或者，我可能无法理解Groovy的设计理念。
我正在尝试@TypeChecked注解，它的行为并不像预期的那样。我做了两个示例脚本，我预计它们都会因为类型不匹配而失败。但只有一个脚本失败了。
这两个脚本非常相似。所以我认为它们的行为方式也是相似的。主要的区别是接近顶部的地方：我要么把x声明为int，要么声明为String，然后给x赋值一个不同的类型。

脚本差异：

$ diff TypeChecked-fail-int-x.groovy TypeChecked-pass-String-x.groovy -y --width 70
@groovy.transform.TypeChecked           @groovy.transform.TypeChecked
void m(){                               void m(){
    int x                         |         String x

    x = 123                       |         x = "abc"
    println(x)                              println(x)
    println(x.getClass())                   println(x.getClass())

    println()                               println()

    x = "abc"                     |         x = 123
    println(x)                              println(x)
    println(x.getClass())                   println(x.getClass())
}                                       }

m()                                     m()

当我声明一个变量为int，但随后试图赋值一个String时，我会得到预期的错误：

脚本TypeChecked-fail-int-x.groovy：（Groovy Web控制台here。）

@groovy.transform.TypeChecked
void m(){
    int x

    x = 123
    println(x)
    println(x.getClass())

    println()

    x = "abc"
    println(x)
    println(x.getClass())
}

m()

输出：

$ groovy --version
Groovy Version: 3.0.10 JVM: 11.0.17 Vendor: Ubuntu OS: Linux

$ groovy TypeChecked-fail-int-x.groovy
org.codehaus.groovy.control.MultipleCompilationErrorsException: startup failed:
/home/myuser/TypeChecked-fail-int-x.groovy: 11: [Static type checking] - Cannot assign value of type java.lang.String to variable of type int
 @ line 11, column 9.
       x = "abc"
           ^

1 error

然而：如果我以相反的方式来做，那么它运行得很好。我希望类型检查器也能捕捉到这一点。

脚本TypeChecked-pass-String-x.groovy：（Groovy Web控制台here。）

@groovy.transform.TypeChecked
void m(){
    String x

    x = "abc"
    println(x)
    println(x.getClass())

    println()

    x = 123
    println(x)
    println(x.getClass())
}

m()

输出：

$ groovy TypeChecked-pass-String-x.groovy
abc
class java.lang.String

123
class java.lang.String

它不仅运行了，而且突然间int 123变成了String "123"！
我预计两个脚本都将失败。
我也试了X1 E3 F1 X，结果是一样的。

问题：

• 这是预期的行为还是一个bug？来源？
• 为什么123现在是一个字符串？是否有一些自动装箱/转换/类型提升正在进行？我可以停止吗？