文档编程语言【免费下载链接】cangjie_docs仓颉编程语言开发者文档。项目地址https://gitcode.com/Cangjie/cangjie_docs点击查看免费下载Lambda 表达式是仓颉Cangjie语言中一类特殊的匿名函数它以{ ... ... }的紧凑语法让开发者无需显式声明函数名即可快速定义简短的函数逻辑。本文以 Lambda 表达式官方文档 为骨架结合仓颉开发者文档仓库中的函数类型、闭包、函数调用语法糖等章节系统讲解 Lambda 表达式的定义语法、参数与返回类型推断规则、调用方式并展示它在数组初始化、并发线程、Option 链式访问、C 互操作等真实场景中的用法。读完本文你将能够熟练编写和调用仓颉 Lambda 表达式并理解其与函数类型、闭包、尾随 lambda 等机制之间的关联从而写出更简洁、更灵活的仓颉代码。Lambda 表达式定义Lambda 表达式是一种匿名函数即没有函数名的函数其核心设计目的是在程序中快速定义简短的函数逻辑无需显式声明函数名称。这一概念起源于数学中的 λ 演算lambda calculus后被引入多种编程语言如 C、Python、C# 等用于简化代码并提升灵活性。仓颉编程语言中也引入了 Lambda 表达式。在仓颉中Lambda 表达式的语法形式如下{ p1: T1, ..., pn: Tn expressions | declarations }其中之前为参数列表多个参数之间使用,分隔每个参数名和参数类型之间使用:分隔之前也可以没有参数即无参 Lambda。之后为 Lambda 表达式体是一组表达式或声明序列。Lambda 表达式的参数名的作用域与函数的相同为 Lambda 表达式的函数体部分其作用域级别可视为与 Lambda 表达式的函数体内定义的变量等同。下面是一个带参 Lambda 与一个无参 Lambda 的示例let f1 {a: Int64, b: Int64 a b} var display { // Parameterless lambda expression. println(Hello) println(World) }从语法形态上可以看到Lambda 表达式把参数列表 函数体压缩到了一个表达式里这与仓颉中通过func关键字定义的普通函数见定义函数形成互补命名函数适合被多处复用的逻辑而 Lambda 更适合一次性的短逻辑。不可省略的规则Lambda 表达式不管有没有参数都不可以省略除非其作为尾随 lambda使用。例如var display { println(Hello)} func f2(lam: () - Unit) {} let f2Res f2 {println(World)} // OK to omit the 在上例中f2的最后一个形参是函数类型() - Unit调用f2时 lambda 实参被放到了圆括号外面此时可以省略。关于尾随 lambda 的完整规则包括当函数调用有且只有一个 lambda 实参时还可以省略()将在下文与尾随 lambda 的关系小节展开。参数类型推断Lambda 表达式中参数的类型标注可缺省。以下情形中若参数类型省略编译器会尝试进行类型推断当编译器无法推断出类型时会编译报错赋值给变量时Lambda 表达式赋值给变量时其参数类型根据变量类型推断作为实参使用时Lambda 表达式作为函数调用表达式的实参使用时其参数类型根据函数的形参类型推断。// The parameter types are inferred from the type of the variable sum1 var sum1: (Int64, Int64) - Int64 {a, b a b} var sum2: (Int64, Int64) - Int64 {a: Int64, b a b} func f(a1: (Int64) - Int64): Int64 { a1(1) } main(): Int64 { // The parameter type of lambda is inferred from the type of function f f({a2 a2 10}) }这段代码体现了两个重要细节sum1与sum2都省略了部分参数类型标注编译器依据变量类型(Int64, Int64) - Int64完成了推断类型标注可以部分缺省——sum2中参数a显式标注了Int64而参数b缺省两者可以混用。能够完成这种推断其底层前提是仓颉中函数是一等公民first-class citizens函数本身有类型称为函数类型由参数类型和返回类型组成用-连接例如(Int64, Int64) - Int64表示两个Int64参数、返回Int64的函数类型详见函数类型。Lambda 表达式正是没有名字的函数值它可以赋值给函数类型变量、作为函数实参或返回值传递因而才能借助这些位置的类型信息反向推断参数类型。返回类型推断Lambda 表达式中不支持声明返回类型其返回类型总是从上下文中推断出来若无法推断则报错。这与普通函数返回值类型可选、可由编译器推导的规则一脉相承见定义函数中的函数返回值类型小节但 Lambda 语法上连显式声明的入口都没有完全依赖推断。上下文明确指定返回类型若上下文明确指定了 Lambda 表达式的返回类型则其返回类型为上下文指定的类型具体有三种情况赋值给变量时其返回类型根据变量类型推断返回类型let f: () - Unit { println(10)}作为参数使用时其返回类型根据使用处所在的函数调用的形参类型推断func f(a1: (Int64) - Int64): Int64 { a1(1) } main(): Int64 { f({a2: Int64 a2 10}) }作为返回值使用时其返回类型根据使用处所在函数的返回类型推断func f(): (Int64) - Int64 { {a: Int64 a} }注意第三种用法中Lambda 表达式直接作为函数f的返回值其返回类型Int64由f的返回类型(Int64) - Int64推断得出——这正是函数类型作为返回类型见函数类型与 Lambda 结合的直接体现。上下文未明确时的推导若上下文中类型未明确与推导函数的返回值类型类似编译器会根据 Lambda 表达式体中所有 return 表达式return xxx中xxx的类型以及 Lambda 表达式体的类型来共同推导出 Lambda 表达式的返回类型右侧的内容与普通函数体的规则一样返回类型为Int64let sum1 {a: Int64, b: Int64 a b}的右侧为空返回类型为Unitlet f {}这里Lambda 表达式体最后一项的类型即表达式体类型的规则与定义函数中函数体的类型是函数体内最后一项的类型完全一致若最后一项是表达式函数体类型就是该表达式的类型若最后一项是变量定义、函数声明或函数体为空则类型为Unit。Lambda 表达式调用Lambda 表达式支持立即调用在表达式后面直接跟实参列表无需先赋值给变量。例如let r1 {a: Int64, b: Int64 a b}(1, 2) // r1 3 let r2 { 123}() // r2 123Lambda 表达式也可以赋值给一个变量使用变量名进行调用。例如func f() { var g {x: Int64 println(x ${x})} g(2) }这种赋值后调用的方式让 Lambda 具备了与普通函数完全一致的调用语法是仓颉函数一等公民特性的又一体现函数名本身也是表达式其类型为对应的函数类型见函数类型Lambda 表达式作为匿名函数值同样遵循这一规则。与尾随 lambda 的关系当函数最后一个形参是函数类型并且函数调用对应的实参是 lambda 时可以使用尾随 lambda语法将 lambda 放在函数调用的尾部、圆括号外面让函数调用看起来像是语言内置的语法一样增加语言的可扩展性详见函数调用语法糖。func myIf(a: Bool, fn: () - Int64) { if (a) { fn() } else { 0 } } func test() { myIf(true, { 100}) // General function call myIf(true) { // Trailing closure call 100 } }当函数调用有且只有一个 lambda 实参时还可以省略()只写 lambdafunc f(fn: (Int64) - Int64) { fn(1) } func test() { f {i i * i} }这正是上文提到的Lambda 作为尾随 lambda 时可以省略的完整场景。尾随 lambda 也让 Lambda 与其他函数调用语法糖如 pipeline 表达式e1 | e2、composition 表达式f ~ g形成组合拳共同提升代码的表达力详见函数调用语法糖。与闭包的关系Lambda 表达式与闭包closure关系密切。在仓颉中一个函数或 lambda 从定义它的静态作用域中捕获了变量函数或 lambda 和捕获的变量一起被称为一个闭包这样即使脱离了闭包定义所在的作用域闭包也能正常运行详见闭包。闭包的行为规则同样适用于 Lambda 表达式捕获发生在闭包定义时被捕获的变量必须在闭包定义时可见且必须已经完成初始化否则编译报错。var变量捕获的限制为了防止捕获了var声明变量的闭包逃逸这类闭包只能被调用不能作为一等公民使用不能赋值给变量、不能作为实参或返回值、不能直接将闭包的名字作为表达式使用。例如下面的 lambda 尝试捕获尚未定义的变量y编译期就会报错func f() { let x 99 func f1() { println(x) } let f2 { println(y) // Error, cannot capture y which is not defined yet } let y 88 f1() // Print 99 f2() }理解这条规则对写出正确的 Lambda 很重要Lambda 表达式体可以访问外层作用域的变量这是其作为闭包的基础能力但访问的对象必须在 Lambda 定义处可见且已初始化且捕获var变量的 Lambda 不能逃逸出定义作用域。此外对全局变量和静态成员变量的访问不属于变量捕获因此访问了var修饰的全局变量、静态成员变量的函数或 lambda 仍可作为一等公民使用详见闭包。实战场景仓库中的 Lambda 应用Lambda 表达式在仓颉标准库接口与语言特性中得到了广泛使用。以下结合开发者文档仓库中的多个章节展示 Lambda 的真实应用场景。场景一Array 初始化函数在仓颉中可以用构造函数配合 lambda 来初始化数组的每一个元素let d ArrayInt64(3, {i i 1}) // Created an Array whose element type is Int64, length is 3 and all elements are initialized by the initialization functionArrayInt64(3, {i i 1})使用了 lambda 表达式{i i 1}作为初始化函数构造出元素依次为1, 2, 3的数组详见数组类型。这里的参数类型Int64完全由构造函数的形参类型推断出来是Lambda 作为函数实参时参数类型按形参推断规则的典型应用。场景二spawn创建并发线程在并发编程中创建仓颉线程只需使用关键字spawn并传递一个无形参的 lambda 表达式该 lambda 即为在新线程中执行的代码spawn { println(This is a new thread)}spawn表达式的返回类型是FutureT其中T是类型变元其类型与 lambda 表达式的返回类型一致当调用FutureT的get()成员函数时它将等待它的线程执行完成详见创建线程与访问线程。这一用法把线程要执行的代码直接内联为 lambda是 Lambda 简化代码、提升灵活性的典型体现。场景三Option类型与尾随 lambda在错误处理场景中仓颉的问号操作符?需要和.、()、[]或{}一起使用其中{}特指尾随 lambda 调用的场景用以实现Option类型对.、()、[]和{}的支持详见使用 Option。这再次说明尾随 lambda 是 Lambda 表达式与仓颉类型系统如Option的链式访问协同工作的重要桥梁。场景四CFunc类型的 lambdaC 互操作在仓颉与 C 的互操作中仓颉中的CFunc指可以被 C 语言代码调用的函数共有三种形式其中第三种就是类型为CFunc的 lambda 表达式let f1: CFunc(CPointerInt8) - Unit { ptr print(This function is defined with CFunc lambda.) }CFunc对应 C 语言的函数指针类型与普通的 lambda 表达式不同CFunclambda不能捕获变量与foreign函数一样CFunc的参数和返回类型必须满足CType约束且不支持命名参数和参数默认值调用时需处在unsafe上下文中详见仓颉-C 互操作。这是 Lambda 在跨语言互操作层面的一种特殊形态理解普通 lambda 与CFunclambda 的差异有助于正确编写 C 回调。相关限制静态变量赋值与VArray元素类型Lambda 表达式的使用还会受到语言静态检查规则的影响静态成员变量赋值当静态成员变量的赋值出现在函数或 lambda 内时编译器在编译期无法确定该函数或 lambda 是否会被执行因此通常采用保守策略报错详见程序结构中的示例其中let lambda { ctx 10}会触发编译报错。VArray元素类型限制由于运行时后端限制当前VArrayT, $N的元素类型T或T的成员不能包含引用类型、枚举类型、Lambda 表达式CFunc除外以及未实例化的泛型类型详见数组类型。小结仓颉的 Lambda 表达式以{ ... ... }的紧凑语法实现了匿名函数定义前是参数列表可空后是表达式或声明序列除尾随 lambda 场景外不可省略。参数类型推断赋值给变量时按变量类型推断作为实参时按函数形参类型推断推断失败则编译报错。返回类型推断不支持显式声明由上下文变量类型、形参类型、外层函数返回类型推断上下文不明确时由 lambda 体与其中所有return xxx的类型共同推导空函数体返回Unit。调用支持立即调用{...}(1, 2)和赋值后用变量名调用g(2)两种方式。关联机制与尾随 lambda、函数类型一等公民、闭包捕获规则紧密相关在数组初始化、并发spawn、Option链式访问、C 互操作CFunc等场景中均有广泛应用。掌握 Lambda 表达式是熟练使用仓颉函数式编程风格、写出简洁可读代码的关键一步。建议结合函数类型、闭包与函数调用语法糖三篇文档一起阅读形成对仓颉函数是一等公民这一设计思想的完整理解。赞分享文档编程语言【免费下载链接】cangjie_docs仓颉编程语言开发者文档。项目地址https://gitcode.com/Cangjie/cangjie_docs点击查看免费下载相关推荐仓颉语言 Lambda 表达式详解语法、类型推断与调用实战仓颉语言 Lambda 表达式详解语法、类型推断与调用实战 本文围绕仓颉编程语言Cangjie的 Lambda 表达式展开系统讲解其 { ... .文档编程语言《仓颉语言实战》仓颉Lambda表达式、闭包与管道语法糖函数高级用法完全指南《仓颉语言实战》仓颉Lambda表达式、闭包与管道语法糖函数高级用法完全指南 《仓颉语言实战》是张磊编著、清华大学出版社出版的仓颉语言入门教程本书示例代码库示例工程仓颉编程语言 Unit 类型完全指南副作用表达式的统一类型、字面量与常见用法仓颉编程语言 Unit 类型完全指南副作用表达式的统一类型、字面量与常见用法 Unit 是仓颉编程语言中一个存在感极低却无处不在的基础类型 print文档编程语言创作声明：本文部分内容由AI辅助生成（AIGC），仅供参考