V 语言路线图全解：从 0.3 并发基础到 1.0 生产就绪的核心演进路径

V 语言（Vlang）的 ROADMAP.md 是理解该语言演进方向的权威文档，它按版本（0.3 / 0.4 / 0.5 / 0.6 / 1.0）逐条列出了重大特性清单，区分了已完成项（[x]）与待办项（[ ]）。本篇以该路线图为主线，结合当前仓库中的标准库、示例、构建工具与变更日志（CHANGELOG.md、changelogs0.x/0.4.md、changelogs0.x/0.5.md），逐版本解读每一项特性的技术含义、当前落地状态及源码级证据，帮助你在实际使用 V 时判断哪些能力已经可用、哪些仍受实验性开关或平台限制约束。

路线图阅读方式：已完成与待办项的区分

Roadmap 采用任务清单语法组织。勾选框 [x] 表示该特性已在对应版本中交付；空格框 [ ] 表示尚未完成。文档开头明确指出："For a list of all features and fixes, check out the changelog"，即完整的特性与修复明细以变更日志为准，roadmap 只聚焦"big features"。当前仓库中 CHANGELOG.md 记录了最新的 0.5.2 版本改动（2026 年 7 月 12 日发布），changelogs0.x/0.5.md 则覆盖整个 0.5 系列（2023 年 9 月至 2025 年 12 月），是核对 roadmap 勾选状态的一手依据。

Version 0.3：类型系统、并发与移动端的地基

0.3 阶段的全部条目均已勾选完成，这一阶段确立了 V 语言的核心能力基线：

• gc option：可配置垃圾回收（如 -gc none），为手动内存管理与 GC 两种模式并存打下基础；
• channels 与 lock{}：Go 风格的 channel 通信与 lock{} 块级锁，构成并发原语的双支柱；
• thread safe arrays：共享数组类型，供多协程/线程安全访问；
• rune 类型与 []rune 替代 ustring：引入 Unicode code point 类型 rune，用 []rune 数组取代旧的 ustring，同时修复了 byte.str() 的缺陷；
• 非字符串键的 maps：map 不再要求键为 string；
• iOS/Android 支持：移动端编译目标落地，仓库中 thirdparty/android、thirdparty/ios 目录即为对应的交叉编译配套；
• parallel cgen：并行 C 代码生成，是后来 0.5 阶段 -parallel-cc 并行的前身；
• IO streams：流式 IO 抽象；
• struct embedding、interface embedding、接口允许 struct 字段：结构体嵌入与接口嵌入，接口从"只有方法"扩展为"方法 + 字段"，显著增强了面向接口编程的表达力；
• 短泛型语法：foo(5) 代替 foo<int>(5)，泛型调用更简洁；
• 更高级的错误：不再局限于 error('message')，支持自定义错误类型。

Version 0.4：协程、Option 类型与 veb 框架

0.4 阶段同样全部完成，其中最值得注意的是协程、Option 一等类型与 veb Web 框架：

协程（Coroutines）

Roadmap 标注"(doesn't work on Windows yet)"——协程尚未在 Windows 上工作，这一点在 1.0 章节的待办项 "Coroutines on Windows" 中得到了再次确认，说明该限制跨越版本持续存在。

