Flow Enums 与 match 表达式实战用类型安全方式构建 CI 构建流水线【免费下载链接】flowAdds static typing to JavaScript to improve developer productivity and code quality.项目地址: https://gitcode.com/gh_mirrors/flow30/flow本文以 Flow 仓库 evals/evals/02_unique_features/enum_008_enum_match/prompt.md 的评测任务为骨架完整演示如何在 Flow 中定义字符串枚举与数字枚举并用match表达式编写stepDuration、summarizeResult、shouldAbort三个构建流水线函数。读完本文你将掌握 Flow Enums 的成员访问、底层值转换valueOf()、match表达式的模式匹配与穷尽性检查并了解仓库 tests/enums 与 tests/match 中对应的源码级验证方式。任务背景enum_008 评测目标该评测任务编号enum_008_enum_match要求编写一段 Flow 代码模拟真实 CI 构建流水线中的状态建模用字符串枚举BuildStep表示构建阶段Lint、Compile、Test、Package、Deploy用数字枚举ExitCode表示退出码Success0、Warning1、Failure2基于二者写出三个函数全部使用match表达式完成分支逻辑。这种枚举建模 穷尽匹配的组合正是 Flow 中处理有限状态集合的标准姿势它让漏掉某个分支这类 bug 在编译期就被拦截。第一步定义字符串枚举与数字枚举字符串枚举 BuildStep// flow enum BuildStep { Lint, Compile, Test, Package, Deploy, }Flow Enums 默认不写of子句时是字符串枚举每个成员的底层值就是成员名本身即BuildStep.Lint的底层值是字符串Lint。仓库测试 tests/enums/valid.js 展示了最基础的枚举定义与用法enum E { A, B, } const a: E E.A; // 枚举名可直接作为类型使用注意枚举名既可以当值E.A也可以当类型const a: E这与普通 class 类似但枚举值是封闭的——你不能凭空构造出枚举之外的成员。数字枚举 ExitCodeenum ExitCode { Success 0, Warning 1, Failure 2, }Flow Enums 支持显式赋值的数字枚举。底层表示类型representation type由of子句或成员值推导得出。在 lib/core.js 中可以看到枚举表示类型的完整约束type EnumRepresentationTypes string | number | symbol | boolean | bigint;也就是说 Flow Enums 的底层值只能是这五种类型之一本任务中的字符串与数字恰好是最常见的两种。枚举与底层值的隔离枚举值不能直接当作string或number使用。这在 tests/enums/abstract-enum-value.js 中有明确报错示范Flow 会提示Cannot assign x to s because EnumValue is incompatible with string. You can explicitly cast your enum value to its representation type using expr.valueOf().因此任务中summarizeResult需要把 step 枚举值转成底层字符串再拼接消息就必须调用valueOf()详见下文。第二步认识枚举对象自带的方法Flow 为每个枚举对象注入了四个方法其类型签名定义在 lib/core.jstype $EnumProtoTEnum, TEnumValue, TRepresentationType { cast(this: TEnum, input: ?TRepresentationType): void | TEnumValue, getName(this: TEnum, input: TEnumValue): string, isValid(this: TEnum, input: ?TRepresentationType | TEnumValue): boolean, members(this: TEnum): IteratorTEnumValue, __proto__: null, }方法签名含义典型用途cast把底层值如Lint安全转换为枚举值失败返回void解析外部输入JSON、用户参数getName由枚举值得到成员名字符串日志、错误上报isValid判断某底层值是否为合法成员输入校验members返回成员迭代器遍历所有枚举成员此外每个枚举值还拥有valueOf()返回其底层表示值。仓库测试 tests/enums/value-of.js 验证了这一点enum E {A, B} { declare const x: E; x.valueOf() as string; // OK —— valueOf 返回底层字符串 x.valueOf() as empty; // ERROR }而 tests/enums/methods.js 则验证了枚举对象的封闭性E.nonExistent()报错、E.toString()报错Object.prototype不在枚举原型链上、E.A()不可调用等。枚举不是普通对象不能当对象用。第三步match 表达式基础match是 Flow 提供的模式匹配表达式基本语法为const result match (subject) { pattern1 expression1, pattern2 expression2, // ... };在仓库 tests/match/matching.js 中可以看到丰富的模式种类字面量模式1、s、3n、null、标识符模式、undefined/null模式、成员模式o.one、as绑定模式1 as a、const绑定模式、通配符_、或模式1 | 2 | 3、对象解构模式、元组模式、带守卫的分支2 if (f())等。穷尽性检查Exhaustive Checkmatch最核心的价值在于穷尽性检查如果分支没有覆盖所有可能情况Flow 直接报错。例如 tests/match/matching.jsdeclare const x: 1 | 2; const e1 match (x) { 1 0, // ERROR: 2 not checked —— 漏掉分支 };这保证了新增一个枚举成员但忘记处理时编译期就会立刻暴露。反过来tests/match/expression.js 验证了匹配结果的类型推断各分支返回类型的联合就是整个表达式的类型且异常分支如返回empty的invariant(false)会被正确剔除。分支返回值类型tests/match/expression.js 给出了关键行为const out match (x) { 1 true, 2 s, }; out as boolean | string; // OK —— 各分支类型联合即match表达式的整体类型是各分支返回类型的联合。第四步实现三个流水线函数stepDuration用 match 做阶段耗时映射function stepDuration(step: BuildStep): number { return match (step) { BuildStep.Lint 5, BuildStep.Compile 30, BuildStep.Test 60, BuildStep.Package 15, BuildStep.Deploy 45, }; }这里match的主题subject是枚举值每个分支用枚举成员成员模式匹配。得益于穷尽性检查如果未来给BuildStep增加一个成员而忘记在这里补分支Flow 会立即报not checked错误。summarizeResult用 valueOf() 取底层值做字符串插值任务要求对ExitCode做匹配并返回形如step passed、step passed with warnings、step FAILED的字符串。由于枚举值不能隐式转字符串见 tests/enums/abstract-enum-value.js 的报错必须先调用valueOf()function summarizeResult(step: BuildStep, code: ExitCode): string { const stepName: string step.valueOf(); return match (code) { ExitCode.Success ${stepName} passed, ExitCode.Warning ${stepName} passed with warnings, ExitCode.Failure ${stepName} FAILED, }; }数字枚举ExitCode的三个成员Success/Warning/Failure在这里被穷尽匹配因此函数保证返回string而不会有undefined分支。shouldAbort多条件组合判断任务要求当退出码为Failure且步骤为Compile或Deploy时返回true其余组合一律返回false。用match配合**守卫guard**实现function shouldAbort(step: BuildStep, code: ExitCode): boolean { return match (code) { ExitCode.Failure if (step BuildStep.Compile || step BuildStep.Deploy) true, _ false, // 其余所有组合 }; }这里用到两个关键机制守卫子句pattern if (condition)只有条件成立才命中该分支。仓库 tests/match/matching.js 中验证了守卫与穷尽性的交互——带守卫的分支可能匹配也可能不匹配因此需要额外的兜底分支本例中的_通配符通配符_匹配一切剩余情况保证穷尽性。同一测试文件也确认了_与顶层const绑定模式均可用作兜底。第五步整合为完整可运行代码将上述代码合并即得到一份可直接交给flow check验证的完整文件// flow enum BuildStep { Lint, Compile, Test, Package, Deploy, } enum ExitCode { Success 0, Warning 1, Failure 2, } function stepDuration(step: BuildStep): number { return match (step) { BuildStep.Lint 5, BuildStep.Compile 30, BuildStep.Test 60, BuildStep.Package 15, BuildStep.Deploy 45, }; } function summarizeResult(step: BuildStep, code: ExitCode): string { const stepName: string step.valueOf(); return match (code) { ExitCode.Success ${stepName} passed, ExitCode.Warning ${stepName} passed with warnings, ExitCode.Failure ${stepName} FAILED, }; } function shouldAbort(step: BuildStep, code: ExitCode): boolean { return match (code) { ExitCode.Failure if (step BuildStep.Compile || step BuildStep.Deploy) true, _ false, }; } // 用法示例 stepDuration(BuildStep.Test); // 60 summarizeResult(BuildStep.Lint, ExitCode.Success); // Lint passed shouldAbort(BuildStep.Deploy, ExitCode.Failure); // true shouldAbort(BuildStep.Test, ExitCode.Failure); // false需要说明的是match表达式是 Flow 较新的语言特性使用前请确认当前 Flow 版本支持本仓库源码与 tests/match 目录下的用例即针对该特性编写。若目标 Flow 版本尚不支持match可用传统switch加穷尽性检查替代Flow 对switch同样支持枚举穷尽性验证见 tests/enums/exhaustive-check.js。第六步如何在仓库中验证与深入学习用现有测试验证语法与语义枚举定义与使用浏览 tests/enums/valid.js合法用法、tests/enums/value-of.js底层值转换、tests/enums/methods.js枚举对象方法、tests/enums/cast.js类型转换限制枚举穷尽检查tests/enums/exhaustive-check.js 与 tests/enums/exhaustive-check-implicit-return.js 展示switch下漏分支与隐含返回的报错match 表达式tests/match/matching.js各类模式与穷尽性、tests/match/expression.js结果类型与异常分支、tests/match/hints.js类型推断提示、tests/match/refining.js模式内变量细化、tests/match/statement.js语句形式枚举底层类型定义lib/core.js$EnumProto方法签名、lib/core.jsEnumValue、Enum、EnumRepresentationTypes。错误对照仓库 tests/enums/enums.exp 是上述枚举测试的期望错误输出可直接对照查看各类错误信息例如枚举值不能赋给string请用valueOf()、[invalid-exhaustive-check] 未穷尽等。把本任务代码中故意删掉某个match分支再用flow check运行即可亲眼看到穷尽性检查报错这与 tests/match 中标注// ERROR: not all members checked的用例完全一致。总结通过enum_008这一评测任务可以看到 Flow 在有限状态建模上的完整能力链枚举提供封闭、可穷尽的类型化常量集合字符串/数字底层值配合valueOf()与外部世界互操作match 表达式提供结构化的穷尽模式匹配把漏分支从运行时事故变成编译期错误二者结合让构建流水线这类分支繁多的业务逻辑既能保持可读性又能获得静态检查的强保障。本仓库 tests/enums 与 tests/match 中超过四十个测试文件为这些特性提供了可直接对照的权威用例。【免费下载链接】flowAdds static typing to JavaScript to improve developer productivity and code quality.项目地址: https://gitcode.com/gh_mirrors/flow30/flow创作声明：本文部分内容由AI辅助生成（AIGC），仅供参考