C语言中数组安全传递方法探讨及相关问题咨询

在C语言中，传递数组时会退化为裸指针，不会附带数组长度信息，相关信息的传递完全依赖程序员手动处理。以下是几种常见实现方案及各自优缺点：

方案一：宏辅助传递长度+指针接收 #

// 仅在数组未退化为指针时有效，传递裸指针会导致结果错误
#define foo(arr) _foo(arr, sizeof arr / sizeof *arr)
// 最直接的方案，但存在安全隐患
void _foo(int *arr, size_t n)
{
    for (size_t i=0; i < n; i++) {
        // 业务代码
    }
}

• 优点：调用时无需手动计算长度，使用简单；函数实现直观易懂。
• 缺点：若传入已退化为指针的变量（如函数内的数组参数、动态分配的指针），sizeof arr计算的是指针大小，会导致长度完全错误，引发内存越界风险。

方案二：哨兵值标记结尾 #

// 若数组未正确准备则非常危险
// 使用和实现简单，但需要哨兵值
void bar(int *arr /* 数组必须以-1结尾 */ ) 
{
    for (size_t i=0; arr[i] != -1; i++) {
        // 业务代码
    }
}

• 优点：调用时无需传递长度，实现和使用都很简洁。
• 缺点：依赖特定哨兵值（如示例中的-1），若数组本身需要包含该值则无法使用；若数组未正确设置哨兵值，会导致循环越界，甚至访问非法内存。

方案三：变长数组(VLA)指针接收（修正原误解） #

// 简化使用方式，但实现仍较繁琐
#define baz(arr) _baz(sizeof arr / sizeof *arr, &arr)
// 仅在固定大小数组场景提供类型安全，变长数组场景无额外安全保障
void _baz(size_t n, int (*pa)[n])
{
    int *arr = *pa;
    for (size_t i=0; i < n; i++) {
        // 业务代码
    }
}

• 原误解修正：曾认为该方案能通过变长数组提供通用类型安全，但实际仅当函数接收固定大小数组时，编译器会检查传入数组的大小是否匹配；如果是变长数组参数，int (*pa)[n]本质仍会退化为指针，无法提供额外安全保障。
• 优点：针对固定大小数组的调用场景，能在编译期检查数组大小，避免传入错误长度。
• 缺点：使用繁琐，依赖宏辅助；变长数组场景下无实际安全增益；部分编译器（如MSVC）对变长数组的支持有限。

补充未提及的方案：结构体封装数组与长度 #

这是工业界常用的安全方案，将数组指针和长度打包到结构体中：

typedef struct {
    int *data;
    size_t len;
} IntArray;

void qux(IntArray arr)
{
    for (size_t i=0; i < arr.len; i++) {
        // 业务代码
    }
}

// 调用示例
int main() {
    int arr[] = {1,2,3,4};
    IntArray wrapper = {.data = arr, .len = sizeof(arr)/sizeof(*arr)};
    qux(wrapper);
    return 0;
}

• 优点：明确传递长度信息，避免单独传递指针和长度时的参数顺序错误；类型安全，编译器能检查结构体类型；适配动态分配的数组（直接将malloc的指针和长度存入结构体即可）。
• 缺点：需要额外定义结构体，调用时需手动封装，稍显繁琐。

针对疑问的解答 #

1. 哪种方法最适合通用场景？
   优先选择方案一（手动传递长度）或结构体封装方案：

   • 小型项目或简单场景用方案一即可，注意栈上数组用宏辅助计算长度，动态分配数组手动传入长度。
   • 大型项目或需要频繁传递数组的场景，结构体封装方案更安全，能避免参数顺序错误、长度传递错误等问题，可读性也更好。

2. 方案三是否属于不良实践？
   不算不良实践，但属于场景受限的方案：仅在需要严格保证固定大小数组匹配的场景（如硬件寄存器数组、固定格式缓冲区）有价值，通用场景下性价比很低，繁琐且无额外安全增益。

3. C23标准的相关变更
   C23并未改变int arr[n]退化为指针的规则，该写法依然等价于int *arr。目前C标准中，只有当函数参数是固定大小数组（如int arr[5]）时，编译器会做有限的类型检查，但本质还是会退化为指针。

4. 个人常用方法
   日常开发中，简单场景用方案一（栈上数组用宏辅助计算长度，动态数组手动传长度）；大型项目或需要频繁传递数组的模块，用结构体封装方案，能有效降低越界风险和参数错误概率。

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