对于给定的enum类型的表达式，我们使用match表达式来判断它是用哪个构造器构造的，并提取相应构造器的参数。绑定模式：可以将指定位置的成员绑定到新的变量，多用于解构 enum 或 tuple。上面的sumBinaryTree例子中就用到了绑定模式，将Node节点中实际的参数与三个新声明的变量v、l和r分别绑定。除此enum模式以外，仓颉也提供了其它各种模式，如常量模式、绑定模式、类型模式等，以及

除了上面例子中的全局函数，对象或结构体等数据类型的成员函数同样也可以作为一等公民使用。下面的例子中，对象o的成员函数resetX作为普通表达式被赋值给变量f，对f的调用则会改变对象o中成员变量x的值。仓颉中函数可以作为普通表达式使用，可以作为参数传递，作为函数返回值，被保存在其他数据结构中，或者赋值给一个变量使用。let square = {x: Int => x * x} // lambda 表

在仓颉编程语言中，开发者可以给一些程序元素命名，这些名字也被称为“标识符”，标识符分为普通标识符和原始标识符两类，它们分别遵从不同的命名规则。**原始标识符**是在普通标识符或仓颉关键字的外面加上一对反引号，主要用于将仓颉关键字作为标识符的场景。由一至多个下划线开头，后接一个英文字母，最后可接零至多个英文字母、数字或下划线。例如：cangjie、cangjie_2024_06。例如：_cangji

在仓颉编程语言中，开发者可以给一些程序元素命名，这些名字也被称为“标识符”，标识符分为普通标识符和原始标识符两类，它们分别遵从不同的命名规则。**原始标识符**是在普通标识符或仓颉关键字的外面加上一对反引号，主要用于将仓颉关键字作为标识符的场景。由一至多个下划线开头，后接一个英文字母，最后可接零至多个英文字母、数字或下划线。例如：cangjie、cangjie_2024_06。例如：_cangji

注意Option<T>和T是两个不同的类型，具有两种类型的值之间不能互相转换 —— 给定一个Option<T>类型的表达式e，我们只有通过模式匹配确定其值为Some(v)时（也就是说其值非空），才可以得到一个T类型的值v。相比动态类型系统，静态类型系统对开发者有更多的约束，但能够在编译期尽量早的发现程序中的错误，提高程序的安全性，同时也让程序的行为更加容易预测，为编译优化提供了更多信息，使能更多的

不同于普通 try 表达式，try-with-resources 表达式中的 catch 块和 finally 块均是可选的，并且 try 关键字其后的块之间可以插入一个或者多个变量定义用来申请一系列的资源对象，这些资源对象在 try-with-resources 表达式中会被自动管理起来，当某个资源发生异常或表达式结束后都会自动释放，达到安全管理资源的目的。仓颉语言为并发编程提供了一种简单灵活的

数组类型在仓颉中就是典型的泛型类型应用，其语法表示为 Array<T>，其中 T 表示了元素的类型，可以被实例化为任何一个具体的类型，例如 Array<Int> 或 Array<String>，甚至可以是嵌套数组 Array<Array<Int>>，从而可以轻易地构造各种不同元素类型的数组。以数组为例，不同元素类型的数组是完全不相同的类型，它们之间不能互相赋值，哪怕元素类型之间具有父子类型关系也是