如何在C语言中编写函数获取不同作用域数组的大小？

首先明确你给出的arr_length函数的问题：当数组作为函数参数传递时，会自动退化为指向数组首元素的指针——哪怕你写的参数是int arr[]，它本质和int *arr完全等价。这时候sizeof(arr)计算的是指针类型的字节数，而非整个数组的字节数，所以sizeof(arr)/sizeof(int)得到的是指针大小与int大小的比值（比如32位平台是4/4=1，64位平台是8/4=2），根本不是数组的实际长度。

在C语言里，没有办法直接通过一个退化为指针的参数反向获取原数组的大小，想要跨作用域处理数组，通常有以下几种可行方案：

1. 用宏在数组定义的作用域计算大小 #

宏是在预处理阶段展开的，能直接获取数组的实际大小，你可以定义一个通用宏：

#define ARRAY_SIZE(arr) (sizeof(arr) / sizeof((arr)[0]))

使用时在数组所在的作用域计算长度，再把结果传给其他函数：

#include <stdio.h>

#define ARRAY_SIZE(arr) (sizeof(arr) / sizeof((arr)[0]))

void process_array(int arr[], size_t len) {
    printf("数组长度：%zu\n", len);
}

int main() {
    int arr[5];
    size_t arr_len = ARRAY_SIZE(arr);
    process_array(arr, arr_len);
    return 0;
}

这个宏的好处是通用，不管数组元素是什么类型都能正确计算长度。

2. 显式传递数组长度给函数 #

这是最直接的做法，既然函数无法自动获取数组大小，就手动把长度作为参数传递进去：

#include <stdio.h>

void func(int arr[], size_t length) {
    // 这里可以直接使用length操作数组
    for (size_t i = 0; i < length; i++) {
        arr[i] = i;
    }
}

int main() {
    int arr[5];
    // 在main里计算长度后传递
    func(arr, sizeof(arr)/sizeof(int));
    return 0;
}

3. 用C11泛型宏做类型安全检查（可选） #

如果担心误将指针传给宏导致错误，可以用C11的_Generic特性写一个安全版的宏，当传入指针时返回一个无效值（比如(size_t)-1）来提示错误：

#include <stddef.h>

#define ARRAY_SAFE_SIZE(arr) _Generic((arr), \
    int* : (size_t)-1, \
    char* : (size_t)-1, \
    default : sizeof(arr)/sizeof((arr)[0]) \
)

这样如果不小心把指针传给这个宏，会返回一个明显错误的值，方便排查问题。

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