c++20模块需严格遵循语法和构建规则:module;必须首行(跳过空白/注释),接口用export module,实现用module,导出需export前缀;import须全局且在#include前;模块名与文件名无关,依赖bmi;混用头文件需谨慎,三编译器支持差异大。

模块声明和定义怎么写才不报错
模块不是头文件,不能用 #include 拉进来;C++20 要求模块单元必须显式声明自己是模块接口还是实现。最常见错误是把 module; 写在注释后、空行后,或混在预处理指令里——编译器直接拒识。
-
module;必须是翻译单元第一行(跳过空白和注释),否则报错Error: module declaration not at global scope - 接口单元用
export module mylib;,实现单元用module mylib;;名字必须严格一致,大小写敏感 - 导出函数/类需加
export前缀,但export不能修饰局部变量、未命名命名空间内容 - 模块接口文件建议用
.ixx后缀(MSVC)或.cppm(Clang/GCC),避免被传统构建系统当普通源码处理
怎么让模块被其他文件 import
import 不是文本包含,而是编译期符号导入;路径、构建顺序、模块分区(partition)都影响能否成功链接。
- import 语句必须出现在全局作用域,且不能在
#include之后(GCC/Clang 会警告甚至拒绝) - 模块名和文件名无关,靠编译器索引的模块接口单元(BMI)定位;所以先编译
mylib.ixx生成 BMI,再编译 import 它的源文件 - MSVC 需加
/Interface编译选项生成 BMI;Clang 用-x c++-system-header或--precompile;GCC 目前仅实验支持(13+),需-fmodules+-fmodules-ts - 跨模块访问非 export 名字会报
undefined reference,不是编译错而是链接错——说明模块没导出,或 import 写错了名
模块和传统头文件能混用吗
可以,但边界要划清:模块内不能 #include 非模块化头文件后再 export 其内容(除非该头文件本身也模块化了),否则可能触发 ODR 违规或符号重复定义。
- 模块接口单元里允许
#include <vector></vector>等标准库头,但不能export #include "legacy.h"—— 标准库头在模块模式下会被自动模块化(如import <vector></vector>),而 legacy.h 不会 - 若必须复用旧头文件,可新建一个模块接口单元,
#include它并重新export需要的声明(注意只 export 声明,不 export 定义) - 混合项目中,
import和#include的顺序影响宏可见性:#include引入的宏对后续import无效,反之亦然
Clang/GCC/MSVC 模块支持现状差异
别指望“一次编写,到处 import”——三者模块 ABI 不兼容,BMI 文件不能互换,连模块名解析规则都有细微差别。
立即学习“C++免费学习笔记(深入)”;
- MSVC 最成熟,支持模块分区(
module mylib:detail;)、模块映射文件(.mpp),但默认不开启模块,需/experimental:module - Clang 支持较好,但要求显式指定 BMI 输出路径(
-fmodules-cache-path),且import "path/to/file.ixx"这种字符串形式导入仅限 Clang - GCC 模块支持仍属实验阶段(13.2+),不支持模块分区,
import只认模块名,不认路径;且与 CMake 的target_compile_features配合不稳定 - 所有编译器都不支持从动态库导出模块接口——模块目前只用于编译期组织,运行时仍是传统符号导出机制
模块不是语法糖,它是编译模型的重构。哪怕只是改一个 #include 为 import,也要确认编译器版本、构建流程、依赖项是否真正模块就绪。漏掉任何一个环节,报错信息往往指向奇怪的位置,而不是问题根源。