检测到临时对象的（无意义的）分配

Question

是否有任何编译器选项允许您在尝试分配给临时对象时收到警告？

例子：

struct S {
    S op() { return S(); }
};

int main() {
    S s;
    s.op() = s; // assign to temporary. Wants to warn here.
}

我知道您可以将op 的返回类型声明为const 以防止出现这种情况，但现在我感兴趣的只是编译器选项。

您可以使用任何流行的现代编译器。

Answer 1

编译器可能无法分辨有用的副作用。

编译器会发出警告

int test( S & data );

test( S.op());