Groovy中的编译时检查

较新版本的Groovy允许编译时静态类型检查。使用此注释的代码比常规运行时Groovy快,因为跳过了许多动态检查。

你知道这是为什么吧?考虑到Groovy的动态特性,几乎不可能判断字符串是否已在代码中的其他地方扩展为包含noSuchMethod()方法。成员类型检查也是如此,因为完全可以删除一个类型的成员,然后使用

在Groovy中,类型检查是在运行时动态完成的。类型为的变量的好处是,您可以确保它包含您希望它们具有的值,否则您将得到一个运行时异常,您可以捕获该异常并执行任何您需要执行的操作来处理该异常。

在Groovy中进行编译时检查几乎是不可能的 对于类型 . 你的例子

String foo = "foo"
foo.noSuchMethod()

String.metaClass.noSuchMethod { -> println "Yes there is such a method"}

指定类型的一个原因是允许IDE帮助您。

def foo
foo.[ctrl-space]

List foo
foo.[ctrl-space]

... 可能(取决于IDE)给您一个List方法的选择。当然,由于其他答案中给出的原因,一个不是选择之一的方法可能是一个有效的方法。