KCL语言中默认值与显式赋值的区别解析

默认值与显式赋值的语法差异

在KCL配置语言中，schema定义中的默认值和实例化时的显式赋值存在重要语法差异。当我们在schema中定义字段时，使用冒号:表示类型注解和默认值赋值，而在实例化schema时，需要使用等号=来显式覆盖默认值。

问题现象分析

开发者在使用KCL时可能会遇到一个常见困惑：明明在实例化时已经为字段指定了新值，但输出结果却仍然包含了schema定义中的默认值。这种现象通常发生在错误地使用了冒号:而不是等号=进行赋值的情况下。

正确用法示例

以文章中的Foo schema为例，正确的实例化方式应该是：

schema Foo:
    a: {str:str} = {"name": "test"}
    b: [int] = [1, 2, 3]

foo = Foo {
    a = {"one": "two"}  # 使用等号覆盖默认值
    b = [42]            # 使用等号覆盖默认值
}

底层行为解析

当使用冒号:进行"赋值"时，实际上执行的是合并(merge)操作而非覆盖。对于字典类型，新值会与默认值合并；对于列表类型，新列表会与默认列表连接。只有使用等号=才会真正实现值的完全替换。

最佳实践建议

1. 在schema定义中使用冒号:声明类型和默认值
2. 在实例化时使用等号=进行显式覆盖
3. 需要合并操作时才使用冒号:
4. 注意字典和列表类型的默认值合并行为

理解这一差异对于编写正确的KCL配置至关重要，可以避免许多意外的配置结果。