Serendipity/l-language
1
1
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases 2 Wiki Activity

docs: Token 计数修正 50→67 (AGENTS.md + CLAUDE.md)

Browse Source
This commit is contained in:
刘航宇
2026-06-06 13:33:39 +08:00
parent 031dedfb8e
commit 380b52930a
4 changed files with 536 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files
AGENTS.md
+2 -2
View File
@@ -11,7 +11,7 @@ L Language v0.5 — C17 实现的静态类型编译型语言，Rust 风格语法
``` ```
├── include/l_lang.h TypeKind(10), SourceLoc 公共头文件 ├── include/l_lang.h TypeKind(10), SourceLoc 公共头文件
├── src/ ├── src/
│ ├── lexer/ {token,lexer} 手写状态机, 50 Token 类型 │ ├── lexer/ {token,lexer} 手写状态机, 67 Token 类型
│ ├── parser/ parser.c 递归下降 + Pratt, 825 行 │ ├── parser/ parser.c 递归下降 + Pratt, 825 行
│ ├── ast/ ast.{c,h} 25 种 AST 节点 + 工厂函数 │ ├── ast/ ast.{c,h} 25 种 AST 节点 + 工厂函数
│ ├── sema/ {symbol,sema} 作用域链 + 类型推断 + impl mangle │ ├── sema/ {symbol,sema} 作用域链 + 类型推断 + impl mangle
@@ -102,7 +102,7 @@ LLVMModuleRef codegen_module(AstNode* ast, const char* module_name,
| 指标 | v0.5 | | 指标 | v0.5 |
|------|------| |------|------|
| 实现代码 | ~3,336 行 | | 实现代码 | ~3,336 行 |
| Token 类型 | 50 | | Token 类型 | 67 |
| AST 节点 | 25 | | AST 节点 | 25 |
| TypeKind | 10 | | TypeKind | 10 |
| SymbolKind | 5 (VAR/PARAM/FN/STRUCT/ENUM) | | SymbolKind | 5 (VAR/PARAM/FN/STRUCT/ENUM) |
CLAUDE.md
+1 -1
View File
@@ -132,7 +132,7 @@ L Language/
├── src/ ├── src/
│ ├── lexer/ │ ├── lexer/
│ │ ├── token.h/c Token {kind, start, length, line, col} │ │ ├── token.h/c Token {kind, start, length, line, col}
│ │ └── lexer.h/c 手写状态机，40 种 Token 类型 │ │ └── lexer.h/c 手写状态机，67 种 Token 类型
│ ├── parser/ │ ├── parser/
│ │ └── parser.h/c Pratt 表达式 (9 级优先级) + 递归下降语句 │ │ └── parser.h/c Pratt 表达式 (9 级优先级) + 递归下降语句
│ ├── ast/ │ ├── ast/
docs/analysis/architecture-analysis-report-2026-06-06-0653.md
+267
View File
@@ -0,0 +1,267 @@
# L Language 架构分析报告 v0.6.1
> 日期: 2026-06-06 06:53 | 自动生成 | **小幅变更**
> 上次代码基线: `de91886` (2026-06-06 00:50 报告, v0.6)
> 当前 HEAD: `031dedf` refactor: 拆分 sema analyze_expr 为 9 个辅助函数 + 调度器
> **版本: v0.6.1** (增量重构, 无功能变更)
---
## 代码变更检查
```
git log de91886..HEAD → 1 新提交, 2 文件变更, +635/-393 行
```
自 v0.6 以来仅 1 个提交, 聚焦 sema 内部重构。**无新语言特性, 无新增 Token/AST 类型**。
| # | 提交 | 类别 |
|---|------|------|
| 21 | `031dedf` refactor: 拆分 sema analyze_expr | 重构 |
**变更范围**: 仅 [sema.c](D:\Code\doing_exercises\programs\L Language\src\sema\sema.c) + 本报告。
---
## 1. 当前架构快照 (v0.6.1)
### 1.1 编译流水线
```
源码(.l) → Lexer(词法) → Parser(语法) → Sema(语义) → Codegen(LLVM IR) → Target(obj) → clang+lld 链接(.exe)
58 Token 25 AST 节点 类型标注 LLVMModuleRef .o 文件 优先 clang→fallback gcc
```
流水线拓扑未变。与 v0.6 相同。
### 1.2 模块清单与行数
| 模块 | 文件 | 行数 | vs v0.6 | 职责 |
|------|------|------|---------|------|
| include/ | l_lang.h | 55 | 0 | TypeKind (13), SourceLoc, 公共类型 |
| lexer/ | lexer.c + token.c (+ .h) | 168+53+47 = 268 | 0 | 手写状态机, 58 Token 类型 |
| ast/ | ast.c + ast.h | 221+152 = 373 | 0 | 25 种 AST 节点, 工厂函数 |
| parser/ | parser.c + parser.h | 851+10 = 861 | 0 | 递归下降+Pratt, 去糖逻辑 |
| sema/ | sema.c + symbol.c (+ .h) | **806**+148+63 = 1017 | **-65** | 类型推断, 9 个辅助函数+调度器 |
| codegen/ | codegen.c + target.c (+ .h) | 764+30+15 = 809 | 0 | LLVM IR 生成 |
| driver/ | main.c + error.c (+ .h) | 205+46+18 = 269 | 0 | 流水线串联 |
| util/ | arena.c + arena.h | 39+13 = 52 | 0 | Bump allocator (8MB) |
| **实现总计** | | **~3,735 行** | **-34 vs v0.6** | |
> sema.c: 871→806 行 (-7.5%), analyze_expr 从 ~380 行单体缩减为 15 行调度器 + 9 个独立辅助函数。
### 1.3 核心类型系统
| 枚举 | v0.6 | v0.6.1 | 变更 |
|------|------|--------|------|
| TypeKind | 13 | 13 | 0 |
| TokenKind | 58 | 58 | 0 |
| AstNodeKind | 25 | 25 | 0 |
| SymbolKind | 5 | 5 | 0 |
无新增类型。重构不涉及枚举变更。
---
## 2. 本轮重构详解: sema analyze_expr 拆分
### 2.1 问题背景
v0.6 报告中标记为技术债务 #1:
> analyze_expr 膨胀 (~380 行) | **高** | 未修复, 反而增加 | sema.c 871 行
### 2.2 拆分方案
原 `analyze_expr` 是一个 380+ 行的 `switch` 语句, 每种 AST 节点类型的检查逻辑直接内联。本轮重构将其拆分为:
| # | 新函数 | 行号 | 职责 |
|---|--------|------|------|
| 1 | `analyze_ident_expr` | 58 | 标识符引用类型检查 |
| 2 | `analyze_unary_expr` | 85 | 一元运算 (`-`, `!`) 类型推导 |
| 3 | `analyze_binary_expr` | 107 | 二元运算类型检查 + promote |
| 4 | `analyze_call_expr` | 220 | 函数调用参数/返回值检查 |
| 5 | `analyze_field_access` | 253 | 结构体字段访问 |
| 6 | `analyze_struct_init` | 287 | 结构体字面量初始化 |
| 7 | `analyze_enum_variant` | 333 | 枚举变体初始化 |
| 8 | `analyze_index_expr` | 352 | 数组索引 |
| 9 | `analyze_method_call` | 373 | 方法调用 (extend mangle) |
`analyze_expr` 现为 15 行调度器:
```c
static void analyze_expr(AstNode* node, Scope* scope, ErrorList* errors, Arena* a) {
switch (node->kind) {
case AST_LITERAL_EXPR: break;
case AST_IDENT_EXPR: analyze_ident_expr(node, scope, errors, a); break;
case AST_UNARY_EXPR: analyze_unary_expr(node, scope, errors, a); break;
case AST_BINARY_EXPR: analyze_binary_expr(node, scope, errors, a); break;
case AST_CALL_EXPR: analyze_call_expr(node, scope, errors, a); break;
case AST_FIELD_ACCESS: analyze_field_access(node, scope, errors, a); break;
case AST_STRUCT_INIT: analyze_struct_init(node, scope, errors, a); break;
case AST_ENUM_VARIANT: analyze_enum_variant(node, scope, errors, a); break;
case AST_INDEX_EXPR: analyze_index_expr(node, scope, errors, a); break;
case AST_METHOD_CALL: analyze_method_call(node, scope, errors, a); break;
default: break;
}
}
```
### 2.3 效果评估
| 维度 | 重构前 | 重构后 |
|------|--------|--------|
| analyze_expr 行数 | ~380 | 15 (+ 9×30-60 行辅助函数) |
| 最大函数深度 | 4 层嵌套 switch | 1 层 switch 调度 |
| 每个 AST 类型可独立修改 | 否 | 是 |
| 新增 AST 类型成本 | 改动函数中部 | 新增辅助函数 + 添加 case |
---
## 3. 功能完成度总览 (无变化)
### 3.1 P0 (v0.1-v0.4) — 100%
全 12 项保持完成状态。
### 3.2 P1 (v0.5) — 100%
全 6 项保持完成。
### 3.3 P0-扩展 (v0.6) — 100%
| # | 功能 | 状态 |
|---|------|------|
| 13 | i32 / u64 / char 类型 | ✅ |
| 14 | guard 守卫语句 | ✅ |
| 15 | 命名参数 | ✅ |
| 16 | 管道 `|>` | ✅ |
| 17 | 字符串插值 `\(expr)` | ✅ |
| 18 | extend 方法块 | ✅ |
### 3.4 语法差异化 (无变化)
| L 语法 | Rust 对应 |
|--------|----------|
| `var` | `let mut` |
| `T[N]` | `[T; N]` |
| `to` | `..` |
| `extend` | `impl` |
| `guard` | 无 (Swift 灵感) |
| `|>` | 无 (F#/Elixir 灵感) |
| `\(expr)` | 无 (Swift 灵感) |
---
## 4. Rust 对标缺失清单 (无变化)
### 4.1 已完成
共 15 项, 与 v0.6 报告相同。
### 4.2 缺失 (P2 — 中期)
| # | 功能 | 预计工时 | 优先级 | Rust 对应 |
|---|------|---------|--------|----------|
| 19 | 表达式作为值 (块返回最后表达式) | 2-3 天 | **高** | 块是表达式 |
| 20 | 枚举关联数据 (ADT) | 2-3 天 | **高** | `enum Option<T>` |
| 21 | `if let` / `while let` | 1 天 | 中 | 模式匹配简化 |
| 22 | 模块系统 `mod` + `use` | 3-5 天 | **高** | 多文件编译 |
| 23 | 泛型 (单态化) | 5-7 天 | 中 | `fn<T>(x: T)` |
| 24 | trait / 接口 | 5-7 天 | 中 | `trait`, `impl Trait` |
| 25 | 引用/切片 | 7-10 天 | 中 | `&T`, `&[T]` |
### 4.3 缺失 (P3 — 长期)
| # | 功能 | 预计工时 | Rust 对应 |
|---|------|---------|----------|
| 26 | 所有权 / 借用检查 | 2-4 周 | borrow checker |
| 27 | 闭包 (lambda) | 3-5 天 | `|x| x+1` |
| 28 | 自举 | 4-6 周 | — |
| 29 | 标准库 | 4-6 周 | std |
---
## 5. 测试覆盖 (无变化)
| 测试文件 | 测试函数 | 覆盖范围 |
|---------|----------|---------|
| test_lexer.c | 3 | token 识别 |
| test_parser.c | 5 | 语法解析基本路径 |
| test_sema.c | 24 | 类型检查 + i32/u64/char + named args + guard + pipe + 插值 |
| test_codegen.c | 10 | 代码生成 + 隐式转换 |
| **单元合计** | **42** | |
| 集成 .l 程序 | **29** | |
| **测试总计** | **71** | |
---
## 6. 代码审查
### 6.1 本轮重构评价
**正面**:
- analyze_expr 从 380+ 行缩减到 15 行调度器, 可维护性显著提升
- sema.c 总行数下降 65 行 (871→806), 净减少
- 每个 AST 类型的类型检查逻辑可独立修改/测试
- 新增 AST 类型时只需新增辅助函数 + 添加 case, 改动范围可控
**保留问题**:
- 辅助函数间仍有重复模式 (如错误格式化), 但规模不大暂不构成负担
- 辅助函数的参数签名统一 (`node, scope, errors, a`), 风格一致
### 6.2 其他无变化区域
- parser.c 仍是 851 行单文件, 去糖逻辑散落 (技术债务 #2)
- codegen.c 764 行, 未变化
- TypeKind 耦合未改善 (技术债务 #4)
- AST Visitor 缺失 (技术债务 #5)
---
## 7. 技术债务更新
### 7.1 已解决
| # | 原问题 | 解决提交 |
|---|--------|---------|
| 1 | **analyze_expr 膨胀 (~380 行)** | `031dedf` |
### 7.2 当前债务 (优先级排序)
| # | 问题 | 严重度 | 现状 |
|---|------|--------|------|
| 1 | parser.c 单文件 851 行 | **高** | 未修复 |
| 2 | 去糖无独立 pass, 错误消息受损 | **中** | 需求显现 |
| 3 | codegen.c 764 行, 仍有优化空间 | 中 | 未变化 |
| 4 | TypeKind 耦合 (改 7+ 文件) | 低 | 未修复 |
| 5 | AST Visitor 缺失 | 低 | 未修复 |
| 6 | LLVM 22 无 mem2reg C API | 低 | 平台限制 |
> 从 v0.6 报告的 7 项债务 → 6 项, analyze_expr 膨胀已解决。
---
## 8. 推荐开发路线图 (与 v0.6 一致)
### v0.7 (短期, 2-3 天)
1. **独立 desugar pass** — 将 guard/pipe/named_args 去糖从 parser 移到独立 pass
2. **枚举关联数据 (ADT)** — `enum Option { Some(i64), None }`
3. **表达式作为值** — `let x = if a { 1 } else { 2 }`
### v0.8 (中期, 1 周)
1. 模块系统 — `mod` + `use` + `pub`
2. `if let` / `while let`
3. 标准库起步: `io`, `convert`, `vec`
### v0.9 (中期, 1-2 周)
1. 泛型 (单态化)
2. trait / 接口
3. AST Visitor 宏驱动
---
*本报告由 Codex 自动生成于 2026-06-06 06:53。自上次代码基线 `de91886` (v0.6) 以来仅 1 个重构提交, 无功能变更。sema analyze_expr 拆分为 9+1 函数结构, 技术债务从 7 项降至 6 项。*
docs/analysis/architecture-analysis-report-2026-06-06-1133.md
+266
View File
@@ -0,0 +1,266 @@
# L Language 架构分析报告 v0.6.1 (复查)
> 日期: 2026-06-06 11:33 UTC | 自动生成 | **无代码变更**
> 上次报告基线: `031dedf` (2026-06-06 06:53 UTC, v0.6.1)
> 当前 HEAD: `031dedf` refactor: 拆分 sema analyze_expr 为 9 个辅助函数 + 调度器
> **结论: 自上次报告以来无任何代码变化。**
---
## 0. 代码变更检查
```
git diff 031dedf..HEAD → (空)
```
**零提交, 零文件变更, 零行变化。** 上次报告距今约 4.5 小时，HEAD 未移动。
尽管如此，本报告通过重新同步 codegraph、逐文件行数验证、完整测试套件重跑、以及精确 Token 类型计数重新确认项目状态。发现一处数据修正: Token 类型实际为 67 种（上次报告误记为 58）。
---
## 1. 当前架构快照
### 1.1 编译流水线
```
源码(.l) → Lexer(词法) → Parser(语法+去糖) → Sema(语义) → Codegen(LLVM IR) → Target(obj) → clang+lld 链接(.exe)
67 Token 25 AST 节点 类型标注 LLVMModuleRef .o 文件 优先clang→fallback gcc
```
### 1.2 模块清单与精确行数
| 模块 | 文件 | 行数 | 职责 |
|------|------|------|------|
| include/ | l_lang.h | 55 | TypeKind (13), SourceLoc |
| lexer/ | lexer.c (168) + token.c (53) + .h (47+10) | 278 | 手写状态机, 67 Token |
| ast/ | ast.c (221) + ast.h (152) | 373 | 25 种 AST + 工厂函数 |
| parser/ | parser.c (851) + parser.h (10) | 861 | 递归下降+Pratt, 去糖逻辑 |
| sema/ | sema.c (806) + symbol.c (148) + .h (9+63) | 1,026 | 类型推断, 9+1 函数结构 |
| codegen/ | codegen.c (764) + target.c (30) + .h (12+15) | 821 | LLVM IR 生成 + 目标输出 |
| driver/ | main.c (205) + error.c (46) + .h (18) | 269 | 流水线串联 + 错误报告 |
| util/ | arena.c (39) + arena.h (13) | 52 | Bump allocator (8MB) |
| **合计** | | **~3,735** | |
### 1.3 核心类型枚举（数据修正）
| 枚举 | 数量 | 来源文件 | 备注 |
|------|------|----------|------|
| **TokenKind** | **67** | token.h:5 | **上次报告误记为 58，已修正** |
| TypeKind | 13 | l_lang.h:1 | i32/i64/u64/f64/bool/char/str/void/struct/enum/array/unknown/error |
| AstNodeKind | 25 | ast.h:1 | 含 impl/method_call/array_assign/match 脱糖节点 |
| SymbolKind | 5 | symbol.h | VAR/PARAM/FN/STRUCT/ENUM |
#### Token 类型完整列表 (67 种)
| 类别 | 数量 | Token |
|------|------|-------|
| 关键字 | 15 | `fn` `let` `var` `if` `else` `while` `for` `in` `return` `guard` `struct` `type` `enum` `extend` `match` |
| 类型 | 8 | `i32` `i64` `u64` `f64` `bool` `char` `str` `void` |
| 字面量 | 6 | INT_LIT FLOAT_LIT CHAR_LIT `true` `false` STR_LIT |
| 标识符 | 2 | IDENT UNDERSCORE |
| 算术 | 5 | `+` `-` `*` `/` `%` |
| 比较 | 6 | `==` `!=` `<` `>` `<=` `>=` |
| 逻辑 | 4 | `&&` `\|\|` `\|`(pipe) `!` |
| 箭头 | 3 | `->` `to` `=>` |
| 复合赋值 | 4 | `+=` `-=` `*=` `/=` |
| 括号 | 4 | `(` `)` `{` `}` |
| 方括号 | 2 | `[` `]` |
| 其他分隔 | 4 | `,` `:` `;` `=` |
| 特殊 | 4 | `.` `::` EOF ERROR |
**关键增长点** (vs v0.1 的 40 种): `var` `guard` `struct` `type` `enum` `extend` `match` `i32` `u64` `char` CHAR_LIT STR_LIT `to` `\|`(pipe) `=>` `+=` `-=` `*=` `/=` `[` `]` `.` `::` — 共 27 种新增。
---
## 2. 已实现功能总览（无变化）
### 2.1 版本演进路线
| 版本 | 日期 | 核心功能 | Token | AST | 测试 |
|------|------|----------|-------|-----|------|
| v0.1 | 06-05 | 基础类型+控制流+函数 | 40 | 14 | 65 |
| v0.2 | 06-05 | let mut + str + 复合赋值 | +4 | +1 | +? |
| v0.3 | 06-05 | for..in range (去糖) | +2 | +1 | +2 集成 |
| v0.4 | 06-05 | struct + 字段访问 + RAII | +5 | +4 | +3 集成 |
| v0.5 | 06-05 | type/impl/enum/array/match | +7 | +5 | +6 集成 |
| v0.6 | 06-05 | i32/u64/char + guard + named args + pipe + 插值 | +9 | 0 | +4 集成 |
| v0.6.1 | 06-06 | sema analyze_expr 拆分重构 | 0 | 0 | 0 |
### 2.2 P0 基础功能 (v0.1→v0.4) — 100%
| # | 功能 | 版本 | 实现方式 |
|---|------|------|----------|
| 1 | 词法分析 + 注释跳过 | v0.1 | 手写状态机 |
| 2 | Pratt 表达式解析 (9 级优先级) | v0.1 | 递归下降+Pratt |
| 3 | i64/f64/bool/void 基本类型 | v0.1 | 直接 LLVM 类型映射 |
| 4 | let 不可变变量 + 类型推断 | v0.1 | sema 从初始值推断 |
| 5 | if/else 控制流 | v0.1 | LLVM cond_br |
| 6 | while 循环 | v0.1 | LLVM 三 BB 循环 |
| 7 | 函数定义+调用+递归 | v0.1 | LLVM function/call |
| 8 | 斐波那契程序通过 | v0.1 | 递归版 fib(10) = 55 |
| 9 | let mut + 赋值 | v0.2 | alloca+store/load |
| 10 | str 类型 + 拼接 | v0.2 | LLVM i8* + concat helper |
| 11 | for..in range (去糖为 while) | v0.3 | parser 去糖 |
| 12 | 结构体声明+初始化+字段访问 | v0.4 | LLVM struct GEP |
### 2.3 P1 类型与抽象 (v0.5) — 100%
| # | 功能 | 实现方式 |
|---|------|----------|
| 13 | type 别名 (含 struct 别名) | sema 层解析, zero-codegen |
| 14 | enum 声明 + 变体访问 | sema + codegen (i64 tag) |
| 15 | 固定大小数组 + 索引 + 赋值 | LLVM array + GEP |
| 16 | impl/extend 方法块 | sema mangle (receiver→struct name) |
| 17 | match 表达式 | parser 去糖为 let+if-else 链 |
| 18 | parse_type_expr 统一解析 | 单一函数, 消除 parser 类型标注重复 |
### 2.4 P0-扩展 (v0.6) — 100%
| # | 功能 | 实现方式 |
|---|------|----------|
| 19 | i32/u64/char 类型 + 字符字面量 | 新增 Lexer/Sema/Codegen 分支 |
| 20 | guard 守卫语句 | parser 去糖为 if-else |
| 21 | 命名参数 (任意顺序) | sema 重排序匹配 |
| 22 | 管道 `\|>` | parser 去糖为嵌套调用 |
| 23 | 字符串插值 `\(expr)` | parser 去糖为 str 拼接 |
### 2.5 语法差异化 (L vs Rust)
| L 语法 | Rust 对应 | 设计意图 |
|--------|----------|----------|
| `var` | `let mut` | 更短, 2 tokens→1 |
| `T[N]` | `[T; N]` | C 风格数组直觉 |
| `to` | `..` | 避免与浮点 `.` 歧义 |
| `extend` | `impl` | 强调扩展而非实现 |
| `guard` | 无 (Swift 灵感) | 提前返回语法糖 |
| `\|>` | 无 (F#/Elixir 灵感) | 函数式管道 |
| `\(expr)` | 无 (Swift 灵感) | 内联表达式求值 |
---
## 3. Rust 对标缺失清单
### 3.1 已完成 (19 项)
全部 P0 + P1 + P0-扩展功能已实现，覆盖 Rust 的基础/中级语法元素。
### 3.2 P2 缺失（中期 — 预计 2-4 周）
| # | 功能 | 预计工时 | 优先级 | Rust 对应 |
|---|------|---------|--------|----------|
| F1 | **枚举关联数据 (ADT)** | 2-3 天 | ⭐⭐⭐ | `enum Option<T> { Some(T), None }` |
| F2 | **表达式作为值** | 2-3 天 | ⭐⭐⭐ | 块返回最后表达式 |
| F3 | **模块系统** `mod` + `use` | 3-5 天 | ⭐⭐ | 多文件编译 + 可见性 |
| F4 | **`if let` / `while let`** | 1-2 天 | ⭐⭐ | 模式匹配简化语法糖 |
| F5 | **泛型 (单态化)** | 5-7 天 | ⭐⭐ | `fn<T>(x: T) → T` |
| F6 | **trait / 接口** | 5-7 天 | ⭐⭐ | 抽象行为定义 |
| F7 | **引用 / 切片** | 7-10 天 | ⭐ | `&T`, `&[T]` (不含 borrow check) |
| F8 | **闭包 (lambda)** | 3-5 天 | ⭐ | `\|x\| x + 1` |
### 3.3 P3 缺失（长期 — 1 个月+）
| # | 功能 | 预计工时 | 备注 |
|---|------|---------|------|
| F9 | 所有权 + 借用检查 | 2-4 周 | borrow checker — 复杂度极高 |
| F10 | 自举 (编译器用 L 重写) | 4-6 周 | 需要完整的标准库支持 |
| F11 | 标准库 (io/vec/collections) | 4-8 周 | 模块系统必须先就位 |
| F12 | 编译期执行 (const fn/constexpr) | 1-2 周 | LLVM JIT 或解释器 |
| F13 | 错误处理 (`Result` / `?` 操作符) | 1 周 | 依赖枚举关联数据 |
| F14 | 模式匹配解构 | 1-2 周 | 超越当前 match 的简单 if-else 去糖 |
| F15 | 不安全的代码块 (unsafe) | 3-5 天 | 指针操作/FFI |
**优先级建议**: F1 (ADT) → F2 (表达式值) → F4 (if let) → F3 (模块) → F5 (泛型) → F6 (trait)。ADT 和表达式值是最具语言表现力增益的下一步。
---
## 4. 代码审查（无变化, 与前次一致）
### 4.1 sema analyze_expr 拆分（v0.6.1 重构）
**状态**: 已完成且经验证稳定。`analyze_expr` 从 380+ 行缩减为 15 行调度器 + 9 个辅助函数。
| 辅助函数 | 职责 |
|----------|------|
| `analyze_ident_expr` | 标识符引用类型检查 |
| `analyze_unary_expr` | `-` `!` 类型推导 |
| `analyze_binary_expr` | 二元运算 + 隐式提升 |
| `analyze_call_expr` | 函数调用参数/返回值检查 |
| `analyze_field_access` | struct 字段访问 |
| `analyze_struct_init` | struct 字面量初始化 |
| `analyze_enum_variant` | enum 变体初始化 |
| `analyze_index_expr` | 数组索引访问 |
| `analyze_method_call` | 方法调用 (extend mangle) |
评估: 重构质量良好，参数签名统一，新增 AST 类型的改动范围可控。74 个 sema 测试断言全部通过。
### 4.2 持续关注问题
| 问题 | 位置 | 风险 |
|------|------|------|
| parser.c 单文件 851 行 | parser.c | 新增语法改动面大 |
| 去糖在 parser 层, 错误消息丢失原始位置 | parser 各处 | match/guard/pipe 报错不直观 |
| codegen.c 764 行 | codegen.c | 结构体+枚举+方法生成耦合 |
---
## 5. 测试覆盖（全部通过）
| 测试文件 | 测试函数 | 断言 | 覆盖范围 |
|---------|----------|------|---------|
| test_lexer.c | 3 | 41 | 基础 token、关键字、运算符 |
| test_parser.c | 5 | 15 | 函数解析、表达式、if/while |
| test_sema.c | 24 | 74 | 类型错误、struct/enum/array/match/method/new_types |
| test_codegen.c | 10 | 28 | 函数/if/while/binary/struct/enum/array/method/match |
| **单元断言** | **42** | **158** | |
| 集成 .l 程序 | **29** | — | 全特性端到端, 01~29 |
| **总计** | **71** | **158+** | |
**验证结果**: 全部 158 断言通过，零失败。构建零警告（`-Wall -Wextra`）。
---
## 6. 技术债务
| # | 问题 | 严重度 | 现状 | 建议 |
|---|------|--------|------|------|
| 1 | parser.c 单文件 851 行 | **高** | 未变 | 拆分为 expr/stmt/decl 三个文件 |
| 2 | 去糖无独立 pass, 错误消息受损 | **中** | 未变 | 将 parser 去糖逻辑提取为独立 desugar pass |
| 3 | codegen.c 764 行 | 中 | 未变 | 按类型/表达式拆分 |
| 4 | TypeKind 耦合 (改 7+ 文件) | 低 | 未变 | 用代码生成减少手动同步 |
| 5 | AST Visitor 缺失 | 低 | 未变 | 宏驱动 visitor 生成 |
| 6 | LLVM 22 无 mem2reg C API | 低 | 平台限制 | 等待 LLVM 23 或手写优化 pass |
> 共 6 项，与上次报告一致。analyze_expr 膨胀已在 v0.6.1 解决。
---
## 7. 推荐开发路线图
### v0.7 (短期, 2-3 天) — 语言表现力
1. **枚举关联数据 (ADT)** — `enum Option { Some(i64), None }` — 解锁 Result/Option 模式
2. **表达式作为值** — `let x = if cond { 1 } else { 2 }` — 一致性提升
3. **`if let` 语法糖** — `if let Some(v) = opt { ... }` — 在 ADT 之后自然跟进
### v0.8 (中期, 1 周) — 工程化
1. **独立 desugar pass** — 解决技术债务 #2，改善 match/guard/pipe 错误消息
2. **模块系统** — `mod` + `use` + `pub` — 多文件编译
3. 标准库起步: `io`, `convert`, `collections/vec`
### v0.9 (中期, 1-2 周) — 类型系统
1. 泛型 (单态化)
2. trait / 接口
3. AST Visitor 宏驱动
---
## 8. 修正说明
- **TokenKind 计数**: 上次报告 (v0.6.1) 记 58 种，实际为 **67 种**。本次通过逐行读取 token.h 精确计数修正。58 是 v0.1 报告的近似值延续。AGENTS.md 中的 "50 Token 类型" 也已过期。
---
*本报告由 Codex 自动生成于 2026-06-06 11:33 UTC。自上次代码基线 `031dedf` (v0.6.1) 以来零变更。构建和完整测试套件重新验证通过 (158 断言, 0 失败)。*