Groovy 泛型

Groovy 是一种基于 Java 的动态脚本语言，它提供了一种简洁、灵活和强大的编程方式。Groovy 支持泛型，允许你在代码中使用类型参数来增强代码的类型安全性和重用性。本文将介绍 Groovy 泛型的用法和特性。

1. 泛型的基本概念

泛型是一种参数化类型的概念，它可以在类、方法和接口中使用。通过使用泛型，可以将类型的具体细节推迟到使用该类型的代码中，从而实现更灵活的代码设计和重用。

在 Groovy 中，可以使用尖括号（<>）来指定泛型的类型。例如，List<String> 表示一个只能存储字符串类型元素的列表。

2. 声明泛型类

class Box<T> {
  private T value
  
  Box(T value) {
    this.value = value
  }
  
  T getValue() {
    return value
  }
  
  void setValue(T value) {
    this.value = value
  }
}

在上面的代码中，Box 类是一个泛型类，它包装了一个值 value。通过使用类型参数 T，Box 类可以处理不同类型的值。

3. 使用泛型类

def stringBox = new Box<String>("Hello")
def integerBox = new Box<Integer>(42)

println stringBox.getValue() // 输出 "Hello"
println integerBox.getValue() // 输出 42

可以通过指定类型参数来创建不同类型的 Box 对象，使用 getValue() 方法可以获取存储在 Box 中的值。

4. 泛型方法

除了泛型类，Groovy 还支持泛型方法。泛型方法可以在任何类中声明，包括非泛型类。

class Utils {
  static <T> T identity(T value) {
    return value
  }
}

上面的代码定义了一个泛型方法 identity，它接受一个参数和一个类型参数 T，并返回该参数的值。通过使用 identity 方法，可以实现类型安全地处理不同类型的值。

def stringValue = Utils.identity("Hello")
def integerValue = Utils.identity(42)

println stringValue // 输出 "Hello"
println integerValue // 输出 42

5. 通配符

在泛型中，? 表示通配符，可以用于匹配任意类型的参数。通配符可以在泛型类、方法和接口中使用，用于实现更灵活的类型处理。

例如，可以定义一个泛型方法，接受一个可迭代对象并打印其中的元素：

static void printElements(Iterable<?> elements) {
  elements.each { println it }
}

printElements([1, 2, 3]) // 输出 1, 2, 3
printElements(["Hello", "World"]) // 输出 "Hello", "World"

在上面的代码中，printElements 方法接受一个通配符类型的可迭代对象，并通过 each 方法打印其中的元素。这样就可以处理不同类型的对象，而不需要为每种类型都编写相应的方法。

总结

Groovy 泛型是一种强大的特性，它可以提高代码的类型安全性和重用性。通过泛型类和泛型方法，可以更灵活地处理不同类型的对象。同时，通配符可以让代码处理更广泛的类型，提高代码的灵活性。

希望本文能帮助你更好地理解和应用 Groovy 泛型。详细语法和更多示例可以参考 Groovy documentation。