VS2022 C++20模块导出内部链接变量触发E3309：bug还是未定义行为？

问题场景 #

Windows11环境下使用VS2022（已启用最新ISO C++标准与实验模块功能），导出模块内命名空间中的const常量时，IntelliSense触发E3309错误提示：export声明无法导出具有内部链接的名称。但代码实际编译运行完全正常，可输出预期值1000，尝试匿名命名空间、static函数等方案后，错误提示仍未消除。

代码示例 #

employee.ixx #

export module employee;

import std.core;

namespace Records {
    // 触发E3309错误
    export const int DefaultRaiseAndDemeritAmount{ 1'000 };
}

main.cpp #

import std.core;
import employee;

using namespace std;

int main()
{
    auto RaiseModifier = Records::DefaultRaiseAndDemeritAmount;
    // 编译无错误，正常运行并输出1000
    cout << RaiseModifier;
}

问题判定 #

这是IntelliSense的bug，不属于未定义行为。

原因分析 #

根据C++20模块规范，命名空间作用域下的const变量默认具有内部链接，但当它被export关键字导出时，其链接属性会被自动提升为外部链接，这种写法完全符合标准要求。

编译器能够正确识别该逻辑，生成可正常运行的程序；但IntelliSense的静态分析逻辑未正确适配这一标准细节，错误地将导出的const变量判定为仍保留内部链接属性，因此抛出E3309错误提示。

临时修复方案 #

若需要消除IntelliSense的错误提示，可显式为常量添加inline修饰（C++17及以上版本支持），确保其外部链接属性被IntelliSense正确识别：

export module employee;

import std.core;

namespace Records {
    export inline const int DefaultRaiseAndDemeritAmount{ 1'000 };
}

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