0

0

如何使用cppfront实验Herb Sutter的C++2语法? (Cpp2入门)

尼克

尼克

发布时间:2026-01-17 16:43:02

|

137人浏览过

|

来源于php中文网

原创

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

如何使用cppfront实验herb sutter的c++2语法? (cpp2入门)

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 声明尚未落地为可执行检查)。

实操建议:

京点点
京点点

京东AIGC内容生成平台

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

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

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

立即学习C++免费学习笔记(深入)”;

实操建议:

  • 克隆指定稳定 commit(比如 8a9f3c1,对应 2023 年底的 demo 版本),别用最新 master
  • cmake -B build -DCMAKE_CXX_STANDARD=20 后,用 make -C build 构建,而非 make install(它不安装到系统路径)
  • 运行时需显式指定输出目录:
    ./build/cppfront input.cpp2 -o generated/
    ,否则默认输出到当前目录且不报错
  • 生成的文件名是 input.cpp2.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 阶段

调试生成代码比写 cpp2 更耗时

cppfront 输出的 C++ 代码大量使用嵌套模板别名、立即调用 lambda、constexpr if 展开,且无格式化。一个简单的 !int* 参数可能展开为 50 行带 __cpp2_detail 前缀的模板代码。

实操建议:

  • clang++ -std=c++20 -Xclang -ast-dump -fsyntax-only 查看生成代码的 AST,比肉眼读更快定位问题来源
  • 对关键函数,手动删减 cppfront 输出中无关的模板层,保留核心逻辑再测试
  • 不要在 CI 中引入 cppfront——它的构建失败率高、输出不可控、无版本锁定机制

真正卡住人的从来不是怎么写 cpp2 语法,而是搞清哪部分被转了、哪部分被跳过、哪部分转出来根本没法编译。它目前只适合语言设计讨论或教学演示,离实用还有很长一段距离。

相关专题

更多
if什么意思
if什么意思

if的意思是“如果”的条件。它是一个用于引导条件语句的关键词,用于根据特定条件的真假情况来执行不同的代码块。本专题提供if什么意思的相关文章,供大家免费阅读。

745

2023.08.22

java中break的作用
java中break的作用

本专题整合了java中break的用法教程,阅读专题下面的文章了解更多详细内容。

118

2025.10.15

java break和continue
java break和continue

本专题整合了java break和continue的区别相关内容,阅读专题下面的文章了解更多详细内容。

256

2025.10.24

string转int
string转int

在编程中,我们经常会遇到需要将字符串(str)转换为整数(int)的情况。这可能是因为我们需要对字符串进行数值计算,或者需要将用户输入的字符串转换为整数进行处理。php中文网给大家带来了相关的教程以及文章,欢迎大家前来学习阅读。

318

2023.08.02

int占多少字节
int占多少字节

int占4个字节,意味着一个int变量可以存储范围在-2,147,483,648到2,147,483,647之间的整数值,在某些情况下也可能是2个字节或8个字节,int是一种常用的数据类型,用于表示整数,需要根据具体情况选择合适的数据类型,以确保程序的正确性和性能。本专题为大家提供相关的文章、下载、课程内容,供大家免费下载体验。

538

2024.08.29

c++怎么把double转成int
c++怎么把double转成int

本专题整合了 c++ double相关教程,阅读专题下面的文章了解更多详细内容。

52

2025.08.29

C++中int的含义
C++中int的含义

本专题整合了C++中int相关内容,阅读专题下面的文章了解更多详细内容。

197

2025.08.29

lambda表达式
lambda表达式

Lambda表达式是一种匿名函数的简洁表示方式,它可以在需要函数作为参数的地方使用,并提供了一种更简洁、更灵活的编码方式,其语法为“lambda 参数列表: 表达式”,参数列表是函数的参数,可以包含一个或多个参数,用逗号分隔,表达式是函数的执行体,用于定义函数的具体操作。本专题为大家提供lambda表达式相关的文章、下载、课程内容,供大家免费下载体验。

204

2023.09.15

高德地图升级方法汇总
高德地图升级方法汇总

本专题整合了高德地图升级相关教程,阅读专题下面的文章了解更多详细内容。

43

2026.01.16

热门下载

更多
网站特效
/
网站源码
/
网站素材
/
前端模板

精品课程

更多
相关推荐
/
热门推荐
/
最新课程
Node.js 教程
Node.js 教程

共57课时 | 8.8万人学习

CSS3 教程
CSS3 教程

共18课时 | 4.6万人学习

Vue 教程
Vue 教程

共42课时 | 6.6万人学习

关于我们 免责申明 举报中心 意见反馈 讲师合作 广告合作 最新更新
php中文网:公益在线php培训,帮助PHP学习者快速成长!
关注服务号 技术交流群
PHP中文网订阅号
每天精选资源文章推送

Copyright 2014-2026 https://www.php.cn/ All Rights Reserved | php.cn | 湘ICP备2023035733号