平等与C++ 中数组上使用的赋值运算符

Question

我被布置了一个家庭作业问题，这让我很困惑。问题是：

在 C++ 中，相等测试 == 可能是 应用于数组，但赋值 运算符 = 不能应用于 数组。解释一下原因。

这让我很困惑，因为我的理解是 == 运算符只会比较前两个元素的地址（如果两个数组实际上保存在不同的内存位置，当然会有所不同） 。而 = 运算符，当像 array1 = array2; 使用时，只会导致 array1 指向与 array2 相同的内存位置。

我在这里缺少什么？似乎可以使用任一运算符，但都不会产生这些运算符通常想要的结果。

Answer 1

我的理解是 == 运算符只会比较前两个元素的地址

这是正确的：如果您使用 == 比较两个数组，它将比较数组的地址，因此它会仅当将数组与其自身（或指向相同类型元素的指针）进行比较时，才会产生 true 。请参阅下面的描述了解原因。

= 运算符，使用时类似于 array1 = array2；只会导致 array1 指向与 array2 相同的内存位置。

这是不正确的，因为数组不是指针。 array1 无法指向与 array2 相同的内存位置，因为 array1 不是指针，而是元素数组。

数组是元素的序列。在大多数情况下，数组的名称会隐式转换为指向其初始元素的指针。这就是为什么您可以执行以下操作：

void f(int*);

int data[10];
int* p = data; // this is the same as 'int* p = &data[0];'
f(data);       // this is the same as 'f(&data[0]);'

array1 = array2; 不起作用，因为数组不可分配（主要是出于历史原因；我从未听说过令人信服的技术原因为什么不允许这样做：在 C 中从来没有被允许，并且 C 已经存在了几十年了，在 为什么 C 支持结构体中数组的成员分配，但一般不支持？）。

以下程序将无法编译：

int main() {
    int a[10], b[10];
    a = b;
}

对于“可分配”数组，您可以使用 Boost (boost::array)、C++ TR1 ( std::tr1::array)，或 C++0x (std::array)。它实际上是一个包含数组的类；它可以被复制，并且提供了标准库容器的许多优点以及数组的性能特征以及在需要时将其数据用作数组的能力。