从源码结构看，协程实现位于 vlib/coroutines 模块，它是第三方 photon 库（thirdparty/photon）的封装。examples/coroutines/simple_coroutines.v 展示了实际用法：文件头部注释明确要求以 v -use-coroutines simple_coroutines.v 方式编译，并在代码中用 $if is_coroutine ? { 在编译期区分协程/非协程路径；main() 中通过 go foo(10) 启动多个并发任务，再调用 coroutines.sleep(1 * time.second) 让出执行权。此外该示例还演示了协程内直接做网络请求（http.get）与文件写入而不阻塞主循环的能力。

Option 类型与其他语言特性

• First class Option type：?T 成为一等公民类型，可与函数签名、泛型组合使用；
• 递归结构体：通过 ? 选项字段实现，如 struct Node { next ?Node }，无需额外的指针包装技巧即可表达链表等自引用结构；
• Optional function struct fields：结构体中可声明可选函数指针字段；
• 安全处理函数指针：编译器生成判空逻辑，用户代码不必再手写 if function == 0 {；
• vfmt 自动补全 import：类似 Go 的 goimports 行为，格式化时补齐缺失导入；
• 匿名结构体：允许 struct 作为表达式类型内联使用；
• 捆绑 mbedtls：与 GC 捆绑第三方库的思路一致，仓库中 thirdparty/mbedtls 目录证实了该库随编译器分发，使 net.ssl 等模块开箱即用；
• veb 框架改进：允许通过 "controllers" 分离业务逻辑，并修复了大量问题——veb 位于 vlib/veb；
• 新 VPM 站点：包管理器站点重构。

Version 0.5：并行编译、Lambda 与 veb 重构

0.5 是当前仓库实际对应的版本线，其条目均可在仓库中找到直接证据：

-parallel-cc 并行 C 编译

Roadmap 条目 "Parallel C compilation via -parallel-cc" 在 changelogs0.x/0.5.md 中给出的量化描述是：加速 -prod 与 -cc clang/gcc 编译，最高可达 14 倍。该命令行参数已注册在工具链中，见 cmd/tools/vcomplete.v 的参数补全表；cmd/v/macos_v3_test.v 中的 test_macos_v3_parallel_cc_ignores_inactive_header_definitions 测试用例则验证了 -parallel-cc 在 macOS v3 构建路径下对非活动头文件定义的处理，其调用方式为 v -v -gc none -parallel-cc -nocache -o output source。

与之配套的是 roadmap 中 "Parallel parser (not integrated yet)" 与 "Parallel checker (not integrated yet)" 两项：并行解析器与并行检查器在 0.5 阶段只完成了独立实现，尚未集成进主编译流水线——这一点直接对应 0.6 章节的待办项 "Integrate the new parallel parser/checker/cc"，说明集成工作被推迟到了下一版本。

-skip-unused 默认开启

Roadmap 条目 "-skip-unused on by default" 在 changelogs0.x/0.5.md 中说明其效果：cgen 与二进制体积显著缩小，hello world 案例约减少 70%。

Lambda 表达式

a.sort(|a, b| a > b) 的 lambda 语法在 0.5 落地，与 0.3 的短泛型语法、0.4 的 Option 类型共同构成了 V 函数式能力的完整拼图。

基于 picoev 的 veb 重构

Roadmap 描述 veb 框架"Improved... Separation of global and context (request local) fields. Performance and stability. Based on picoev"，并配套 "Implicit Veb contexts passed to requests"（隐式传递请求上下文）。事件循环基础库位于 thirdparty/picoev，框架本体在 vlib/veb，完整示例见 examples/veb。

直接 C/C++ 互操作

"Direct C/C++ interop without generating wrappers (via -experimental for now)" 表明该能力当时仍受 -experimental 开关约束。changelogs0.x/0.5.md 印证了这一点："C functions no longer need to be manually defined. An #include \"foo.c\" is enough (behind -experimental for now)"。-experimental 参数本身注册于 cmd/tools/vcomplete.v。使用时需注意该开关下的行为可能随版本变化，生产环境应评估其稳定性。

$if 的通用位置支持

"Allow $if everywhere: top level, inside struct definitions, etc" 使编译期条件不再局限于函数体内，可出现在顶层与结构体定义中——这是 doc/upcoming.md 之后 $if 生态继续扩展的方向，也是 0.5.2 版本日志中 "Comptime $if bsd (#26983)" 等改动的语法基础。

Version 0.6：面向生产的关键缺口

0.6 章节是 roadmap 中当前"进行中"的版本，全部条目均为待办（[ ]），集中反映了 1.0 之前必须补齐的能力缺口：

• Custom attributes：自定义属性（@my_attr 式扩展点），当前属性集由编译器内置决定；
• 隐式传递的 Context：为自定义内存分配/管理预留的上下文传递机制，与 0.5 中 veb 隐式上下文是同一设计方向的泛化；
• 按架构选择 64/32 位 int：int 位宽随目标架构决定，从源码结构看这会直接解除 64 位系统上 array.len 的长度限制；
• copy() 内建函数：简化 []Foo 到 [4]Foo（变长到定长数组）的转换；
• 集成新的并行 parser/checker/cc：承接 0.5 "not integrated yet" 的遗留；
• 增量编译（Incremental compilation）：与 -usecache 配套。从源码看，cmd/v/v.v 当前打印 "-usecache is currently disabled on windows"，说明缓存编译在 Windows 上尚未启用，这与 roadmap "usecache on by default" 待办项的现状一致；
• 运行时 race detector：数据竞争检测器，补齐并发调试工具链；
• Thread safe maps：共享 map 类型；
• recover() from panics：允许从 panic 中恢复，改变 V "panic 即终止" 的语义；
• ORM migrations 与 无开发依赖库运行 ORM：迁移机制与摆脱 libpq-dev 等系统库依赖，降低数据库集成的部署门槛（ORM 实现位于 vlib/orm）。

Version 1.0：生产就绪的验收标准

1.0 章节定义了语言"稳定"的门槛，八项待办可归纳为四个方向：

1. 编译体系：Cross compilation of C（C 交叉编译）、"Big remaining bugs fixed"（修复其余重大缺陷）；
2. 语言能力：More powerful comptime（更强编译期计算）、Constraints for generics（泛型约束，类似其他语言的 where 子句）、C2V 支持完整 C99 标准（当前 doc/c_and_v_type_interoperability.md 描述的互操作能力与 tutorials/C2V_translating_simple_programs_and_DOOM/ 的自动 C 到 V 转换示例都指向该方向）；
3. 内存管理：Autofree 内存管理选项达到生产可用，衔接 0.5.2 日志中已出现的 ownership（-ownership 开关，逻辑全部置于 comptime 后）与 VGC（移植自 Go 的三色标记清除 GC）等探索；
4. 并发与分发：Coroutines on Windows（关闭 0.4 遗留的平台缺口）、Shared compiled libs（共享编译产物，仓库 doc/packaging_v_for_distributions.md 已铺垫打包分发层面的工作）。

Tooling 与 Web 方向的长期规划

roadmap 末尾两节列出长期工程目标：

Tooling

• 更稳定的 VLS（Language Server）与 Profiler 改进（含支持搜索、排序、过滤的交互式 shell）；
• VPM：新站点已完成（[x]），待办是 Package versioning（包版本化）；
• 更好的文档平台。

Web

• 统一风格的综合站点；
• 面向初学者的交互式编程教学平台。

实践建议：基于路线图判断特性可用性

结合当前仓库的实际状态，使用各特性时的适用前提可归纳如下：

特性	版本	使用前提 / 限制	仓库证据
协程 go + coroutines.sleep	0.4	需 -use-coroutines 编译；Windows 尚不可用	examples/coroutines/simple_coroutines.v、vlib/coroutines
-parallel-cc	0.5	加速 -prod 及 -cc clang/gcc 编译	cmd/v/macos_v3_test.v
-skip-unused	0.5	默认开启，减小 cgen 与二进制体积	changelogs0.x/0.5.md
直接 C 互操作（免 wrapper）	0.5	需 -experimental 开关	cmd/tools/vcomplete.v
-usecache	0.6	默认化待办；Windows 上当前被禁用	cmd/v/v.v
veb 框架	0.4/0.5	基于 picoev，请求上下文隐式传递	vlib/veb、thirdparty/picoev
SSL 支持	0.4	随编译器捆绑 mbedtls	thirdparty/mbedtls

总体而言，roadmap 呈现出一条清晰的演进主线：0.3 打地基（并发、类型、移动端），0.4 补语言表达力（协程、Option、框架），0.5 攻工程效率（并行编译、默认优化、框架重构），0.6 填生产缺口（增量编译、race 检测、recover、ORM 迁移），1.0 则设定最终验收标准（交叉编译、泛型约束、comptime、C99 级 C2V）。对开发者而言，阅读 ROADMAP.md 时应将每个勾选状态与 CHANGELOG.md 的条目互相对照，并注意 -experimental、-use-coroutines 等开关标注的适用前提，避免把实验性能力直接用于生产环境。