D2Learn Forums

SPeak

从去年 gcc 15.1 初步支持 import std 开始, 我就在 C++的模块化上做了很多实践

前段时间, 突然产生了以 C++23 模块化为基础, 实现一个现代 C++模块化项目的构建工具。并以其能用自己从源码构建出自己也就是所谓的自举来做为初步目标, 目前这个目标已经实现

欢迎对现代 C++和模块化感兴趣的朋友来用, mcpp 构建工具使用模块化特性玩一玩或开发开发小项目也欢迎大家来反馈和交流

开源仓库: https://github.com/mcpp-community/mcpp

mcpp

一个现代 C++ 模块化构建工具 — 纯 C++23 模块编写，已实现自举

核心特性

C++23 模块原生支持 — import std 自动处理，文件级增量构建，模块依赖自动分析，零手动配置
纯模块化自举 — mcpp 自身由 43+ 个 C++23 模块组成，用自己构建自己，模块系统经实战验证
开箱即用 — 一条命令安装，内置 GCC 16 / LLVM 20 工具链，自动下载到隔离沙盒，不污染系统
集成依赖管理 — SemVer 约束解析、锁文件、跨项目 BMI 缓存、自定义包索引
多包工作空间 — Workspace 统一锁文件与版本管理，适合大型项目

为什么选择 mcpp ?

mcpp 专门为 C++23 模块化开发 打造。如果你想在项目中使用 import std、模块接口单元（.cppm）、模块分区等现代 C++ 特性，mcpp 在 Linux 上能为你提供便捷且友好的开发体验：

默认模块化 — mcpp new 创建的项目模板直接使用 C++23 模块，import std 开箱即用
文件级增量构建 — 基于 P1689 dyndep 的三层优化（前端脏检查 + 逐文件扫描 + BMI restat ），只重编真正变化的模块
一键创建 & 构建 — mcpp new hello && cd hello && mcpp build，工具链自动安装，无需手动配置编译器和构建系统
模块化生态 — mcpplibs 提供一系列可直接 import 的 C++ 模块化库，支持自定义包索引

注: 早期版本 — mcpp 仍在积极开发中，接口和行为可能在后续版本调整。
欢迎对现代 C++ 模块化构建工具感兴趣的开发者参与贡献。
问题 / 反馈 / 想法欢迎在 issues 留言。

快速开始

安装

方式一：使用 xlings 安装（推荐）

xlings install mcpp -y

方式二：一键安装脚本

curl -fsSL https://github.com/mcpp-community/mcpp/releases/latest/download/install.sh | bash

安装到 ~/.mcpp/，自动加进 shell PATH 。删除 ~/.mcpp 即可干净卸载。

方式三：让 AI 助手帮你安装

将以下提示词复制给你的 AI 编码助手（ Claude Code / Cursor / Copilot 等）：

阅读 https://github.com/mcpp-community/mcpp 的 README ，
帮我安装 mcpp 并创建一个 C++23 模块项目，构建并运行。
项目的 .agents/skills/mcpp-usage/SKILL.md 有详细的使用指南。

创建项目 & 构建运行

mcpp new hello
cd hello
mcpp build
mcpp run

注：首次构建会初始化环境并获取工具链，可能需要一些时间。

项目结构

hello/
├── mcpp.toml             ← 工程描述
└── src/
    └── main.cpp          ← import std; 直接可用

# mcpp.toml
[package]
name = "hello"

[targets.hello]
kind = "bin"
main = "src/main.cpp"

使用模块化库

在 mcpp.toml 中添加两行依赖，即可引用 mcpplibs 社区模块化库：

[dependencies]
cmdline = "0.0.2"

然后在代码中直接 import：

import mcpplibs.cmdline;

更多依赖配置方式（版本约束、命名空间、Git 引用、本地路径等）参见 mcpp.toml 指南 — 依赖管理。

平台支持

OS / arch	GCC (glibc)	GCC (musl)	MSVC
Linux x86_64		默认	—
Linux aarch64			—
macOS	—	—	—
Windows	—	—

已支持｜计划中

默认：release 二进制走 musl 全静态，Linux x86_64 可直接运行，无 glibc 依赖。

文档

快速开始 — 5 分钟完成 install → new → build → run
示例项目
发布打包
工具链管理
从源码构建
mcpp.toml 指南
工作空间

