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; 被用于标量。