VS2022编译含自定义Cache类的C++模块时触发C1001内部编译器错误

我在使用VS2022 Community（MSVC版本14.44.35207）开发C++20模块项目时，碰到了一个棘手的内部编译器错误：只要项目中保留def模块里的Cache类，编译utils模块就会抛出fatal error C1001；但只要把Cache类注释掉，整个编译流程就能正常完成。下面是详细的问题情况：

编译流程与参数 #

我分三步编译项目中的C++模块，具体命令如下：

# 1. 编译标准库模块
cl /std:c++latest /O2 /Oi /fp:fast /Gy /GL /Gw /EHsc /MD /nologo /openmp:experimental /analyze /c -I"C:\Program Files (x86)\Windows Kits\10\Include\10.0.26100.0\ucrt" -I"C:\Program Files\Microsoft Visual Studio\2022\Community\VC\Tools\MSVC\14.44.35207\include" "C:\Program Files\Microsoft Visual Studio\2022\Community\VC\Tools\MSVC\14.44.35207\modules\std.ixx"

# 2. 编译def模块
cl /std:c++latest /O2 /Oi /fp:fast /Gy /GL /Gw /EHsc /MD /nologo /openmp:experimental /analyze /c /Wall /WX /wd4514 /wd4619 /wd4242 /wd4820 /wd5031 /wd4625 /wd4365 /wd4668 /wd5026 /wd4626 /wd5027 -I"C:\Program Files\boost\boost_1_82_0" -I"C:\Program Files (x86)\Windows Kits\10\Include\10.0.26100.0\shared" -I"C:\Program Files (x86)\Windows Kits\10\Include\10.0.26100.0\ucrt" -I"C:\Program Files\Microsoft Visual Studio\2022\Community\VC\Tools\MSVC\14.44.35207\include" def.ixx

# 3. 编译utils模块（触发错误的步骤）
cl /std:c++latest /O2 /Oi /fp:fast /Gy /GL /Gw /EHsc /MD /nologo /openmp:experimental /analyze /c /Wall /WX -I"C:\Program Files\MATLAB\R2025a\extern\include" -I"C:\Program Files (x86)\Windows Kits\10\Include\10.0.26100.0\ucrt" -I"C:\Program Files\Microsoft Visual Studio\2022\Community\VC\Tools\MSVC\14.44.35207\include" utils.ixx

相关代码片段 #

def.ixx（包含触发错误的Cache类）

module;
#include <boost/serialization/unordered_map.hpp>
#include <boost/serialization/vector.hpp>

export module def;
import std;

export namespace def {
    using dictionary = std::unordered_map<
        std::string, 
        std::variant<double, std::string, bool, std::vector<double>, int, std::size_t>
    >;
    using results = std::unordered_map<std::string, std::vector<double>>;

    class Cache {
    public:
        std::unordered_map<std::string, results> data;
    private:
        friend class boost::serialization::access;
        template <class Archive>
        auto serialize(Archive &ar, const unsigned int version) -> void {
            ar & data;
        }
    };
}

utils.ixx（依赖def模块）

module;
#include <mex.h>

export module utils;
import std;
import def;

export namespace utils {
    inline auto dictionaryToUnorderedMap(const mxArray *dict) -> def::dictionary {
        def::dictionary res;
        // 业务代码已省略
        return res;
    }
}

错误详情 #

编译utils.ixx时，编译器抛出以下错误：

utils.ixx(13): fatal error C1001: Internal compiler error.
(compiler file 'msc1.cpp', line 1589)
To work around this problem, try simplifying or changing the program near the locations listed above.

utils.ixx(13): note: the template instantiation context (the oldest one first) is
utils.ixx(12): note: see reference to class template instantiation 'std::unordered_map<
    std::basic_string<char,std::char_traits<char>,std::allocator<char>>,
    std::variant<double,std::basic_string<char,std::char_traits<char>,std::allocator<char>>,bool,std::vector<double,std::allocator<double>>,int,size_t>,
    std::hash<std::basic_string<char,std::char_traits<char>,std::allocator<char>>>,
    std::equal_to<std::basic_string<char,std::char_traits<char>,std::allocator<char>>>,
    std::allocator<std::pair<const std::basic_string<char,std::char_traits<char>,std::allocator<char>>,
    std::variant<double,std::basic_string<char,std::char_traits<char>,std::allocator<char>>,bool,std::vector<double,std::allocator<double>>,int,size_t>>>
>' being compiled
C:\Program Files\Microsoft Visual Studio\2022\Community\VC\Tools\MSVC\14.44.35207\include\unordered_map(61): note: see reference to class template instantiation 'std::_Hash<std::_Umap_traits<_Kty,_Ty,std::_Uhash_compare<_Kty,_Hasher,_Keyeq>,_Alloc,false>>' being compiled
with [
    _Kty=std::basic_string<char,std::char_traits<char>,std::allocator<char>>,
    _Ty=std::variant<double,std::basic_string<char,std::char_traits<char>,std::allocator<char>>,bool,std::vector<double,std::allocator<double>>,int,size_t>,
    _Hasher=std::hash<std::basic_string<char,std::char_traits<char>,std::allocator<char>>>,
    _Keyeq=std::equal_to<std::basic_string<char,std::char_traits<char>,std::allocator<char>>>,
    _Alloc=std::allocator<std::pair<const std::basic_string<char,std::char_traits<char>,std::allocator<char>>,std::variant<double,std::basic_string<char,std::char_traits<char>,std::allocator<char>>,bool,std::vector<double,std::allocator<double>>,int,size_t>>>
]

分析与临时解决办法 #

C1001本质是编译器内部逻辑出错，和代码语法正确性无关，大概率是MSVC在处理C++模块、Boost序列化模板与复杂容器组合时的bug。我整理了几个亲测有效的临时 workaround：

• 调整编译优化：暂时关闭全程序优化（去掉/GL和/Gw），或者把/O2换成/Od（禁用优化），避开编译器的优化逻辑冲突。
• 简化模板依赖：暂时注释掉Cache类的Boost序列化代码，先完成核心功能编译；或者把serialize模板函数拆到单独的实现文件中。
• 升级VS版本：如果条件允许，把VS2022升级到最新补丁版本——微软通常会在后续更新中修复这类内部编译器错误。
• 替换模块为头文件：临时把Cache类移到普通头文件中，用传统的头文件包含代替模块导入，避开模块系统与模板实例化的冲突。

内容来源于stack exchange