为何指针数组跨类型强制转换时程序报不完全类型错误？

原代码的问题 #

原代码中test((int*[])a);的强制转换触发报错，核心原因是：int*[]是未指定大小的数组类型，属于C语言中的「不完全类型」。编译器无法确定该数组的元素数量，无法完成从char*[2]到该类型的转换操作，因此抛出错误：

error cast to incomplete type 'int*[]' test((int*[])a)

为什么函数参数中的int*[]不属于不完全类型？ #

C语言有个特殊规则：函数参数列表里的数组类型会被自动退化（adjust）为指向数组元素的指针。也就是说，函数声明void test(int*[]);会被编译器等价处理为void test(int**);。这里的数组语法只是写法上的便利，实际传递的是指针，不存在数组大小未知的问题，自然不属于不完全类型。

为什么(int**)a能修复错误？ #

char *a[2]在表达式中会自动退化为char**类型，而int**是一个明确的指针类型（完全类型）。将char**强制转换为int**是指针类型之间的转换，编译器可以识别并完成这个操作，因此能通过编译。不过要注意：这种转换仅解决了编译问题，如果在test函数中对传入的指针进行解引用等操作，由于int*和char*的类型语义不同，可能会触发未定义行为，实际使用中需要谨慎。

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