Chiba Logo CHIBA v0.6.13
CHIBA blog RSS feed
CHIBA / DOCS / LEVEL-1 SPEC

普通值默认是 Managed Value

这里集中展示 CHIBA level-1 specification,覆盖 core language、control flow、memory、patterns、IR lowering 与 package system 等实现边界。

The docs surface keeps CHIBA level-1 specification pages browsable inside the site, with direct paths into language, control flow, memory, pattern, and lowering rules.

普通值默认是 Managed Value

语法

该条目描述默认语义,不新增独立语法。

语义

普通 data、tuple、record、closure env 默认按 managed value 处理,不要求用户为日常值显式标注 unique 或 reference 类修饰。

这里的 managed 不是 GC 同义词,而是“受 arena / escape / promotion / RC 规则统一管理”的值语义。

低级 capability 类型如 Ptr[T]Ref[T]UnsafeRef[T] 不属于这条默认 managed value 路线。

Usage

data User {
	User(name: String, age: i32)
}

let u = User("a", 10)

注释:u 是普通 managed value;它默认走 level-1 的 managed 内存语义,而不是要求用户显式选择底层 capability 模式。

边界

当程序进入 FFI、Metal、ABI 或共享可变能力边界时,应显式改用 capability 类型,而不是依赖 managed value 自动退化。