clang++ 8.0.1 自分配重载警告

Posted 2023-02-17

【中文标题】clang++ 8.0.1 自分配重载警告

【英文标题】：clang++ 8.0.1 self-assign-overloaded warnings

【发布时间】：2019-08-25 12:06:32

【问题描述】：

考虑这段代码：

class Vector 
public:
    Vector& operator+=(const Vector &v)  return *this; 
    Vector& operator-=(const Vector &v)  return *this; 
    Vector& operator*=(const Vector &v)  return *this; 
    Vector& operator/=(const Vector &v)  return *this; 
;

int main()

    Vector v;
    v += v;
    v -= v;
    v *= v;
    v /= v;

使用 clang++ 8.0.1 编译时，我收到以下警告：

$ clang++ -Wall example2.cpp -o example2
example2.cpp:13:7: warning: explicitly assigning value of variable of type 'Vector' to
      itself [-Wself-assign-overloaded]
    v -= v;
    ~ ^  ~
example2.cpp:15:7: warning: explicitly assigning value of variable of type 'Vector' to
      itself [-Wself-assign-overloaded]
    v /= v;
    ~ ^  ~
2 warnings generated.

警告试图指出什么问题？为什么operator+=和operator*=没有这样的警告？

编辑：有关动机（或此类自赋值表达式的实际用法），请参阅https://github.com/pybind/pybind11/issues/1893

编辑 2： 我简化了代码，删除了运算符中除了 return 语句之外的所有内容；同样的问题仍然存在。

【问题讨论】：

我报告了一个clang的错误：bugs.llvm.org/show_bug.cgi?id=43124

【参考方案1】：

这是我的猜测：

Clang 识别 对于标量 v -= v 表示 v = 0。

它假定每次使用v -= v 时，它都是v = 0 的一种花哨的说法。

但由于v 是一个重载-= 的类，它会警告您在这种情况下v -= v 可能不等于v = 0。

它对v /= v 做同样的事情，因为它相当于v = 1 用于标量（除非v == 0）。

---

如果我得到了正确的推理，这是一个非常愚蠢的警告，IMO。

我宁愿警告 v -= v; 和 v /= v; 被用于标量。

【讨论】：

好吧，假设所有可能的重载运算符都进行算术运算可能是有意义的。我什至在上次编辑中从我的示例中删除了底层算法，因此编译器甚至无法考虑它......

@JakubKlinkovský 任何数字减去它自己都是 0，每个数字除以它自己都是 1。

@Tony 显然，但我的班级不是数字。 C++ 允许在重载的算术运算符中做任何事情，甚至是非算术运算（我的例子没有做任何事情）。有关使用重载运算符的自赋值表达式的真实非平凡和非算术示例，请参阅问题末尾的链接。