仓颉语言枚举类型 Skill
- 枚举类型定义
1.1 定义规则
-
使用 enum 关键字 + 名称 + {} 体定义
-
体内包含构造器，以 | 分隔（第一个 | 可选）
-
每个枚举须有至少一个具名构造器
-
构造器可以是无参（Red ）或有参（Red(UInt8) ）
-
同名构造器在参数数量不同时允许（包括 0 个参数）
-
构造器名不能与仓颉关键字同名（如 Bool 、String 、Int64 等都是关键字）。若需要使用关键字作为构造器名，须用反引号转义（如
Bool），或改用其他名称（如 JBool ）： // 错误：Bool 是关键字 // | Bool(Bool) // 编译错误 // 正确：使用反引号转义或改名 |Bool(Bool) // 反引号转义 | JBool(Bool) // 改名避免冲突 -
非穷举枚举：可有一个特殊的未命名 ... 构造器作为最后一个。不能直接匹配，须用 _ 或绑定模式（详见 cangjie-pattern-match Skill）
-
递归定义支持（构造器参数可引用枚举自身）
-
枚举体还可包含成员函数、运算符函数和成员属性，但不能与构造器同名
-
枚举仅能在顶层作用域定义
1.2 定义示例
// 基本枚举：无参构造器 enum Direction { | Up | Down | Left | Right }
// 有参构造器 enum RGBColor { | Red(UInt8) | Green(UInt8) | Blue(UInt8) }
// 同名构造器（参数个数不同） enum Color { | Red | Green | Blue | Red(UInt8) | Green(UInt8) | Blue(UInt8) }
// 非穷举枚举 enum Token { | Number | Plus | Minus | ... }
// 递归枚举 enum Expr { | Num(Int64) | Add(Expr, Expr) | Sub(Expr, Expr) }
// 包含成员函数的枚举 enum RGBColor2 { | Red | Green | Blue
public func getName() {
match (this) { // this 表示当前枚举实例
case Red => "Red"
case Green => "Green"
case Blue => "Blue"
}
}
}
- 枚举的使用
2.1 创建枚举值
- 通过 TypeName.Constructor 或直接使用构造器名创建实例
enum RGBColor { | Red | Green | Blue(UInt8) }
main() { let r = RGBColor.Red // 类型名限定 let g = Green // 直接使用构造器名 let b = Blue(100) // 有参构造器 }
2.2 名称冲突
- 若构造器名与作用域中的变量、函数或类名冲突，须用枚举类型名限定
let Red = 1 // 变量名与构造器同名
enum RGBColor { | Red | Green(UInt8) | Blue(UInt8) }
let r1 = Red // 选择变量 Red，而非构造器 let r2 = RGBColor.Red // 正确：通过类型名访问构造器
- 枚举与 Equatable
-
枚举默认不实现 Equatable 接口，不能直接使用 == 比较枚举值
-
若需要 == 比较，须使用 @Derive[Equatable] 宏自动派生（std.deriving.* ）
-
不使用 @Derive 时，可通过 match 表达式匹配枚举模式进行处理（详见 cangjie-pattern-match Skill）
关于 @Derive 宏的详细用法，可参阅 cangjie-std-libs Skill
完整示例：枚举与 Equatable
import std.deriving.*
@Derive[Equatable] enum Color { | Red | Green | Blue }
main() { let c = Color.Red
// 使用 @Derive 实现 Equatable 接口后可直接用 == 比较
if (c == Color.Red) {
println("It's red!")
}
}
常见错误
// ❌ 错误：枚举默认不支持 == 比较 enum Status { | Active | Inactive } // if (Status.Active == Status.Inactive) { } // 编译错误
- Option 类型
Option 是仓颉预置的一个枚举类型，可表示或有或无的值，引用有效值前必须匹配判断，用于应对空值安全问题，详见 cangjie-option Skill
- 完整可运行示例
import std.deriving.*
// 使用枚举定义一个简单的表达式求值器 enum Expr { | Num(Int64) | Add(Expr, Expr) | Neg(Expr) }
// 为枚举实现 ToString 接口 enum Color <: ToString { // 也可用 @Derive[ToString] 自动实现 Red | Green | Blue
public func toString() { // 枚举中可以定义成员函数
match (this) {
case Red => "Red"
case Green => "Green"
case Blue => "Blue"
}
}
}
main() { // 创建枚举值 let expr = Add(Num(1), Neg(Num(2)))
// 可结合 match 递归求值，详见 cangjie-pattern-match Skill
// eval(expr) => 1 + (-2) = -1
// 实现 ToString 接口的枚举类型可打印
let color = Red
println(color)
}