1 函数
1.1 无参函数
1)常规调用
void myFun() {println("myFun")
}myFun() // 打印: myFun
2)字符串声明函数
void "myFun"() {println("myFun")
}myFun() // 打印: myFun
3)字符串调用函数
void myFun() {println("myFun")
}"myFun"() // 打印: myFun
1.2 有参函数
1)常规调用
void myFun(Integer num, String str) {println("$num, $str")
}myFun(5, "abc") // 打印: 5, abc
在不引起歧义的情况下,可以省去小括号,如下。
void myFun(Integer num, String str) {println("$num, $str")
}myFun 5, "abc" // 打印: 5, abc
2)入参指定默认值
void myFun(String str = "abc") {println(str)
}myFun() // 打印: abc
1.3 有返回值函数
def add(int a, int b) {return a + b
}def c = add(3, 5)
println(c) // 打印: 8
1.4 可变长参数函数
1)常规调用
void myFun(String... params) {for (str in params) {println(str)}
}myFun("aa", "bb", "cc") // 打印: aa、bb、cc
说明:函数的可变长参数个数最多为 1 个。
2)使用数组接收可变长参数
void myFun(String... params) {String[] arr = paramsprintln(arr.size())
}myFun("aa", "bb", "cc") // 打印: 3
3)将数组传给可变长参数函数
void myFun(String... params) {println(params.size())
}String[] arr = ["aa", "bb", "cc"]
myFun(*arr) // 打印: 3
myFun("xx", *arr, "yy") // 打印: 5
2 闭包
Groovy 中的闭包与 Java 中匿名函数(即没有名字的函数)有些类似,并且也提供了类似 Lambda 表达式的写法(详见 → Java 中 Lambda 表达式总结、Kotlin 中 Lambda 表达式)。
2.1 闭包的创建
2.1.1 通过 new 创建闭包
Closure myFun = new Closure(null) {int call(int a, int b) {return a + b}
}def res = myFun(3, 5)
println(res) // 打印: 8
2.1.2 通过 {} 创建闭包
1)无参闭包
def myFun = {println("myFun")
}myFun() // 打印: myFun
2)有参闭包
def myFun = { String str ->println("myFun, $str")
}myFun("abc") // 打印: myFun, abc
闭包的入参类型可以省去,如下。
def myFun = { str ->println("myFun, $str")
}myFun("abc") // 打印: myFun, abc
当闭包入参个数只有一个时,可以省去,引用时使用 it 替代,如下。
def myFun = {println("myFun, $it")
}myFun("abc") // 打印: myFun, abc
3)有返回值闭包
def myFun = { a, b ->return a + b
}def res = myFun(3, 5)
println(res) // 打印: 8
2.2 闭包对象封装函数
本节主要介绍使用闭包对象封装一个函数。
2.2.1 使用 {} 封装函数
void test() {println("test")
}def myFun = { test() }
myFun() // 打印: test
2.2.2 使用 this.& 封装函数
1)无参函数
void test() {println("test")
}def myFun = this.&test
myFun() // 打印: test
2)有参函数
void test(int a, String b) {println("test, $a, $b")
}def myFun = this.&test
myFun(123, "abc") // 打印: test, 123, abc
3)有返回值函数
def test(int a, int b) {return a + b
}def myFun = this.&test
def res = myFun(3, 5)
println(res) // 打印: 8
2.3 函数参数是闭包
1)闭包无参
void outFun(Closure closure) {closure()
}outFun({println("inFun") // 打印: inFun
})
当函数入参的最后一个参数是闭包时,可以将 {} 移到 () 外面(该方式称为尾随 Lambda 表达式);在不引起歧义的情况下,可以省去 (),如下。
void outFun(Closure closure) {closure()
}outFun {println("inFun") // 打印: inFun
}
2)闭包有参
void outFun(Closure closure) {closure("abc")
}outFun { a ->println(a) // 打印: abc
}
当闭包入参个数只有一个时,可以省去,引用时使用 it 替代,如下。
void outFun(Closure closure) {closure("abc")
}outFun {println(it) // 打印: abc
}
3)闭包有返回值
void outFun(Closure closure) {def res = closure(3, 5)println(res)
}outFun { a, b ->a + b // 打印: 8
}
2.4 通过字符串调用对应函数
void myFun(String str, int num) {println("myFun, $str, $num")
}void test(String funName, String str, int num) {def method = this.&"$funName"method(str, num)
}test("myFun", "abc", 3) // 打印: myFun, abc, 3
3 泛型函数
泛型的类型检查只存在于编译阶段,在源代码编译之后,不会保留任何关于泛型类型的内容,即类型擦除。
3.1 简单泛型函数
1)单泛型参数
<T> void myFun(T param) {println(param)
}myFun(123) // 打印: 123
myFun("abc") // 打印: abc
myFun(true) // 打印: true
myFun(null) // 打印: null
2)多泛型参数
<R, T, S> R myFun(T a, S b, R c) {println("$a, $b")return c
}def res = myFun("abc", 123, true) // 打印: abc, 123
println(res) // 打印: true
3.2 类中泛型函数
class MyClass<T> {void myFun(T a) {println(a)}
}def c1 = new MyClass<String>()
c1.myFun("abc") // 打印: abc
def c2 = new MyClass<Integer>()
c2.myFun(123) // 打印: 123
3.3 抗变、协变和逆变
Groovy 中不存在 Java 和 Kotlin 中的抗变、协变和逆变现象(详见 → 【Kotlin】函数)。
如下,Integer 是 Number 的子类,Number 引用可以指向 Integer 对象,并且 Data
class Data<T> {T valueData(T value) {this.value = value}
}Data<Integer> data1 = new Data<Integer>(1)
Data<Number> data2 = data1
data2.value = 10f
println(data2.value) // 打印: 10.0Data<Number> data3 = new Data<Number>(1.5f)
Data<Integer> data4 = data3
data4.value = 15
println(data4.value) // 打印: 15
3.4 泛型的界
Groovy 泛型中,可以为其指定上界。
1)单上界
class Data<T extends Number> {T valueData(T value) {this.value = value}
}Data<Integer> data1 = new Data<Integer>(1)
Data<String> data2 = new Data<String>("abc") // 运行错误, 指定了上界为Number
2)多上界
class A {}
interface B {}class C extends A implements B {}class Data<T extends A & B> {T valueData(T value) {this.value = value}
}def data = new Data(new C())
3.5 运行时检查泛型类型
Kotlin 中可以通过 inline 和 reified 关键字实现泛型类型检查(详见 → 【Kotlin】函数),它在编译阶段实现。
Groovy 是动态类型语言,类型检查在运行时进行,可以通过反射来实现类似的功能,如下。
<T> boolean isType(Class<T> type, value) {return type.isInstance(value)
}println(isType(Integer, "abc")) // 打印: false
println(isType(String, "abc")) // 打印: true
声明:本文转自【Groovy】函数、闭包、泛型。