C中的数组上使用的等式和赋值运算符

我被给了一个真的让我困惑的家庭作业问题.问题是:

In C++ the equality test == may be
applied to arrays,but the assignment
operator = cannot be applied to
arrays. Explain why.

这使我感到困惑,因为我的理解是,==运算符只是比较前两个元素的地址(如果两个数组实际上位于单独的存储单元中的话)当然会有所不同).而=运算符,当使用像array1 = array2;只会导致array1指向与array2相同的内存位置.

我在这里缺少什么?似乎可以使用任何一个操作符,但也不会产生这些操作符通常意图的结果.

解决方法

my understanding is that the == operator would just compare the addresses of the first two elements

这是正确的:如果使用==比较两个数组,它将比较数组的地址,因此如果将数组与自身进行比较(或指向同一类型的元素的指针),则它将仅产生true.看到下面的描述为什么.

the = operator,when used like array1 = array2; would just cause array1 to point to the same memory location as array2 does.

这是不正确的,因为数组不是一个指针. 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已经存在了几十年了,有一些讨论这在Why does C support memberwise assignment of arrays within structs but not generally?评论和答案).

以下程序将不会编译:

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

对于“可分配”数组,可以使用Boost(boost :: array),C TR1(std :: tr1 :: array)或C 0x(std :: array)中的数组容器类.它实际上是一个包含数组的类;它可以被复制,它提供了标准库容器的许多好处以及数组的性能特征,并且在需要时可以使用其数据作为数组.

相关文章

/** C+⬑ * 默认成员函数 原来C++类中,有6个默认成员函数: 构造函数 析构函数 拷贝...
#pragma once // 1. 设计一个不能被拷贝的类/* 解析:拷贝只会放生在两个场景中:拷贝构造函数以及赋值运...
C类型转换 C语言:显式和隐式类型转换 隐式类型转化:编译器在编译阶段自动进行,能转就转,不能转就编译...
//异常的概念/*抛出异常后必须要捕获,否则终止程序(到最外层后会交给main管理,main的行为就是终止) try...
#pragma once /*Smart pointer 智能指针;灵巧指针 智能指针三大件//1.RAII//2.像指针一样使用//3.拷贝问...
目录<future>future模板类成员函数:promise类promise的使用例程:packaged_task模板类例程...