如何使用cppfront实验Herb Sutter的C++2语法？ (Cpp2入门)_技术教程

cppfront 不是 C++2 官方实现，而是将 Herb Sutter 提出的实验性 cpp2 语法转换为标准 C++20/23 的源码到源码翻译器，不提供新语义、不改 ABI、需配合 clang/g++ 二次编译，目前仅适用于语法验证与教学演示。

cppfront 不是 C++2 的官方实现，也不是编译器，它只是一个实验性前端，把 cpp2 语法（Herb Sutter 提出的“C++2”概念，非 ISO 标准）翻译成标准 C++20/23 代码。你无法用它“编译运行 C++2”，只能生成可被 clang/g++ 编译的 C++。

cppfront 本质是源码到源码的转换器

它不带运行时、不改 ABI、不提供新语义——所有 cpp2 特性（如 !int 非空指针、[[nodiscard]] 级别的契约语法、enum class 的隐式作用域规则等）都靠宏、模板、static_assert 和现代 C++ 模式模拟出来。生成的 C++ 代码可读性差、调试困难，且很多特性目前只是骨架（比如 contract 声明尚未落地为可执行检查）。

实操建议：

只在明确想验证某个 cpp2 语法能否转出合理 C++ 时使用，别把它当开发工具链
必须搭配 C++20+ 编译器（如 clang++-17 -std=c++20）二次编译生成的 .cpp 文件
原始 .cpp2 文件里不能混用未被 cppfront 支持的语法（例如 if constexpr 在 cpp2 中写法不同，但 cppfront 当前不处理它）

安装与基本流程：不是 `apt install cppfront`

cppfront 没有预编译包，必须从源码构建。它依赖 C++20 编译器和 CMake，且构建过程不稳定（截至 2025 年中，master 分支常因 Clang AST API 变更而 break）。

实操建议：

克隆指定稳定 commit（比如 8a9f3c1，对应 2025 年底的 demo 版本），别用最新 master
cmake -B build -DCMAKE_CXX_STANDARD=20 后，用 make -C build 构建，而非 make install（它不安装到系统路径）
运行时需显式指定输出目录：
```
./build/cppfront input.cpp2 -o generated/
```
，否则默认输出到当前目录且不报错
生成的文件名是 input.cpp 2.cpp，不是 input.cpp——漏看后缀会导致 g++ 报 “not a C++ file”

常见转换失败原因：语法糖 vs 实际支持

cppfront 对 cpp2 语法的支持极不完整。例如：

!T*（非空指针）会被转成带 assert(p) 的包装类，但若 T 是模板参数且未约束，会触发 C++ 模板实例化错误，而非 cppfront 报错
[[expects: x > 0]] 这类契约语法目前仅保留注释，不生成任何检查代码（文档称 “experimental and incomplete”）
enum class E { a, b }; 在 cpp2 中允许直接写 a，但 cppfront 不做作用域注入，仍需 E::a
所有 auto 推导在转换后变成显式类型，但若推导依赖未定义符号（如未 include 的头文件），错误会出现在第二阶段（g++ 编译时），而非 cppfront 阶段