为什么在 C 中不允许分配给数组？ [复制]

Question

如果我写：

int some_arr[4];
some_arr = {0, 1, 2, 3};

然后我的编译器（在本例中为 GCC）会抱怨我在 { 之前没有表达式。所以我需要使用复合文字，很好：

int some_arr[4];
some_arr = (int[]){0, 1, 2, 3};

现在我们看到我不能给数组赋值。

什么？

我可以用memcpy(some_arr, (int[]){0, 1, 2, 3}, sizeof(int[4])) 之类的东西“规避”这个问题，或者通过一个接一个（或通过循环）分配给some_arr 的每个元素。我无法想象GCC 无法解析我所写的单独分配（一个不关心用户的懒惰编译器甚至可能在预处理器中完成），所以它似乎归结为“标准说不”。那么为什么标准说这个特殊的东西是禁止的？

我不是在寻找标准中的语言说它是不允许的，而是在寻找关于标准的这一部分是如何形成的历史课。

Answer 1

来自 ISO/IEC 9899:1999 关于赋值运算符的约束

§6.5.16 赋值运算符应有一个可修改的左值作为其左操作数。

然后在可修改的左值上

§6.3.2.1 可修改的左值是没有数组类型的左值，确实 没有不完整的类型，没有 const 限定的类型，并且 如果是结构或联合，则没有任何成员（包括， 递归地，所有包含的聚合的任何成员或元素或 unions) 具有 const 限定类型。

为什么不呢？可能是因为数组名称最有可能衰减为指向第一个元素的指针。

---

但是，允许使用结构体进行数组赋值，如下所示：

//gcc 5.4.0

#include  <stdio.h>

struct A
{
    int arr[3];
    int b;
};

struct A foo()
{
    struct A a = {{1, 2, 3},10};
    return a;
}

int main(void)
{
    struct A b = foo();
    for (int i=0; i<3; i++)
          printf("%d\n",b.arr[i]);
    printf("%d\n", b.b);
}

产量

1
2
3
10

Answer 2

tl;dr：

因为 Cdecided 使数组衰减为指针，并且没有为程序员提供避免它的方法。

长答案：

当你写作时

int arr[4];

从那一刻起，每次在动态上下文中使用arr，C 都会认为arr 是&arr[0]，即数组衰减为指针（另请参见here 和here )。

因此：

arr = (int[]){0, 1, 2, 3};

被认为是

&arr[0] = (int[]){0, 1, 2, 3};

无法分配。编译器可以使用memcpy() 实现完整的数组副本，但是C 必须提供一种方法来告诉编译器何时衰减为指针，何时不衰减。

请注意，动态上下文不同于静态上下文。 sizeof(arr) 和 &arr 是在编译时处理的静态上下文，其中 arr 被视为一个数组。

同样，初始化

int arr[4] = {0, 1, 2, 3};

或

int arr[] = {0, 1, 2, 3};

是静态上下文 - 这些初始化发生在程序加载到内存时，甚至在它执行之前。

language in the standard 是：

除非它是 sizeof 运算符或一元 & 运算符的操作数，或者是用于初始化数组的字符串字面量，否则类型为 ''array of type'' 的表达式将转换为类型为 ' 的表达式'pointer to type'' 指向数组对象的初始元素，不是左值。如果数组对象有注册存储类，则行为未定义。

当数组在结构中时，例如

struct s {
    int arr[4];
};
struct s s1, s2;

那么再次使用s1.arr就像&s1.arr[0]一样，不能赋值。

然而，虽然s1 = s2 是动态上下文，但并未引用数组。编译器知道它需要复制整个数组，因为它是结构定义的一部分，并且这个赋值是隐式生成的。例如，如果编译器选择使用memcpy() 来实现结构赋值，则会自动复制数组。