c++ - 为什么允许 T() = T()？

Question

我相信表达式 T() 创建了一个右值(按标准)。但是，以下代码可以编译(至少在 gcc4.0 上):

class T {};

int main()
{
    T() = T();
}

我知道从技术上讲这是可能的，因为可以在临时对象上调用成员函数，而上面只是在从第一个 T() 创建的右值临时对象上调用 operator=。

但从概念上讲，这就像为右值分配一个新值。是否有充分的理由允许这样做？

编辑: 我觉得这很奇怪的原因是它在内置类型上是严格禁止的，而在用户定义类型上却是允许的。例如，int(2) = int(3) 不会编译，因为这是“赋值中的无效左值”。

所以我想真正的问题是，这种在语言中内置的有些不一致的行为是有原因的吗？还是出于某种历史原因？ (例如，只允许在右值表达式上调用 const 成员函数在概念上会更合理，但不能这样做，因为这可能会破坏一些现有代码。)

Answer 1

之所以允许这样做，纯粹是因为运算符重载，并且您可能会重载 operator = 来做一些更花哨的事情，比如打印到控制台，或者锁定互斥锁，或者其他任何事情。