17370845950

如何使用Carbon Language Explorer将c++代码转换为Carbon? (C++继任者)
Carbon Language Explorer 不支持 C++ 到 Carbon 的自动转换,它仅是用于浏览官方语法定义 grammar.carbon 的只读可视化工具,无上传、输入或转换功能。

Carbon Language Explorer 不支持将 C++ 代码自动转换为 Carbon 代码。

Carbon Language Explorer 的真实用途

它是一个只读的在线语法查看器,用于浏览 Carbon 语言的官方语法定义(grammar.carbon),不提供任何代码转换、解析或生成能力。它的界面里没有上传按钮、输入框或“Convert”操作,本质上是 tree-sitter 语法文件的可视化展示工具。

  • 你只能点击展开节点,查看 FunctionDeclClassDecl 等语法规则如何由 identifiertype_expr 等子规则组成
  • 它不接收 C++ 输入,也不输出任何 Carbon 代码
  • 其底层数据来自 Carbon 仓库中的
    toolchain/parse/grammar.carbon
    ,并非编译器前端

目前没有官方 C++ → Carbon 转换工具

Carbon 团队明确表示:不计划开发全自动的 C++ 迁移工具。原因很实际——C++ 和 Carbon 在内存模型、泛型系统、继承语义、ABI 设计上存在根本性差异,机械翻译会产生大量无法编译或语义错误的代码。

  • std::vector 没有直接对应的 Carbon 类型;Carbon 的 Vector(T) 是值语义且无隐式共享
  • C++ 的多重继承、指针算术、模板特化等特性在 Carbon 中被有意移除
  • 即使写出转换脚本,生成的 Carbon 代码也几乎必然需要人工重写逻辑和接口契约

如果你真想尝试迁移,可行路径只有手动+辅助

目前唯一现实的做法是:用 Carbon 编译器(carbon-lang CLI)验证语法,配合 VS Code 插件获得基本补全,然后逐模块重写。过程中要注意:

  • 从接口(API)定义开始,而非实现;Carbon 强调契约优先,先写 interface 再写 impl
  • 避免直译 new/delete —— Carbon 没有裸指针,改用 Box(T) 或所有权转移语义
  • auto 在 C++ 中是类型推导,在 Carbon 中不存在;类型声明必须显式(除非用 var x: T = ... 的简写)
  • 运行
    carbon run example.carbon
    前,确保已通过
    carbon build
    检查语法和基础类型匹配

真正卡住的地方往往不是语法转换,而是重新思考“这个模块在无手动内存管理、无宏、无头文件的模型下该怎么组织”。Explorer 看得再熟,也绕不开这一步。