任意命令的完整选项可通过 mcpp <cmd> --help 查阅。

AI 辅助学习：你可以将以下提示词发给 AI 编码助手，让它帮你快速了解 mcpp：

阅读 https://github.com/mcpp-community/mcpp 仓库的
.agents/skills/mcpp-usage/SKILL.md 和 docs/ 目录下的文档，
告诉我如何用 mcpp 创建一个带依赖的 C++23 模块项目。

参与贡献

欢迎通过 Issue 和 PR 参与项目开发。项目接受开发者使用 AI Agent 参与开发与贡献。

基本流程

创建 Issue — Bug 修复、新功能、优化等，先在 issues 创建讨论
实现改动 — Fork 仓库，创建分支，实现并验证（mcpp build + E2E 测试）
提交 PR — 使用 gh pr create，确保 CI 通过
CI 必须通过 — CI 不通过的 PR 不会被合入

提交信息规范：feat: / fix: / test: / docs: / refactor: 前缀

AI Agent 贡献：项目的 .agents/skills/mcpp-contributing/SKILL.md 提供了完整的 Agent 贡献流程和项目结构说明。将以下提示词发给 AI 助手即可：

阅读 https://github.com/mcpp-community/mcpp 仓库的
.agents/skills/mcpp-contributing/SKILL.md ，
按照指南帮我给 mcpp 项目提交一个贡献。

社区 & 生态

社区论坛 — 交流群 (Q: 1067245099)
mcpp-index — 默认包索引
mcpplibs — 模块化 C++ 库集合

致谢

项目依赖和灵感来源：

xlings — 工具链 / 包管理底座
mcpplibs.cmdline — CLI 框架
ninja — 底层构建引擎
xmake — 跨平台构建工具
cargo — Rust 包管理器

SPeak

GCC 16 上手初体验：环境配置、默认 C++20、模块化、诊断增强和 C++26 反射

从去年发布GCC 15.1 并支持 import std开始, 我的新项目也全面转向C++23 + 模块化 (踩了不少坑 [逃]). 而最近几天 GCC 16.1 也正式发布了, 这篇文章就来初步的上手体验一下.

主要内容包括:

0.GCC 16 环境配置
1.默认标准: 从C++17升级到C++20, 正式进入C++2x时代
2.模块化: 有一定优化, 但任处于实验性支持阶段 (悲)
3.代码诊断和静态分析增强
4.C++ 26 反射实验性支持
5.总结及相关链接

0. 环境配置 (Linux)

安装GCC 16可以选择按官方文档从源码进行构建 GCC WIKI 或直接使用xlings工具安装预构建版本(注: 该方式有个好处不污染系统环境)

安装xlings包管理工具

curl -fsSL https://raw.githubusercontent.com/openxlings/xlings/refs/heads/main/tools/other/quick_install.sh | bash
source ~/.bashrc # 或重新打开一次控制台
xlings -h

xlings工具安装后, 创建隔离环境并安装gcc 16

xlings subos new gcc-test
xlings subos use gcc-test
xlings install gcc@16.1.0 -y
gcc --version

1.默认标准: 从 C++17 升级到 C++20, 正式进入 C++2x 时代

GCC 16 的一个关键变化是: C++ 编译默认标准从 GNU++17 变成 GNU++20。不用额外再写 -std=c++20 也能编译下面的程序了:

#include <iostream>

consteval int answer() {
    return 16;
}

int main() {
    std::cout << "__cplusplus=" << __cplusplus
              << ", consteval=" << answer() << '\n';
}

编译运行:

g++ cpp20-default.cpp -o cpp20-default
./cpp20-default

输出:

__cplusplus=202002, consteval=16

如果显式退回 C++17:

g++ -std=c++17 cpp20-default.cpp -o cpp17-check

会报错:

