Visual Studio 17.2及以上使用__declspec(dllexport)时出现未定义类错误

问题重现 #

以下代码在Visual Studio 17.1及更低版本可正常编译：

#include <optional>
#include <map>

class __declspec(dllexport) A {
    using M = std::map<int, A>;
    std::optional<M> map_;
};

但在Visual Studio 17.2及更高版本编译失败，报错信息如下：

example.cpp
...utility(330): error C2079: 'std::pair<const int,A>::second' uses undefined class 'A'
...optional(159): note: see reference to class template instantiation 'std::pair<const int,A>' being compiled
...optional(158): note: while compiling class template member function 'void std::_Optional_construct_base<_Ty>::_Construct_from<const _Base&>(_Self) noexcept(<expr>)'
        with
        [
            _Ty=A::M,
            _Base=std::_Optional_construct_base<A::M>,
            _Self=const std::_Optional_construct_base<A::M> &
        ]
Compiler returned: 2

移除__declspec(dllexport)或替换std::optional为boost::optional后，所有VS版本均可正常编译，且C17/C20模式下表现一致。

原因判断 #

这是Visual Studio 17.2及后续版本的标准库实现bug。
当类被标记为__declspec(dllexport)时，编译器会强制提前实例化std::optional内部依赖的模板组件（比如std::pair<const int,A>），但此时类A还未完成完整定义，导致触发“使用未定义类”的编译错误。

• 移除dllexport时，编译器不会触发这种强制提前实例化，模板会延迟到类A完全定义后再实例化，因此编译正常。
• boost::optional的内部实现逻辑不同，不会在类未完全定义时触发依赖模板的实例化，因此不受影响。

可行解决方案 #

• 若导出需求允许，暂时移除类的__declspec(dllexport)标记；
• 改用boost::optional替代标准库的std::optional；
• 调整代码结构，将std::optional<M>替换为指针类型（如std::unique_ptr<M>），避免直接依赖未完全定义类型的模板实例化；
• 向微软官方提交bug反馈，等待官方修复。

内容的提问来源于stack exchange，提问作者αλεχολυτ