为什么数组不可赋值？ [复制]

据我所知，C 标准禁止使用数组作为可修改的左值，即在赋值的左侧：

int lhs[4], rhs[4] = {0, 1, 2, 3};
lhs = rhs;  /* illegal! */

现在，我一直想知道为什么会这样。我可以看到上面的语句（以及写入数组的任何其他赋值）的定义相当于

memcpy((void *) lhs, (void *) rhs, sizeof(lhs));

并承担确保rhs对用户来说足够大，但尚未决定应该是这种情况。

然而，一个非常相似的例子does工作完美：

struct { int a[4]; } lhs, rhs = {{0, 1, 2, 3, 4}};
lhs = rhs;

只需将数组包装在一个结构体中，我们就可以准确地获得上面描述的行为，即赋值lhs = rhs相当于：

memcpy((void *) &lhs, (void *) &rhs, sizeof(lhs));

这种（我认为）不一致的理由是什么？允许将数组赋值解释为有任何问题吗memcpys?

C 应该是一种低级语言，不会在简单的语法后面隐藏潜在的内存或耗时的任务。一名操作员生成一条装配指令；对于更复杂的东西调用函数。在早期的 C 中，您也无法分配结构，也无法在函数之间传递它们（您将传递指针）。

EDIT:

结构体是一个值。它的大小是静态的并且在编译时已知。一个数组有多个值，并且大多数数组是动态分配/重新分配的。它们的大小在编译时未知，因此编译器不知道要分配和复制多少内存。

int *a, *b;
a = malloc(/* value based on e.g. user input */);
b = a; /* compile this into what? */

为了让它工作，C 必须在内部将数组的大小与指针或指向的数据一起存储。这个决定留给了程序员。