KCL 语言中的配置编写和校验能力

简介

Kusion 配置语言（KCL）是一个开源的基于约束的记录及函数语言。KCL 通过成熟的编程语言技术和实践来改进对大量繁杂配置比如云原生 kubernetes 配置场景的编写，致力于构建围绕配置的更好的模块化、扩展性和稳定性，更简单的逻辑编写，以及更快的自动化集成和良好的生态延展性。

先决条件

KCL 的每个版本都包含各种操作系统和体系结构。这些二进制版本可以从 Github 手动下载并安装，下载完成后将 {install-location}/kclvm/bin 添加到环境变量 PATH 中。

export PATH=$PATH:{install-location}/kclvm/bin

使用 KCL 校验数据

除了使用 KCL 代码生成 JSON/YAML 等配置格式，KCL 还支持对 JSON/YAML 数据进行格式校验。作为一种配置语言，KCL 在验证方面几乎涵盖了 OpenAPI 的所有功能。在 KCL 中可以通过一个结构定义来约束配置数据，同时支持通过 check 块自定义约束规则，在 schema 中书写校验表达式对 schema 定义的属性进行校验和约束。通过 check 表达式可以非常清晰简单地校验输入的 JSON/YAML 是否满足相应的 schema 结构定义与 check 约束。

在 schema 定义当中可以使用 check 关键字编写 schema 属性的校验规则，如下所示，check 代码块中的每一行都对应一个条件表达式，当满足条件时校验成功，当不满足条件时校验失败，条件表达式后可跟 , "check error message" 表示当校验失败时需要显示的信息。

import regex

schema Sample:
    foo: str  # Required, 不能为None/Undefined, 且类型必须为str
    bar: int  # Required, 不能为None/Undefined, 且类型必须为int
    fooList: [int]  # Required, 不能为None/Undefined, 且类型必须为int列表
    color: "Red" | "Yellow" | "Blue"  # Required, 字面值联合类型，且必须为"Red", "Yellow", "Blue"中的一个，枚举作用
    id?: int  # Optional，可以留空，类型必须为int

    check:
        0 <= bar < 100  # bar必须大于等于0，小于100
        0 < len(fooList) < 100  # fooList不能为None/Undefined，并且长度必须大于0,小于100
        regex.match(foo, "^The.*Foo$") # regex 正则表达式匹配
        bar in range(100) # range, bar范围只能为1到99
        bar in [2, 4, 6, 8] # enum, bar只能取2, 4, 6, 8
        bar % 2 == 0  # bar必须为2的倍数
        all foo in fooList {
            foo > 1
        }  # fooList中的所有元素必须大于1
        any foo in fooList {
            foo > 10
        }  # fooList中至少有一个元素必须大于10
        abs(id) > 10 if id  # check if 表达式，当 id 不为空时，id的绝对值必须大于10

综上所述，KCL Schema 中支持的校验类型为:

基于此，KCL 提供了相应的校验工具 直接对 JSON/YAML 数据进行校验。此外，通过 KCL schema 的 check 表达式可以非常清晰简单地校验输入的 JSON 是否满足相应的 schema 结构定义与 check 约束。

未来计划

KCL 校验能力的提升将逐渐围绕 “静态化” 方面展开工作，即在编译时结合形式化验证的能力直接分析出数据是否满足约束条件，约束条件是否冲突等问题，并且可以通过 IDE 实时透出约束错误，而无需在运行时发现错误。

更多资料

• KCL Github 仓库：github.com/KusionStack…
• KCL 网站：https ://kcl-lang.io/
• Kusion Github 仓库：github.com/KusionStack…
• Kusion 网站：kusionstack.io/