MSVC编译报C3774错误：找不到std::partial_ordering的原因咨询

问题现象 #

使用MSVC 17.5.2编译项目时出现错误：error C3774: cannot find 'std::partial_ordering': Please include <compare> header，问题出现的完整阶段如下：

• 初始状态下项目编译完全正常，无任何错误。
• 添加Recent文件模块（recentfile.ixx和recentfile.cpp，属于core模块），当recentfile.ixx内容为以下代码时，项目编译正常：

module;
//inclusion of <filesystem> and <list> headers    
export module recentfiles;

• 将recentfile.ixx最后一行改为export module core:recentfiles;，依旧无编译错误。
• 在core.ixx中引入该子模块，代码如下时触发上述编译错误，且在recentfile.ixx中引入<compare>头文件无法解决问题：

export module core;
export import :recentfiles;
//some other export import

• 仅在core.ixx的全局模块片段中添加<compare>头文件，修改后代码如下，项目恢复正常编译：

module;
#include <compare>
export module core;
export import :recentfiles;
//some other export import

疑问 #

为何必须在core.ixx中引入<compare>头文件？遗漏了哪些C++模块的关键要点？

原因分析 #

这是由C++模块的全局模块片段作用域规则导致的：

1. 全局模块片段（module;语句后的头文件包含）仅对当前模块/子模块的编译单元生效，不同模块（包括同一模块的父子模块）的全局模块片段相互独立，不会共享头文件内容。
2. 当你在core模块中通过export import :recentfiles;将子模块内容导出时，core模块的接口编译上下文需要检查所有导出内容的依赖完整性。此时，子模块依赖的组件（比如<filesystem>中的某些类型）在core模块的上下文中需要std::partial_ordering的定义，但core模块的全局模块片段未包含<compare>，因此触发编译错误。
3. 在recentfile.ixx中添加<compare>无效，是因为子模块的全局模块片段仅能覆盖自身编译单元，无法将依赖传递到父模块的接口上下文。而core作为对外暴露的父模块，必须在自己的全局模块片段中包含所有导出内容所需的头文件，确保任何导入core的代码都能获取到完整的类型定义。

总结来说：父模块的接口上下文需要承担所有导出内容的依赖管理责任，子模块的依赖不会自动向上传递到父模块的接口层面。

内容的提问来源于stack exchange，提问作者macroland