由值返回的 C++ 类实例不像右值

Question

前几天我在某些代码中遇到了一个有趣的拼写错误，这导致了漫长而令人沮丧的调试 session ，然后我终于在更早的一行中注意到了流浪字符。问题是我的代码中有一个杂散的“-”，编译器将其转换为对一元 .operator-() 的调用。在代码中多行的成员变量上(在一些中间函数注释块下方)，然后对临时变量执行赋值，该变量保存了 operator-() 的结果调用，我本来打算实际进入成员变量本身。最终结果:就好像任务根本没有被执行，因为它被默默地存储到一个临时文件中。
我已将问题简化为一个最小可行的代码演示，在这里，它不会在现代 gcc 或现代 clang 上生成任何编译警告或错误(但在 MSVC 中未经测试):

#include <stdio.h>

class foo
{
public:

    int x;

    foo(): x(0) {}
    foo( int x_in ): x(x_in) {}
    foo operator-() const { return foo(-x); }
};

int main( int argc, char** argv )
{
    foo a( 10 );
    foo b( 20 );

    a = b;
    printf( "a: %d\n", a.x ); // a: 20

    a = foo( 10 );

    {
    }- // oops

    a = b;  // assigns the value '20' into the temporary storage holding '-a'
    printf( "a: %d\n", a.x ); // a: 10

    return 0;
}

我的感觉是解析后的“-a”应该被视为右值，就像将“a”定义为 int 而不是类一样，并且尝试赋值应该会产生编译错误，但它不会“在实践中似乎没有这样做。
我首先想到如何防范这种情况是将函数签名从 foo operator-() const 更改为至 const foo operator-() const ，所以如果我再次尝试为生成的临时值分配一个值，至少编译器会提示。有没有人在这里有更好的解决方案，或者有没有我应该提防的问题的论点？

Answer 1

if 'a' was defined as an int rather than as a class, and the attempted assignment should generate a compile error

在这种情况下，类类型的行为与内置类型不同，这里允许在临时对象上调用复制赋值运算符。
如您所说，您可以更改 operator- 的返回类型至 const foo .或者您可以 qualify带有左值引用 (C++11 起) 的复制赋值运算符(以及必要时移动赋值运算符)以防止对右值进行赋值。

class foo
{
public:

    int x;

    foo(): x(0) {}
    foo( int x_in ): x(x_in) {}
    foo operator-() const { return foo(-x); }

    foo& operator=(const foo&) & = default;
};