MSVC编译器处理C++泛型lambda是否存在bug？附最小复现示例

这是我数小时前发布后删除的问题的后续，现已整理出约10行代码的最小复现示例。以下代码在MSVC中会触发访问违规，但在GCC和Clang中可正常运行：

#include <map>

template <typename T> auto inner = []()
//template <typename T> void inner()
{
    std::map<int, int> x;
    x.clear();  // Will cause an access violation
};

template <typename T> auto outer = []()
//template <typename T> void outer()
{
   inner<T>();
};

int main() 
{ 
    outer<int>();
}

若将泛型lambda替换为标准泛型函数，代码可正常运行。请问我是否存在严重错误？

解答 #

你的代码本身没有违反C++标准的严重问题，这个访问违规大概率是MSVC编译器的实现bug。

C++17支持模板化变量（这里的template <typename T> auto inner = []()就属于这类用法），但MSVC对该特性的处理可能存在疏漏：当模板化lambda嵌套调用时，编译器可能没有正确处理lambda闭包的初始化或内存布局，导致std::map对象的内部状态异常，调用clear()时触发非法内存访问。而换成普通模板函数时，编译器的处理路径更成熟，不会出现这类问题。

你可以采取以下方案：

• 暂时改用标准泛型函数替代模板化lambda，规避该问题；
• 更新到最新版本的MSVC，确认是否已修复该已知bug；
• 向微软开发者社区提交该bug的复现案例，帮助官方修复。

内容的提问来源于stack exchange，提问作者Pascal T.