为什么 const return 会阻止：(a1 = a2) = a3？

Question

我不明白为什么将 const 添加到返回类型会阻止 (a1 = a2) = a3，正如第 2 行的评论所说。
谁能帮我解释一下？

// overloaded assignment operator;
// const return prevents: (a1 = a2) = a3
const Array& Array::operator=(const Array& right) {
    if (&right != this) { // avoid self-assignment
       // for Arrays of different sizes, deallocate original
       // left-side Array, then allocate new left-side Array
        if (size != right.size) {
            delete[] ptr; // release space
            size = right.size; // resize this object
            ptr = new int[size]; // create space for Array copy
        }

        for (size_t i{ 0 }; i < size; ++i) {
            ptr[i] = right.ptr[i]; // copy array into object
        }
    }

    return *this; // enables x = y = z, for example
}

Answer 1

评估表达式时：

a1 = a2 = a3

分组是从右到左，所以表达式变成：

a1 = (a2 = a3)
//   ^^^^^^^^^ const, but evaluated first, so ok. 

这很好，因为带括号的表达式产生一个 const 值，可以用作 operator= 的参数。

但是在表达式中：

  (a1 = a2) = a3
//^^^^^^^^^ const, but evaluated first, so assigning to the result is not ok.

括号内的表达式再次产生const 值，但现在您尝试分配给const 值，这是不可能的。