C语言数组参数退化为指针的机制与多维数组传递规则

纸上星河

发布时间：2026-10-16| 2人浏览过

原创

C 语言中数组参数在传递给函数时会自动退化为指针，这是出于性能和安全（防止栈溢出）的设计考量。理解这一机制对于正确处理二维及多维数组至关重要，特别是多维数组传参时必须指定除第一维外的所有维度长度。

一、数组参数退化的原因

在 C 语言中，所有参数传递本质上是“值拷贝”。但当向函数传递数组时，编译器不会执行整个数组的内存拷贝，而是将数组名视为常量指针，仅传递数组首元素的地址。

这种设计主要基于两点考虑：

效率优先：如果每次调用都拷贝整个数组，执行效率将大幅下降。
栈空间安全：数组数据通常位于栈上，过大的数组拷贝极易导致栈溢出错误。

二、一维与二维数组的等效形式

数组参数存在“退化”现象，即声明形式不同但语义等价。理解这一点有助于阅读各类开源代码。

第1步：理解一维数组退化规律

一维数组参数可以写成固定大小、空括号或裸指针三种形式，它们在编译器看来是完全一致的：

void f(int a[5]) <=> void f(int a[]) <=> void f(int* a)

第2步：掌握二维数组的特殊性

二维数组在逻辑上可视为一维数组，其每个元素本身又是一个一维数组。因此，二维数组参数必须明确每一行（第二维）的大小，以便编译器计算正确的内存偏移量：

void g(int a[3][3]) <=> void g(int a[][3]) <=> void g(int (*a)[3])

三、常见等价关系速查

原始数组类型	退化为的指针类型
一维数组：`float a[5]`	`float* a`
指针数组：`int* a[5]`	指针的指针：`int** a`
二维数组：`char a[3][4]`	数组的指针：`char (*a)[4]`

四、多维数组传参的核心限制

在实际开发中，很多开发者容易忽视一个重要规则：C 语言无法直接传递任意维度的数组，且无法通过 sizeof 在内部获取完整的数组尺寸。

第1步：理解必须提供维度信息的原理

多维数组的本质是一维数组，只是元素类型是 N-1 维数组。要遍历多维数组，必须进行指针步进运算。由于编译器只认识首元素地址，它需要通过“后续各维的长度”来计算下一层元素的起始位置。因此，除第一维外的维度必须在函数签名中显式写出。

第2步：通过代码实例验证行为

以下代码演示了如何传递二维和三维数组，以及在函数内部使用 sizeof 时的实际结果差异：

#include <stdio.h>

// 接收二维数组：必须指定第二维长度为3
void access(int a[][3], int row)
{
    // 注意：此处sizeof(a)得到的是指针大小(4或8)，而非数组总大小
    printf("sizeof(a) = %d\n", (int)sizeof(a)); 
    // 这里取的是数组的一行(3个int)的大小
    printf("sizeof(*a) = %d\n", (int)sizeof(*a));
    
    int i, j;
    for(i=0; i<row; i++) {
        for(j=0; j<3; j++) { // 必须硬编码或使用传入参数
            printf("%d\n", a[i][j]);
        }
    }
}

// 接收三维数组：必须指定第二维2和第三维3
void access_ex(int b[][2][3], int n)
{
    int i, j, k;
    printf("sizeof(b) = %d\n", (int)sizeof(b)); // 指针大小
    printf("sizeof(*b) = %d\n", (int)sizeof(*b)); // 一个2x3矩阵的大小

    for(i=0; i<n; i++) {
        for(j=0; j<2; j++) {
            for(k=0; k<3; k++) {
                printf("%d\n", b[i][j][k]);
            }
        }
    }
}

int main()
{
    int a[3][3] = {{0, 1, 2}, {3, 4, 5}, {6, 7, 8}};
    int aa[2][2] = {0}; // 维度过大不匹配
    int b[1][2][3] = {0};

    access(a, 3);
    // access(aa, 2); // 编译警告/错误：类型不匹配
    
    access_ex(b, 1);
    // access_ex(aa, 2); // 编译错误
    
    return 0;
}

程序运行后的输出情况如下：