t.cpp:3:1: error: 'consteval' does not name a type; did you mean 'constexpr'?
    3 | consteval int answer() {
      | ^~~~~~~~~
      | constexpr

默认标准的改变, 不仅仅只是帮我们省了-std=c++20，而是默认构建行为的改变会加速C++ 2x时代生态的发展

2.模块化: 有一定优化, 但任处于实验性支持阶段

模块化早在C++20就发布, 他的目标是想解决 C++ 头文件模型长期存在的问题: 重复解析、宏污染、包含顺序敏感、接口和实现边界不够清晰。在工程方面他对C++的影响是颠覆性的, 但是由于历史/兼容性/复杂度等多方面原因导致, GCC 16 的默认标准虽然是 GNU++20，但 modules 支持仍然是实验性的，所以GCC 16对模块化爱好者来说只能算波澜不惊

只不过, GCC16 还是有在模块化做了一些工作的

修复了一些模块化的bug
新增 --compile-std-module，用于更方便地构建标准库相关模块和 header unit

其中 --compile-std-module 的增加更方便大家体验模块化和import std, 避免了之前连一个hello world级别的main.cpp编译都要分几步的情况(有时候还有问题), 所以这也算是一大进步 - 现在可以像下面一样一键编译 import std 的程序了

// main.cpp
import std;

int main() {
    std::println("{}", 42);
}

编译:

g++ -std=c++23 -fmodules --compile-std-module main.cpp -o app
./app

3. 诊断增强: 错误信息结构化 + 编译期静态代码分析

C++ 报错经常被吐槽，不是因为编译器不知道哪里错了，而是因为错误链太长，人很难从一堆候选函数、模板实例化和类型展开里看出主线。

GCC 16 的一个明显变化是，部分 C++ 错误信息开始用层级结构展示。例如这个声明和定义不一致的例子:

class Foo {
public:
    void test(int i, int j, void *ptr, int k);
};

void Foo::test(int i, int j, const void *ptr, int k) {
}

int main() {
    return 0;
}

编译:

g++ diagnostics-mismatch.cpp

GCC 16 会把候选函数和参数差异分层展示，核心信息大致是:

error: no declaration matches 'void Foo::test(int, int, const void*, int)'
  - there is 1 candidate
    - candidate is: 'void Foo::test(int, int, void*, int)'
      - parameter 3 of candidate has type 'void*'
      - which does not match type 'const void*'

这比以前只告诉你找不到匹配声明更有用，它一定程度指出了候选是谁、哪里不一致、哪一个参数出了问题。

甚至还能生成更适合浏览器查看的诊断html页面:

g++ diagnostics-mismatch.cpp \
  -fdiagnostics-add-output=experimental-html

如果想给 CI、IDE 或代码扫描平台使用，可以生成 SARIF:

g++ diagnostics-mismatch.cpp \
  -fdiagnostics-format=sarif

这个的优化, 不仅报错更容易看了，而且后面可能会影响工具链体验。编译器不再只是把错误打印到终端，而是可以把结构化诊断交给网页、编辑器、代码审查和静态分析系统。

配合上 -fanalyzer 的能力。它是 GCC 自带的静态分析能力。如果加上 -Werror 体验就有点类似Rust的严格编译期检查功能

看一个 use-after-delete:

#include <iostream>

int main() {
    int *p = new int(42);
    delete p;
    std::cout << *p << "\n";
}

编译:

g++ -std=c++20 -fanalyzer analyzer-uaf.cpp

GCC 16 会给出类似警告:

warning: use after 'delete' of 'p' [CWE-416] [-Wanalyzer-use-after-free]

4. C++26 特性: Reflection / 反射

GCC 16 实现了若干 C++26 特性，这里简单试一试

-std=c++26 -freflection

以一个简单的结构体为例, 看看 C++26反射的功能:

#include <iostream>
#include <meta>
#include <string_view>

struct User {
    int id;
    double score;
};

consteval std::size_t field_count() {
    auto fields = std::meta::nonstatic_data_members_of(
        ^^User,
        std::meta::access_context::unchecked()
    );
    return fields.size();
}

consteval std::string_view field_name(std::size_t index) {
    auto fields = std::meta::nonstatic_data_members_of(
        ^^User,
        std::meta::access_context::unchecked()
    );
    return std::meta::identifier_of(fields[index]);
}

consteval std::string_view field_type(std::size_t index) {
    auto fields = std::meta::nonstatic_data_members_of(
        ^^User,
        std::meta::access_context::unchecked()
    );
    return std::meta::display_string_of(std::meta::type_of(fields[index]));
}

int main() {
    constexpr auto type_name = std::meta::display_string_of(^^User);

    std::cout << type_name << " has " << field_count() << " fields\n";
    std::cout << field_name(0) << ": " << field_type(0) << '\n';
    std::cout << field_name(1) << ": " << field_type(1) << '\n';
}