传递const限定的二维指针数组时出现编译器错误

你的核心问题出在数组指针的类型兼容性以及C语言中const限定符的转换规则上，下面逐个拆解：

1. 第一个代码编译失败的原因 #

原数组int* array[2][2]本质是二维数组，每个元素是指向int的指针。当传递给函数时，数组会退化为指针，类型变为int* (*)[2]（指向包含2个int*元素的数组的指针）。

你声明的函数参数int const * const (* const array)[2]拆解后：

• array是不可修改的指针（顶层const，对应“不能修改数组本身”）；
• 它指向的数组中，每个元素是指向const int的不可修改指针（底层const：不能修改指向的整数值；顶层const：不能修改指针本身）。

这里的冲突是：int*（原数组元素类型）和const int* const（函数参数期望的数组元素类型）不是限定兼容类型。C语言中，限定兼容要求两个类型的核心逻辑完全一致，仅允许添加顶层const/volatile限定符。int*是“指向int的指针”，const int*是“指向const int的指针”，二者指向类型不同，不属于限定兼容范畴，因此无法完成隐式转换，触发C2664错误。

2. 第二个代码编译成功的原因 #

函数参数int* const (* const array)[2]的数组元素类型是int* const（指向int的不可修改指针）。这个类型和原数组的int*是限定兼容的——仅添加了顶层const（限制指针本身不可修改），符合C语言隐式转换规则，因此int* (*)[2]可以顺利转换为int* const (* const)[2]，编译通过。

3. 第三个代码编译成功的原因 #

一维数组int* array[2]退化为int**（指向int*的指针），函数参数int const * const (* const array)本质是const int* const* const（指向const int* const的不可修改指针）。

转换合法的原因：

• int*可以隐式转换为const int* const（先添加底层const得到const int*，再添加顶层const限制指针本身）；
• int**转换为const int* const*不会导致const安全问题（无法通过该指针修改指向的指针的指向），因此编译器允许这种隐式转换，代码正常运行。

第一个代码的修复方案 #

如果要严格满足你的需求（不能修改整数值、不能修改指针本身、不能修改数组），可以通过显式强制类型转换完成传参：

void test(int const * const (* const array)[2]) {}

int main()
{
    int* array[2][2];
    test((int const * const (* const)[2])array); // 显式强制转换
}

这种转换是类型安全的，只是给原指针添加了合法的const限定符，不会破坏类型系统的安全性。

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