如何跨父/同级目录导入C++20模块 CMake配置问题排查

现有项目结构如下：

src
  MyModule.cpp
test
  TestMyModule.cpp

需要在TestMyModule.cpp中导入MyModule模块，当前CMake配置存在问题导致导入失败，现有CMakeLists.txt内容：

cmake_minimum_required (VERSION 3.8)

if (CMAKE_VERSION VERSION_GREATER 3.12)
  set_property(TARGET FocusApp PROPERTY CXX_STANDARD 20)
endif()

project ("App")
enable_testing()

add_executable (App "src/EntryPoint.ixx" "src/Time.ixx" )
add_executable(TestTime "src/Time.ixx" "test/TestTime.ixx" )

if((CMAKE_PROJECT_NAME STREQUAL PROJECT_NAME OR MYPROJECT_BUILD_TESTING) AND BUILD_TESTING)
    add_subdirectory(test)
endif()

add_test("testerino" TestTime.exe)

注：配置中的Time.ixx即问题描述中MyModule对应的实际模块文件，解决逻辑通用。

1. 代码层导入写法 #

C++20模块不需要使用传统#include指令导入，直接在TestMyModule.cpp顶部添加模块导入声明即可：

import MyModule;

前置要求：MyModule的模块接口文件顶部必须声明export module MyModule;，所有需要对外暴露的函数、类、变量前必须添加export关键字。如果MyModule.cpp是纯实现文件，需要单独创建.ixx后缀的模块接口文件做导出声明。

2. CMake配置修复 #

现有配置存在3个直接导致模块编译失败的问题：

• C标准配置时机错误：set_property写在project()命令之前，此时FocusApp目标还未创建，C20配置完全不生效。且C++20模块要求CMake版本不低于3.20，低版本CMake对模块的扫描、编译支持存在大量缺陷。
• 目标命名不匹配：配置中为FocusApp目标设置属性，但实际创建的可执行目标为App和TestTime，属性配置完全没有作用到实际编译目标上。
• 重复编译模块文件：同一个模块接口文件Time.ixx被同时加入两个独立可执行目标的编译列表，容易触发模块BMI（模块二进制接口）文件冲突，且没有为.ixx文件标记模块接口属性，部分编译器无法识别该类文件为模块接口单元。

修正后的最小可用配置参考：

# 升级CMake最低版本到3.20，保证C++20模块支持
cmake_minimum_required (VERSION 3.20)
project ("App")

# 全局开启C++20标准，配置放在project命令之后
set(CMAKE_CXX_STANDARD 20)
set(CMAKE_CXX_STANDARD_REQUIRED ON)
# 针对使用的编译器开启模块支持，MSVC需加对应编译选项
if(MSVC)
    add_compile_options(/experimental:module)
endif()

enable_testing()

# 抽离公共模块为独立静态库，避免重复编译
add_library(MyModuleLib STATIC "src/MyModule.ixx" "src/MyModule.cpp")
# 标记.ixx文件为模块接口单元
set_source_files_properties("src/MyModule.ixx" PROPERTIES COMPILE_FLAGS "/interface")

# 主程序链接模块库
add_executable (App "src/EntryPoint.ixx")
target_link_libraries(App PRIVATE MyModuleLib)

# 测试程序链接模块库
add_executable(TestMyModule "test/TestMyModule.cpp")
target_link_libraries(TestMyModule PRIVATE MyModuleLib)

if((CMAKE_PROJECT_NAME STREQUAL PROJECT_NAME OR MYPROJECT_BUILD_TESTING) AND BUILD_TESTING)
    add_subdirectory(test)
endif()

# add_test不要直接写exe后缀，跨平台会失效，用COMMAND参数指定目标
add_test(NAME testerino COMMAND TestMyModule)

3. 最后验证步骤 #

完全删除旧的build构建目录重新生成缓存，旧的编译缓存、残留的BMI文件会导致模块扫描失败；同时确认当前使用的编译器版本支持C++20模块：MSVC 2019 16.8+、GCC 11+、Clang 14+可满足基础模块功能要求。

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