开启C++ Core-Guidelines生命周期检查后出现无效指针警告的原因？

你遇到的是以下代码在Visual Studio 2019开启C++ Core Guidelines生命周期检查后的警告：

std::list<std::string> getKeys(const std::map<std::string, int>& entities)
{
   std::list<std::string> rc;
   for (auto const& el : entities)
   {
      rc.push_back(el.first);
   }
   return rc;
}

收到的警告翻译如下：

Don't dereference a pointer that may be invalid: '&el->first'.
'el.std::pair<const std::string,int>::first' may have been invalidated at line 67* (refers to the for-statement)
（中文含义：不要解引用可能无效的指针：'&el->first'。el的first成员可能在第67行（对应for循环语句）已经失效）

这个警告属于VS2019生命周期检查工具的假阳性误报，你的代码逻辑完全符合C++规范，不存在指针失效问题。
你采用const引用遍历const map的写法完全合法：范围for循环遍历std::map时，el的实际类型是const std::pair<const std::string, int>&，它的生命周期和传入的entities对象完全绑定，整个函数执行过程中entities是const引用，没有任何修改容器的操作，容器元素不可能提前失效，el.first也不存在悬垂的可能。
误报的根因是VS2019的生命周期检查模块在处理std::map迭代器解包为pair引用的场景存在逻辑缺陷，错误推断el.first的生命周期会随迭代器提前释放，才触发了这个不符合实际运行情况的警告。

• 直接忽略该警告即可，代码本身没有安全问题
• 若需要消除警告提示，可以在对应代码行添加临时屏蔽指令：

// 警告编号以你IDE实际提示为准，26486是该类生命周期警告的常见编号
#pragma warning(suppress: 26486)
rc.push_back(el.first);

• 升级到Visual Studio 2022，该误报问题在新版本的静态检查工具中已经被修复。

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