Kotlin中返回函数类型的扩展函数语法含义及调用逻辑问询

你提到的是Kotlin中返回函数类型的扩展函数语法，逐段拆解如下：

• fun ClassName.funcName() 是Kotlin扩展函数语法，作用是为ClassName类新增一个名为funcName的成员方法
• 后面的(Type) -> Type是Kotlin的函数类型声明：表示当前方法的返回值是「接收1个Type类型入参、返回值为Type类型的函数」
• 等号后的{ func body }是实际返回的Lambda函数实例，必须符合前面声明的函数类型的入参、返回值规则

你给出的示例中，buildFileFilter是CodeLinesExtension类的扩展方法，返回值类型为(File) -> Boolean，也就是「接收1个File类型入参、返回布尔值的函数」：

private fun CodeLinesExtension.buildFileFilter(): (File) -> Boolean = 
    if (fileExtensions.isEmpty()) {
        { true } // 入参忽略，永远返回true
    } else {
        { fileExtensions.contains(it.extension) } // it是单参数Lambda的默认参数名，类型自动匹配为File
    }

这个方法的作用是根据fileExtensions的配置，提前生成对应的文件过滤规则函数，后续可以直接传入高阶函数使用。

Kotlin集合的filter方法本身是高阶函数，接收的参数就是一个(T) -> Boolean类型的谓词函数：遍历集合时，会把当前遍历到的元素自动作为参数传入这个谓词函数，根据返回的布尔值决定是否保留当前元素。
你调用someFiles.filter(CodeLinesExtension.buildFileFilter())时的执行流程如下：

1. 先执行buildFileFilter()方法，得到符合(File) -> Boolean类型的Lambda实例
2. 将这个Lambda实例传入filter方法
3. filter遍历someFiles中的每个File元素时，会自动把当前遍历到的File作为参数传入你返回的Lambda：
   • 如果返回的是{ true }，不管传入的File是什么，都返回true，所有文件都会被保留
   • 如果返回的是带it的Lambda，it就自动指向filter传入的当前File实例，会读取它的扩展名判断是否在允许的后缀列表中

你疑惑的(File)参数声明部分，是函数类型的入参约束，作用是限定返回的Lambda必须接收一个File类型的入参，运行时这个入参确实会自动接收filter传入的当前元素，不需要手动传参。
这种「函数返回函数」的写法可以提前根据配置生成规则函数，后续调用高阶函数时直接传入即可，不需要每次重复判断配置，因此在Kotlin DSL场景中非常常用。

内容的提问来源于stack exchange，提问作者Liveon Phoenix