封闭性

在很多用例或 issue 中，封闭性如何使用可能会有些变化。

不允许在封闭的 struct 中定义非隐藏的字段

目前，可以在封闭 struct 中引入新的定义，这个提案想要去掉这一点。

下面将会导致一个错误，注意 foo 中的 #bar 既是 int 也是 string。

// Given the original definition
#D: {
	a: int
}

// And a downstream usage
foo: #D & {
	#bar: int
}

// The original could be chagned to
#D: {
	a:    int
	#bar: string
}

查询语法

关联列表

Hofstadter CUE 支持和培训

发布时间: 2024-03-31

编辑本页创建页面 issue 创建项目 issue