C语言动态数组创建后长度获取错误问题解析

你的代码核心问题出在对sizeof运算符的行为、以及C语言指针的语义理解有误：

• sizeof是编译期求值的运算符（仅C99标准的可变长度数组VLA例外），它返回的是操作数自身类型占用的内存空间大小，和操作数指向的内容、指向的内存块大小没有任何关联。
• 代码里的p是int*类型的指针变量，sizeof(p)计算的是指针本身占用的内存大小：32位环境下指针占4字节，64位环境下指针占8字节，永远不会等于你malloc申请的40字节，自然算出来的val不可能是10。

这里要澄清一个常见误区：只有当sizeof的操作数是当前作用域内可见、未退化为指针的原生数组时，才能算出整个数组的总大小，比如写int arr[10]; sizeof(arr)确实能得到40，但只要数组名退化成指针（比如赋值给指针变量、作为函数参数传递），再用sizeof就只能拿到指针本身的长度。动态内存分配返回的从始至终都是指针，不存在数组类型语义，根本无法直接用sizeof计算分配块的长度。

另外要注意：C语言标准没有提供任何可移植的接口，让你能从malloc返回的指针反推当初申请的内存块大小。部分C库的malloc实现会在分配块头部存长度信息，但那是内部实现细节，不对用户程序开放，直接读取属于未定义行为，换系统、换C库就会崩溃。

C语言里动态数组的长度需要开发者自行维护，常用方案有两种：

• 单独用变量存储长度
  申请内存时就把元素个数存在独立的size_t类型变量里，后续使用数组时直接读取这个变量即可，这是最通用、兼容性最好的方案：

  #include <stdio.h>
  #include <stdlib.h>
  
  int main() {
      // 单独定义数组长度
      const size_t elem_count = 10;
      int *p = malloc(sizeof(int) * elem_count);
      // 必须检查malloc返回值，处理分配失败的情况
      if (p == NULL) {
          perror("malloc failed");
          return EXIT_FAILURE;
      }
  
      // 注意：输出size_t类型用标准格式化符%zu，不要用%lu避免跨平台兼容问题
      printf("this array (p) can content %zu elements \n", elem_count);
  
      // 用完释放内存
      free(p);
      p = NULL;
      return EXIT_SUCCESS;
  }
  

• 用结构体封装数组和长度
  如果动态数组需要在多个函数间传递，建议把数组指针、长度、甚至容量（如果需要动态扩容）封装到同一个结构体里，避免长度变量和数组指针脱节：

  typedef struct {
      int *data;
      size_t length;
      // 需要动态扩容的话可以再加capacity字段存已分配的总容量
  } IntArray;
  

  初始化数组时同步给length字段赋值，传递数组时直接传结构体指针即可，不用单独额外传长度参数。

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