Visual Studio 2022报C4172警告是否为误报？代码写法合规吗？

问题描述 #

以下代码：

#include <execution>
#include <vector>

template<typename T> 
class Index {
public:    
    const std::string& text;
    const std::vector<T>& index;

    decltype(index.begin())& begin() { return index.begin(); } // 无警告
    decltype(index.end())&   end()   { return index.end(); }  // 无警告

    const decltype(index.cbegin())& begin() const { return index.cbegin(); }
    const decltype(index.cend())&   end() const { return index.cend(); }
};

int main()
{
}

在最新版Visual Studio 2022中，每一行包含decltype的代码都会被两次报出警告：

warning C4172: returning address of local variable or temporary

但相同配置下的godbolt却没有此警告，由此产生以下疑问：

• 这属于编译器误报吗？
• 当前代码是否需要修复？
• 我原本想返回const迭代器的const引用，这种写法是否正确？

更新1 #

有意思的是，代码中的非const版本没有被任何编译器警告，但它本质上同样是返回临时副本的引用。

更新2 #

我后来意识到，只需要保留以下两个成员就能满足客户端所有需求：

template<typename T> 
class Index {
public:    
    const std::string& text;
    const std::vector<T>& index;

    decltype(index.begin()) begin() const { return index.begin(); }
    decltype(index.end())   end()   const { return index.end(); }  

};

这个版本完全覆盖需求，之前添加const修饰返回值的引用才触发了警告，现在已经在社区帮助下理解了问题原因。

解答 #

首先明确：VS的警告不是误报，你的原始写法确实存在问题。

核心原因是：index.begin()、index.cbegin()这类调用返回的是临时迭代器对象，不是指向某个已存在对象的引用。当你试图返回这个临时对象的引用时，临时对象会在函数返回后立刻销毁，导致返回的引用变成悬空引用，这属于C++中的未定义行为。

关于非const版本未触发警告的说明 #

这是编译器检测机制的差异导致的漏报，非const版本的写法同样危险——返回临时迭代器的引用和const版本的问题本质完全一致，只是VS没检测出来而已，不代表代码没问题。

正确写法的逻辑 #

你在更新2中给出的代码才是正确的选择：

• 迭代器本身是轻量级对象，拷贝成本极低，完全没必要返回引用。
• 直接返回迭代器对象能彻底避免悬空引用的风险，这也符合C++标准库容器的设计惯例（标准库的begin()/end()都是返回迭代器对象，而非引用）。

你原本想实现的“返回const迭代器的const引用”是个错误思路：const迭代器本身已经是不能修改指向元素的迭代器，返回它的引用没有任何实际价值，反而凭空引入了悬空引用的风险。直接返回const迭代器对象就足以满足需求。

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