clang++ 8.0.1 自分配重载警告

Question

请考虑以下代码：

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 语句之外的所有内容来简化代码;同样的问题仍然存在。

Answer 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;在标量上使用。