CobaltC – C 的继承者？

1. 简介 CobaltC 是一种静态类型系统编程语言，提供： 显式所有权；确定性破坏；编译器检查的借用；推断的寿命；显式可空性；边界安全操作；结构化错误处理；安全并发；明确的不安全操作；显式外部函数接口。该语言适用于需要可预测的资源管理、强大的内存安全性、本机执行以及与低级设施的受控交互的软件。 CobaltC 不需要跟踪垃圾收集。 2. 规范术语 MUST、MUST NOT、SHOULD、SHOULD NOT 和 MAY 等词是规范性的。实现定义意味着实现选择行为并记录该选择。未定义的行为是本规范没有强加任何要求的行为。安全的 CobaltC 操作绝不能仅通过普通使用引入未定义的行为。 3. 源文件 CobaltC 程序由一个或多个源模块组成。源文本是 Unicode。标识符区分大小写。空格在必要时分隔词汇标记，否则没有语义意义。 4. 注释 CobaltC 支持行注释： // 注释和块注释： /* comment */ 注释没有语义效果。 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 提供：整数文字；浮点文字；字符文字；字符串文字；布尔文字；无效的。数字文字可以在实现支持的情况下使用分隔符，前提是分隔符不会改变其值。 8. 模块 模块声明的形式为： module example;模块建立一个命名空间。模块可以从其他模块导入声明： import io;名称解析是词法和模块感知的。未解析的名称是编译时错误。 9. 声明 CobaltC 提供： const static type struct enum interface fn 声明被引入到其适用的词法或模块命名空间中。如果允许，内部声明可能会影响外部声明。 10. 变量 变量声明如下： i32 count = 0;声明一个可变变量：mut i32 count = 0;允许未初始化的声明：i32 结果；但结果必须在读取之前初始化。 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. 原始指针 原始指针表示为： 原始 T* 原始指针超出了普通的托管所有权和生命周期保证。原始指针解引用和不受限制的指针操作需要不安全的上下文。 16. 可变性 可变绑定允许在没有所有权或借用规则禁止操作的情况下通过该绑定进行突变。可变性不会覆盖别名规则。例如，拥有可变的所有者不允许发生突变，而不兼容的借用仍然处于活动状态。 17. 类型兼容性 赋值、函数参数和返回值必须具有兼容的类型。隐式转换不能默默地进行：删除可空性；创造所有权；破坏所有权；违反可变性；终身保证失效；执行不安全的重新解释。可以提供显式转换设施。 18. 类型推断 CobaltC 允许在语言语法和上下文建立唯一类型的情况下进行推断。推理必须保留与以下相关的所有语义区别：所有权；可变性；可空性；借用；寿命。推理不得使不安全的操作显得安全。 19. 泛型类型 泛型类型和函数是静态检查的。示例： fn Identity(T value) -> T { return value;在使用通用实体之前，必须满足通用约束。 20. 接口 接口定义所需的操作。示例：接口 Printable { fn print();通用约束可能需要一个