1. 引言 CobaltC 是一种静态类型的系统编程语言，提供：显式所有权；确定性销毁；编译器检查的借用；推断的生命周期；显式空值；边界安全操作；结构化错误处理；安全并发；显式不安全操作；显式外部函数接口。该语言旨在用于需要可预测资源管理、强内存安全、本地执行和与低级设施受控交互的软件。CobaltC 不需要追踪垃圾收集。 2. 标准术语 术语 MUST、MUST NOT、SHOULD、SHOULD NOT 和 MAY 是规范性的。实现定义意味着实现选择行为并记录该选择。未定义行为是该规范不强加要求的行为。安全的 CobaltC 操作不得仅通过普通使用引入未定义行为。 3. 源文件 CobaltC 程序由一个或多个源模块组成。源文本为 Unicode。标识符区分大小写。空白字符在必要时分隔词法标记，否则没有语义意义。 4. 注释 CobaltC 支持行注释：// 注释 和块注释：/* 注释 */ 注释没有语义影响。 5. 关键字 以下是保留的关键字：as break case const continue defer else enum extern false fn for if import in interface loop match move mut null return static struct true type unsafe while let 不是 CobaltC 1.0 的关键字。 6. 标识符 标识符以 Unicode 标识符起始字符开头，并且可以包含后续的标识符字符和数字。标识符区分大小写。因此，以下表示不同的名称：value Value VALUE 7. 字面量 CobaltC 提供：整数字面量；浮点字面量；字符字面量；字符串字面量；布尔字面量；空值。数值字面量 MAY 在实现支持的情况下使用分隔符，前提是分隔符不改变其值。 8. 模块 模块声明的形式为：module example; 模块建立一个命名空间。模块 MAY 导入来自其他模块的声明：import io; 名称解析是词法的并且是模块感知的。未解析的名称在编译时会产生错误。 9. 声明 CobaltC 提供：const static type struct enum interface fn 声明被引入到其适用的词法或模块命名空间中。内部声明 MAY 遮蔽外部声明，前提是被允许。 10. 变量 使用以下方式声明变量：i32 count = 0; 可变变量声明为：mut i32 count = 0; 允许未初始化声明：i32 result; 但 result 在读取之前必须被初始化。 11. 常量 常量使用：const i32 maximum = 100; 常量初始化器必须满足实现的常量表达式要求。常量不能被修改。 12. 原始类型 CobaltC 定义：bool char i8 i16 i32 i64 i128 u8 u16 u32 u64 u128 isize usize f32 f64 固定宽度整数类型的宽度精确指定。isize 和 usize 是指针大小的整数类型。 13. 复合类型 CobaltC 支持：结构体 枚举 元组 数组 函数类型 管理引用 原始指针 泛型类型 接口约束类型 结构体和枚举是命名类型。类型别名不会创建新的命名类型。 14. 管理引用 符号：T* 表示一个管理的非空引用。符号：T*? 表示一个可空的管理引用。管理引用参与所有权、借用和生命周期检查。 15. 原始指针 原始指针表示为：raw T* 原始指针不在普通管理的所有权和生命周期保障之内。原始指针解引用和不受限制的指针操作要求在不安全上下文中进行。 16. 可变性 可变绑定允许在没有所有权或借用规则禁止操作的情况下进行变化。可变性不覆盖别名规则。例如，拥有可变所有者的情况下，不允许在不兼容的借用仍然有效时进行修改。 17. 类型兼容性 赋值、函数参数和返回值必须具有兼容的类型。隐式转换不得悄悄地：移除空值性；创建所有权；销毁所有权；违反可变性；使生命周期保证失效；执行不安全的重新解释。可以提供显式转换功能。 18. 类型推断 CobaltC 允许在语言语法和上下文建立唯一类型时进行推断。推断必须保留与以下内容相关的所有语义区分：所有权；可变性；空值性；借用；生命周期。推断不得使不安全操作看起来安全。 19. 泛型类型 泛型类型和函数经过静态检查。示例：fn identity<T>(T value) -> T { return value; } 泛型约束必须在使用泛型实体之前满足。 20. 接口 接口定义所需的操作。示例：interface Printable { fn print(); } 泛型约束可能要求一个