C语言中如何判断传入参数是结构体指针还是结构体数组指针？

在C语言中，const struct struct_name *类型的指针，既可以指向单个struct struct_name实例，也可以指向struct struct_name数组的首元素——因为数组名在传递给函数时会自动退化为指向首元素的指针，两者的类型完全一致，编译器不会做任何区分。要判断实际传入的是什么，只能通过以下几种方式：

• 优先看函数的文档或注释：正规的函数接口都会明确说明参数的用途，包括是单个结构体还是数组，以及数组的长度如何确定（比如是否有额外的长度参数）。
• 检查函数的参数列表：如果函数还有类似size_t element_count这样的参数，基本可以确定传入的是数组，这个参数用来指定数组的元素个数。
• 依赖约定的结束标记：有些场景会在数组末尾设置一个特殊的“哨兵”元素（比如结构体中某个字段设为NULL、0或者其他约定的无效值），你可以通过遍历直到遇到这个标记来确认是数组，就像你这次通过遍历发现是数组的情况。不过这种方式要注意，单个结构体后面如果刚好有符合标记的数据，会导致误判，所以必须是函数设计时明确约定了这种规则才行。
• 查看调用方代码：如果能看到调用func的地方，直接看传入的是&single_struct（单个结构体的地址）还是数组名（比如struct_arr，指向数组首元素），就能直接确定。

需要注意的是：如果没有任何额外的文档、参数或约定，仅从指针本身是无法绝对区分的——单个结构体后面的内存区域可能刚好有其他数据，盲目遍历会导致内存越界，属于未定义行为。

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