很可能将 Groovy 当成是没有规则的 Java 代码。但实际上，Groovy 只是规则少一些。这一节的重点是使用 Groovy 编写 Java 应用程序时可以不用考虑的一个 Java 编程的具体方面：类型定义。
为什么要有类型定义？
在 Java 中，如果要声明一个 String 变量，则必须输入：
String value = "Hello World"; |
但是，如果仔细想想，就会看出，等号右侧的字符已经表明 value 的类型是 String。所以，Groovy 允许省略 value 前面的 String 类型变量，并用 def 代替。
def value = "Hello World" |
实际上，Groovy 会根据对象的值来判断它的类型。
 |
|
运行程序！
将 HelloWorld.groovy 文件中的代码编辑成下面这样：
String message = "Hello World" |
运行这段代码，应该会在控制台上看到与前面一样的 “Hello World”。现在，将变量类型 String 替换为 def 并重新运行代码。是不是注意到了相同的结果？
除了输出 message 的值，还可以用以下调用输出它的类型：
def message = "Hello World" |
输出 “class java.lang.String” 应该是目前为止很受欢迎的一项变化！如果想知道到底发生了什么，那么可以告诉您：Groovy 推断出 message 一定是 String 类型的，因为它的值是用双引号括起来的。
 |
|
类型推断的更多内容
您可能听说过，在 Groovy 中 “一切都是对象” — 但对于类型来说这句话意味着什么呢？让我们看看如果将前面示例中的 String 替换为数字会怎么样，如下所示：
def message = 12 |
message 变量的数字值看起来像是 Java 的原生类型 int。但是，运行这个代码就可以看出，Groovy 将它作为 Integer。这是因为在 Groovy 中 “一切都是对象”。
Java 中的所有对象都扩展自 java.lang.Object，这对 Groovy 来说非常方便。即使在最糟的情况下，Groovy 运行时不能确定变量的类型，它只需将变量当成 Object，问题就解决了。
继续使用这段代码。将 message 改成自己喜欢的任意类型：Groovy 会在运行时尽其所能推断出这个变量的类型。
|
|
无类型有什么意义
那么，Groovy 缺少类型意味着所需的输入更少。不可否认，将 String 替换成 def 并没有真正节约多少打字工作 — 三个字母并不值得如何夸耀！但是在更高的层次上看，在编写大量不仅仅包含变量声明的代码的时候，没有类型确实减少了许多打字工作。更重要的是，这意味着要 阅读的代码要少得多。最后，Groovy 缺少类型能够带来更高的灵活性 — 不需要接口或抽象类。
所以，只需要使用 def 关键字就能在方法中声明一个独立变量，不需要将 def 关键字作为方法声明中的参数。在 for 循环声明中也不需要它，这意味着不用编写 (int x = 0; x < 5; x++)，相反，可以省略 int，保留空白。