【Kotlin】Kotlin 高阶函数 ( 高阶函数当做参数 | 高阶函数定义 | 高阶函数调用 )

I . Kotlin 高阶函数概念

---

Kotlin 高阶函数 : Kotlin 的高阶函数 , 就是方法的参数 或 返回值 是函数类型的 函数 ;

如 : List 集合的 forEach( ) 循环 , 该方法就是接收一个高阶函数类型变量作为参数 , 有点类似于 C/C++ 中的 函数指针 ( 指向函数的指针 ) ;

II . Kotlin 高阶函数 作为 参数 示例解析 ( forEach 方法参数解析 )

---

1 . 高阶函数引入 : List 集合的 forEach 方法的参数 , 就是一个高阶函数 ;

2 . forEach () 函数原型 : forEach() 遍历集合的方法需要传入一个参数 , 下面解析这个参数 :

/**
 * Performs the given [action] on each element.
 */
@kotlin.internal.HidesMembers
public inline fun <T> Iterable<T>.forEach(action: (T) -> Unit): Unit {
    for (element in this) action(element)
}

3 . 参数类型分析 : 由上面的函数原型可以看到 , forEach ( ) 方法的参数是 action: (T) -> Unit , 参数类型是 (T) -> Unit 类型 , 参数变量名称是 action ; 这个参数类型 (T) -> Unit 类型 就是高阶函数类型 ;

4 . forEach(action: (T) -> Unit) 参数解析 :

① 参数名 : action ;

② 参数类型 : (T) -> Unit ;

③ T 类型 : T 表示 forEach 遍历的集合元素类型 , 这里是 String 类型 ;

5 . (String) -> Unit 函数类型解析 :

① 本质 : 是函数类型 ;

② 函数参数 : 其函数类型的参数是 String 字符串类型

③ 函数返回值 : 其函数类型的返回值类型是 Unit 类型 , 这是空返回值 相当于 Java 中的 void 类型 ;

III . 用作函数参数的 函数类型变量 ( 本示例中使用匿名函数 )

---

1 . 函数变量需求 : 在上面的 forEach ( ) 函数中 , 需要传入一个 (String) -> Unit 函数类型的变量 , 该函数类型的函数 参数是 String 类型 , 返回值是 Unit 空类型 ;

2 . 普通的函数声明 : 下面定义的函数 , 参数类型是 String , 返回值是 Unit 空类型 , 这个函数是 (String) -> Unit 类型的 , 但是 study 不能当做参数传入到 forEach 方法中 ; list.forEach(study) , 是错误的调用 , 编译不通过 ;

fun study(student : String) : Unit{
    println(student + " 在学习")
}

3 . 函数类型变量 : 可以使用匿名函数 , 赋值给一个变量 , 然后将这个变量当做参数传递给 forEach 当做参数 ;

① 指定变量 : 为 (String) -> Unit 类型函数指定一个引用变量 var study2 ;

② 匿名函数 : 顾名思义 , 就是没有函数名称 , 省略调上面普通函数的名称 , 赋值给变量 ; 具体用法如下 :

var study2 = fun (student : String) : Unit{
    println(student + " 在学习")
}

IV . 函数类型实例使用

---

1 . 函数类型实例使用 : 上面的 study2 就是 (String) -> Unit 函数类型的实例变量 ;

//1 . 定义函数类型实例
var study2 = fun (student : String) : Unit{
    println(student + " 在学习")
}

//2 . 使用函数类型实例

//2.1 定义一个集合
var students : List<String> = listOf<String>("Tom", "Jerry")
//2.2 遍历集合
students.forEach(study2);

2 . 执行结果 :

Tom 在学习
Jerry 在学习

V . Kotlin 高阶函数 整体代码示例

---

Kotlin 高阶函数 整体代码示例 :

package fp

/*
    这里定义了一个函数 , 参数类型是 String , 返回值是 Unit 空类型
    这个函数是 (String) -> Unit 类型的
    但是不能直接将 study 传入到 forEach 方法中 , 当做参数
 */
fun study(student : String) : Unit{
    println(student + " 在学习")
}

/*
    为 (String) -> Unit 类型函数指定一个引用变量 study2
        这个变量值 , 可以直接传递给 forEach 方法当做参数使用

    函数名省略 : 将一个函数赋值给一个变量 , 此时函数不能有名称 , 必须是匿名的 ;

    该函数可以直接通过 study2("111") 方式调用
 */
var study2 = fun (student : String) : Unit{
    println(student + " 在学习")
}


fun main() {

    //定义一个集合
    var students : List<String> = listOf<String>("Tom", "Jerry")

    /*
        forEach 方法 , 接收一个函数作为参数 , 该函数的类型是指定的 , 是 (T) -> Unit 类型
            执行时 , 将集合中的元素传入 (T) -> Unit 类型函数作为参数 , 执行 (T) -> Unit 类型函数内容


        forEach 函数原型 : forEach() 遍历集合的方法需要传入一个参数 , 下面解析这个参数
            forEach(action: (T) -> Unit) 参数解析 :
            参数名 : action
            参数类型 : (T) -> Unit
                T 表示 forEach 遍历的集合元素类型 , 这里是 String 类型
                (String) -> Unit :
                    本质 : 是函数类型
                    函数参数 : 其函数类型的参数是 String 字符串类型
                    函数返回值 : 其函数类型的返回值类型是 Unit 类型 , 这是空返回值 相当于 Java 中的 void 类型


        Performs the given [action] on each element.

        @kotlin.internal.HidesMembers
        public inline fun <T> Iterable<T>.forEach(action: (T) -> Unit): Unit {
            for (element in this) action(element)
        }
     */
    students.forEach(study2);
}

执行结果 :

Tom 在学习
Jerry 在学习