临时 C++ 对象是左值吗？ [复制]

Question

我对以下代码感到困惑，它（令我惊讶的是）编译：

class A {
  int a=0;
};

A returnsA(void)
{
  static A myA;

  return myA;
}

void works(void)
{
  A anotherA;

  returnsA() = anotherA;
}

我在标准或网络上找不到任何暗示它不应该编译的东西。对我来说，这似乎很奇怪。

我猜returnsA() 正在返回一个对象（myA 的副本），因此我们对其调用默认的复制赋值运算符，anotherA 被复制分配给返回的对象，然后超出范围并被销毁。

我期待的行为更像这样，但无法编译：

int returnsint(void)
{
  static int i=0;

  return i;
}

void doesntwork(void)
{
  int anotherint=0;

  returnsint() = anotherint;
}

谁能进一步告诉我这种行为？

Answer 1

对象不是左值或右值。 lvalue 和 rvalue 这两个词是表达式类别。它们对表达式进行分类，而不是对象。

---

对于线路：

returnsA() = anotherA;

由于= 的操作数是类类型，因此会搜索重载的运算符函数。 operator= 的特殊之处在于，如果用户没有显式重载它，则会生成默认重载。该重载是带有签名的成员函数：

A& A::operator=(A const&);

并且调用returnsA() = anotherA; 转换为returnsA().operator=(anotherA);，这是成员运算符重载的基本机制。

表达式returnsA() 具有类别prvalue。但是在纯右值表达式上调用成员函数是完全可以的，所以这里没有问题。

---

如果您想劝阻您的班级不要接受此类作业，请see here。至于为什么默认赋值运算符不能这样工作，see here。