Cppcheck报"返回临时对象引用"但代码运行正常，是否为误报？

问题背景 #

以下是实现了乘法运算符重载的最小可复现示例（MWE）：

#include <iostream>

using namespace std;

class A {
public:
  double a;
  
  A &operator*(double b)
  {
        a *= b;
        return *this;
  }
    
  friend A &operator*(double b, A &m) { return m * b; } // (*)
};

int main()
{
    
    A a;
    a.a = 5.0;
    a * 3.0;
    std::cout << a.a << std::endl;
    3.0 * a;
    std::cout << a.a << std::endl;
    return 0;
}

这段代码编译运行正常，输出符合预期，但Cppcheck给出如下警告：

tmp.cpp:15:48: error: Reference to temporary returned. [returnTempReference]
friend A &operator*(double b, A &m) { return m * b; }

将标记为(*)的代码改写为以下形式后，Cppcheck的警告消失：

friend A &operator*(double b, A &m) { m * b; return m; }

请问这是代码存在未被发现的问题，还是Cppcheck的误报？（背景说明：实际代码中类A为矩阵类，为避免与常量相乘时创建新对象，采用返回引用的方式。）

分析结论 #

这是Cppcheck的误报。

具体原因：

• 成员函数operator*(double)的实现是修改当前对象的a值后，返回*this的引用——也就是调用该函数的对象本身的引用，并非临时对象。
• 友元函数中的m * b本质是调用成员A::operator*(double)，得到的是m对象的合法引用，返回这个引用完全符合C++标准，不存在指向临时对象的问题。

Cppcheck的静态分析在这里出现了偏差，错误地将m * b的结果判定为临时对象；而修改后的写法只是把函数调用和返回操作拆分为两步，本质逻辑与原代码完全一致，因此避开了Cppcheck的误判逻辑，警告随之消失。

额外建议 #

需要注意的是，这种通过乘法运算符原地修改原对象的设计，违背了C++开发者的常规语义认知——通常a * b的语义是生成一个新的结果对象，而非修改a本身。如果是矩阵类，这种设计很容易让使用者产生误解，进而引发意外bug。更合理的实现方式是：

• 让operator*返回新对象（而非引用），实现a * b生成新矩阵的常规语义；
• 单独提供operator*=运算符，专门用于原地修改的乘法操作；
• 友元版本的double * A可以调用operator*=后返回原对象引用，或者同样返回新对象，保持语义的一致性。

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