赋值运算符和临时[重复]

Question

我目前正在使用 VS2012，并且期望此代码中的语句 B 失败，因为我们正在将一个 temp 常量传递给 foo 类中的赋值运算符方法。令人惊讶的是，这并没有失败，为什么？声明 A 失败，这很好。为什么语句 B 没有失败？

struct foo
{
    int a;
    foo& operator=(foo& that)
    {
        a=12;
        return *this;
    }
};

int main()
{
    const foo a;
    foo b;
    //b = a;      //statement A
    b = foo();    //Statement B
}

Answer 1

之所以可行，是因为启用了语言扩展的 VC++ 不符合标准，并且允许将非 const 左值引用绑定到临时对象。

在foo中添加默认构造函数后，both GCC and Clang issue an appropriate error message：

main.cpp:18:7: 错误：没有可行的重载'='

  b = foo();    //Statement B
  ~ ^ ~~~~~

main.cpp:6:10: 注意：候选函数不可行：需要一个左值 第一个论点

foo& operator=(foo&)
     ^