为何C语言在此处需要指针解引用？代码警告与逻辑疑问

触发警告的代码及警告信息 #

warning: incompatible pointer to integer conversion initializing.
'int' with an expression of type 'int *'; dereference with *

#include <stdio.h>
#include <stdlib.h>

#define N 3
typedef struct node {
  int arr[N];
} node;

node *new_node(int arr[N]) {
  node *x = (node *)malloc(sizeof(node));
  *x = (node){arr};
  return x;
}

int main() {
  int arr[N] = {0, 1, 2};
  node *x = new_node(arr);
  for (int i = 0; i < 3; i++)
    printf("%d\n", x->arr[i]);
}

将代码修改为*x = (node){*arr};可消除警告，但程序无法输出预期结果。

正常运行的对比代码 #

#include <stdio.h>
#include <stdlib.h>

#define N 3
typedef struct node {
  int *arr;
} node;

node *new_node(int *arr) {
  node *x = (node *)malloc(sizeof(node));
  *x = (node){arr};
  return x;
}

int main() {
  int arr[N] = {0, 1, 2};
  node *x = new_node(arr);
  for (int i = 0; i < 3; i++)
    printf("%d\n", x->arr[i]);
}

我理解数组传参本质是传递首元素指针，但疑惑为何上述代码无法像这段正常运行的代码一样工作？我未掌握的C语言细节是什么？

核心细节解析 #

1. 结构体成员的本质差异 #

两个结构体的核心区别在于成员的类型：

• 第一个结构体的int arr[N]是固定长度的数组成员，它是结构体的一部分，占据N*sizeof(int)的连续内存空间，不是指针。
• 第二个结构体的int *arr是指针变量，仅占一个指针大小的内存，作用是存储某个内存地址。

2. 聚合初始化的规则（关键） #

当用(node){...}进行结构体初始化时，C语言对不同成员类型的处理逻辑完全不同：

• 对于指针成员：传参时退化成int*的arr可以直接赋值给指针成员，后续通过指针就能访问原数组的元素，这就是第二段代码正常运行的原因。
• 对于数组成员：初始化数组必须用花括号包裹的元素列表（如{0,1,2}），或者同类型的数组变量。但这里的arr是退化成的指针（int*），不是数组类型，所以编译器会把指针当作单个整数，试图给数组的第一个元素赋值，这就触发了“指针转整数不兼容”的警告。

3. 修改后代码失效的原因 #

改成*x = (node){*arr};时，*arr是原数组的首元素（值为0），初始化时只会把结构体数组的第一个元素设为0，剩下的元素会被默认初始化为0，所以输出全是0，不符合预期。

4. 正确的初始化方式 #

要正确初始化包含数组的结构体，需要逐个复制元素或使用内存拷贝：

node *new_node(int arr[N]) {
  node *x = (node *)malloc(sizeof(node));
  // 方式1：逐个赋值
  for (int i = 0; i < N; i++) {
    x->arr[i] = arr[i];
  }
  // 方式2：内存拷贝（更高效）
  // memcpy(x->arr, arr, sizeof(x->arr));
  return x;
}

内容的提问来源于stack exchange，提问作者scribe