C语言编写返回int数组长度的函数 传参后sizeof失效问题咨询

C语言的数组传参存在隐式退化规则：只要数组名作为实参传给函数，数组类型就会被自动转换成指向首元素的指针，这个过程在函数定义层面是强制生效的——不管形参写成int arr[]还是int* arr，函数内部拿到的arr本质都是一个指针，完全丢失了原数组的长度信息。
你之前能在数组定义处正确算出长度，是因为那个位置的arr是完整的数组类型int[5]，sizeof(arr)计算的是整个数组占用的总内存大小；但进入函数后，arr已经是指针类型，sizeof(arr)计算的是指针本身的长度（64位系统通常为8字节，32位系统为4字节），除以sizeof(arr[0])得到的结果和原数组长度没有任何关系，自然没法正常工作。
而且无论你在形参的方括号里写多大的数字（比如int arr[100]），编译器都会直接忽略这个数字，依旧把形参处理成普通指针，根本不会保留数组的长度信息。

可落地的正确实现方式 #

• 最通用、跨平台无兼容问题的写法：调用方显式传入数组长度
  这也是C语言标准库操作数组的通用传参范式，适用所有数组操作场景。因为函数本身没法获取数组长度，最稳妥的做法就是把长度作为独立参数和数组一起传入：

  // 函数形参同时接收数组指针、已知的数组长度
  int process(int* arr, int arr_len) {
      // 可以直接用传入的arr_len安全遍历数组
      for (int i = 0; i < arr_len; i++) {
          // 数组处理逻辑
      }
  }
  
  // 调用时在数组定义的作用域内计算好长度再传入
  int arr[] = {1,2,3,4,5};
  int len = sizeof(arr) / sizeof(arr[0]);
  process(arr, len);
  

• 简化长度计算的写法：用宏封装计算逻辑，避开函数内的数组退化
  如果不想每次手动写sizeof(arr)/sizeof(arr[0])，可以把计算逻辑封装成预处理器宏——因为宏是在调用点做文本替换，替换发生在数组定义的作用域内，不会触发数组退化：

  // 宏定义，在调用点直接展开为长度计算逻辑
  #define ARRAY_LEN(arr) (sizeof(arr) / sizeof((arr)[0]))
  
  int arr[] = {1,2,3,4,5};
  int length = ARRAY_LEN(arr); // 宏展开后直接计算原数组长度，结果正确
  

  注意这个宏的使用限制：只能直接对定义的数组使用，如果把已经退化成指针的变量传给这个宏，计算结果依然会出错。
• 避免宏误用的优化：给宏加类型校验
  上面的宏如果不小心传入了普通指针，也会算出错误结果，可以搭配C11的_Generic泛型语法加一层编译期校验，当传入的是指针而非数组时直接触发编译报错，从根源上避免踩坑。

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