c++20 modules要求module声明必须位于翻译单元首行（跳过空白和注释），且需满足文件位置、语法顺序、构建配置、编译器版本四条件；接口单元用export显式导出，实现单元以module;开头禁用#include，import仅支持模块bmi而非头文件。
直接写 export module 就能导出，但编译器会立刻报错——除非你同时满足四个硬性条件：文件位置、语法顺序、构建配置、编译器版本全对。C++20 Modules 不是“带 export 的头文件”，它要求整个翻译单元从第一行起就进入模块语义域。
module 声明必须在文件最顶行（跳过空白和注释）
常见错误是把 export module math; 写在注释或空行之后，或者混在 #include 后面。编译器会直接拒绝识别，报错 error: module declaration not at global scope。
-
module;或export module xxx;必须是翻译单元中第一个非空、非注释的 token - 不能出现在
#pragma once或#ifndef之后 - 不能和
#include共存于同一模块接口单元（.ixx/.cppm）中 - 推荐用
.ixx后缀（MSVC 默认识别），Clang/GCC 也支持，避免歧义
导出函数/类/命名空间要显式加 export
不加 export 的声明，哪怕写在接口文件里，外部也完全看不到。这不是访问控制问题，而是模块可见性的硬开关。
-
export int add(int a, int b) { return a + b; }—— 函数定义+导出一步到位 -
export namespace math { int add(int, int); }—— 导出整个命名空间，内部所有声明自动导出 -
export class Widget { ... };—— 类声明本身导出，成员函数定义可放在模块实现单元中 - 模板函数必须定义在接口单元中（否则导入时无法实例化），且仍需
export
模块实现单元（.cpp）里不能用 #include，但要用 module 声明归属
实现文件不是“普通 .cpp”，它属于某个模块，所以必须用 module xxx; 开头，且不能包含任何 #include —— 这是很多人栽跟头的地方。
- 实现单元第一行必须是
module math;（名字必须和接口单元完全一致，大小写敏感） - 标准库头文件（如
<iostream></iostream>）仍可用#include，但只能出现在module xxx;之后、函数定义之前 - 不能在实现单元里写
export，那是接口单元的事；也不能重复声明已导出的函数 - 私有辅助函数（如
int helper(int x)）直接写，不加export，外部自然不可见
import 语句必须全局、前置，且不能 import 头文件
import 不是 #include 的替代写法，它只认模块 BMI（Binary Module Interface）。写 import "math.h"; 或 import <vector></vector> 在绝大多数编译器上都非法（除非启用头单元实验特性）。
-
import math;必须出现在#include之前，且不能缩进或包在命名空间里 - 标准库模块目前仅 Clang 和 MSVC 支持
import std;（GCC 仍不完整），别一上来就试这个 - 多个
import没顺序要求，但建议按依赖层级排，方便人眼扫读 - 模块名和文件名无关——
math.ixx可以声明export module calc;，只要构建系统能定位到它
最容易被忽略的是构建配置：CMake 至少要 3.28，且得开 set(CMAKE_CXX_STANDARD 20) 和对应编译器 flag（如 Clang 的 -fmodules）。没配对的构建系统，写得再规范也没用——模块不会生成 BMI，import 就永远找不到目标。
C++免费学习笔记（深入）：立即使用
在学习笔记中，你将探索 C++ 的入门与实战技巧！
