发布说明
v0.3.0 (2026-06-07)
新特性
轻量级 Owner 系统
- 编译期所有权和借用检查
- 非 Copy 值的所有权转移
- 独占可变引用和共享不可变引用
- 使用后移动检测
- 悬垂局部引用检测
- 复制类型推断
- 语句级临时借用作用域
新引用语法:ref 和 mut ref
ref value创建不可变共享借用mut ref value创建可变独占借用- 同一语句中允许多个不可变借用
- 可变借用不可重叠
- 临时借用语句结束后释放
类型系统增强
usize成为认别类型关键字- 单元类型
() - 前缀逻辑非运算符
! - 枚举定义支持前导
|
Match 增强
- 支持函数调用作为匹配条件:
match choose(1) { ... } - 支持单行分支体:
Some(v) -> print(v)
其他
- 复合赋值支持泛 lvalue(成员访问、索引、解引用)
- 多目标文件链接:
vixc a.o b.o -o prog - 字符串拼接空指针安全处理
- 全局动态数组
push写回修复
内部变更
- 新增
src/Ownership/Ownership.cpp - 新增
include/ownership.h - 编译流水线:类型检查 → 所有权检查 → 代码生成
- 旧
&引用语法由ref/mut ref替代
兼容性说明
不包含:生命周期标注、完整 NLL 分析、Pin/Unpin、Drop 检查、自引用结构体。
v0.2.0 - v0.2.10 更新汇总
| 版本 | 日期 | 主要变更 |
|---|---|---|
| v0.2.10 | 2026-06-06 | 多目标文件链接、枚举前导 | |
| v0.2.9 | 2026-05-31 | 数组参数编译期警告、for 循环数值类型提升 |
| v0.2.8 | 2026-05-31 | Match 调用表达式、vixc0 原型 |
| v0.2.6 | 2026-05-30 | 引用参数修复、变量遮蔽、空数组初始化 |
| v0.2.5 | 2026-05-30 | 逻辑非 !、单元类型 ()、语法弃用警告 |
| v0.2.1 | 2026-05-15 | str 移除、usize 添加 |
| v0.2.0 | 2026-05-15 | 移除 global const、变量默认不可变、显式 main |
