为何Cppcheck提示自定义C++迭代器返回临时对象引用？

我想要创建一个自定义迭代器，让它在解引用运算符返回对象前对该对象执行一段代码。现有代码能正常运行，但Cppcheck提示我返回了临时对象引用，我搞不懂问题出在哪，请求帮助修复代码。

示例代码 #

class MyCustomIterator : public std::vector<int>::const_iterator {
   public:
      MyCustomIterator(std::vector<int>::const_iterator itr)
         : std::vector<int>::const_iterator(itr) { }
      const int& operator*() const {
         const auto& out = std::vector<int>::const_iterator::operator*();
         std::cout << "value is " << out << std::endl;
         return out;
      }
   };

用法示例 #

std::vector<int> a{1,2,3};
for(MyCustomIterator itr(a.begin());itr != a.end(); ++itr) { cout << (*itr) << " is value" << endl; }

运行结果 #

value is 1
1 is value
value is 2
2 is value
value is 3
3 is value

我是否真的返回了临时对象？如何获取基类解引用运算符的结果，处理后安全返回给自定义类解引用运算符的调用者？

首先，你并没有真的返回临时对象的引用——Cppcheck这里属于误报，但我们可以通过更明确的写法消除这个警告，同时确保代码的安全性。

警告原因 #

Cppcheck无法正确识别std::vector<int>::const_iterator::operator*()的返回值是左值引用，误将out的类型判定为临时对象的引用。实际上，vector<const_iterator>::operator*()返回的是容器中元素的左值引用，out绑定的就是这个引用，其生命周期和容器元素一致，完全安全。

修复方案 #

方案1：显式指定引用类型 #

直接写出out的具体类型，让Cppcheck清晰识别引用关系：

class MyCustomIterator : public std::vector<int>::const_iterator {
   public:
      MyCustomIterator(std::vector<int>::const_iterator itr)
         : std::vector<int>::const_iterator(itr) { }
      const int& operator*() const {
         // 显式指定类型为const int&，消除误判
         const int& out = std::vector<int>::const_iterator::operator*();
         std::cout << "value is " << out << std::endl;
         return out;
      }
};

方案2：直接返回基类结果 #

省去中间变量，先执行逻辑再返回：

const int& operator*() const {
    std::cout << "value is " << std::vector<int>::const_iterator::operator*() << std::endl;
    return std::vector<int>::const_iterator::operator*();
}

两种写法都能安全返回容器元素的引用，同时消除Cppcheck的警告。

安全性验证 #

只要自定义迭代器指向的vector对象在迭代过程中保持有效（比如示例中的a在for循环期间未被销毁或重新分配），返回的引用就不会出现悬空问题，完全符合迭代器的使用规范。

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