C语言中传递固定大小数组与传递指针的区别及API设计疑问

你提的这个问题非常接地气，刚好戳中了C语言数组参数设计里一个有点“拧巴”的细节——从语法层面说，int pipefd[2]和int *pipefd在函数参数里确实是等价的，数组会直接退化成指针，编译器也不会真的检查你传递的数组是不是刚好2个元素，就像你测试的func(int array[10])例子，传个4元素数组照样能编译通过。但这种写法绝非毫无意义，它的价值主要体现在这几个方面：

1. 最核心的作用：给API使用者传递直观的语义提示 #

C语言本身没法在函数参数里强制限定数组大小，但写成int pipefd[2]是一种“嵌入式文档”——它直接告诉调用者：这个函数需要你传入一个能容纳2个int的数组，用来存管道的读端和写端文件描述符。

对比你习惯的func(int *array, int len)写法，后者适合数组长度不固定的场景（比如处理任意长度的数据集），但像pipe这种逻辑上固定需要2个元素的API，用[2]的写法更贴合语义：因为长度是API本身的固有属性，不需要调用者额外传递长度参数，调用者看一眼签名就懂该传什么，不用翻文档确认“我到底要准备多大的数组？”。

2. 辅助静态检查工具提前发现问题 #

虽然GCC默认不会检查数组大小不匹配的问题，但如果你开启了更严格的警告选项（比如-Warray-parameter），或者用Clang-Tidy、Cppcheck这类静态分析工具，它们会识别到int array[10]这种参数声明，并检查调用时传递的数组是否符合预期大小，帮你提前揪出潜在bug。

另外，如果你用C99的复合字面量直接传参，比如pipe((int[2]){0})，这种写法也能确保你传递的数组大小完全正确，避免手动定义数组时出错。

3. 进阶用法：用static强化约束（C99+） #

如果你在参数里加上static修饰，比如void func(int array[static 10])，这时候编译器会做更严格的检查：当你传递的数组长度小于10，或者传递的是无法确定大小的指针（比如malloc出来的指针），GCC会直接发出警告。这种写法进一步强化了“这个函数需要至少N个元素的数组”的语义，不过它不是所有编译器都完全支持，但属于更严谨的API设计方式。

回到pipe的例子，它用int pipefd[2]而不是int *pipefd，本质就是用最简洁的方式告诉调用者：“别瞎传，给我一个能装俩int的数组就行”——虽然语法上没法强制，但从代码可读性和维护性来说，这种写法比单纯的指针友好太多了。

备注：内容来源于stack exchange，提问作者First User