c - 在结构中初始化数组

Question

所以我决定用 C 为微 Controller (如果重要的话是 PIC32)编写我自己的大整数库，但我遇到了一个我不明白的奇怪问题。当代码运行时，big_int_t结构a和b在不同的内存位置，但是a->bytes 和 b->bytes 似乎在同一位置(通过打印它们的指针来确认)。在 b->bytes 中设置值也会更改 a->bytes 中的值。在下面的 main 函数中，打印任一结构的 bytes 数组中的第一个元素显示 41。我做错了什么吗？

#include <stdint.h>
#include <stdio.h>

typedef struct {
  uint8_t size;
  uint8_t *bytes;
} big_int_t;

void big_init(big_int_t *big, uint8_t size) {
  big->size = size;
  uint8_t bytes[size];
  big->bytes = bytes;
  uint8_t i;
  for(i=0;i<big->size;i++) big->bytes[i] = 0;
}

int main() {
  big_int_t a,b;
  big_init(&a,1);
  big_init(&b,1);
  a.bytes[0] = 16;
  b.bytes[0] = 41;
  printf("%d\n",a.bytes[0]);
  printf("%d\n",b.bytes[0]);
}

Answer 1

在 big_init 中，变量 bytes 是一个本地 变量，它会超出范围并在函数返回后消失。存储在big->bytes 中的指针在函数返回时会变成杂散指针，解引用指针会导致undefined behavior。 .

您不能为此使用本地数组，而是需要使用 malloc 动态分配数组:

big->bytes = malloc(sizeof(*big->bytes) * big->size);

但不要忘记在用完后释放内存。