为什么我要在函数头中声明C数组参数的大小？

Question

任何人都可以告诉我为什么我应该在函数头中指定C数组参数的大小？例如:

void foo (int iz[6]) { iz[42] = 43; }

附:

int is[2] = {1,2,3};

我们得到一个有用的错误.也许它有助于评论/文档？

Answer 1

任何人都可以告诉我为什么我应该在函数头中指定C数组参数的大小？例如:

void foo(const char sz [6]){sz [42] = 43; }

IMO,你不应该.当您尝试将数组传递给函数时,实际传递的是指向数组开头的指针.由于函数接收的是指针,因此最好将其写为显式:

void foo(char const *sz)

然后,由于现在很清楚该函数没有给出大小的线索,所以将其添加为单独的参数:

void foo(char const *sz, size_t size)

Answer 2

这样做的唯一有意义的原因是出于文档目的 - 告诉未来的用户,函数期望接收至少那么多元素的数组.但即便如此,这也是一个常规问题 - 您必须提前与其他用户达成一致意见.语言(编译器)无论如何都会忽略该大小.您的函数声明等同于void foo(int iz[])和void foo(int *iz).

使编译器有意义的唯一方法是将其声明为

void foo (int iz[static 6])

作为对编译器的承诺,该数组将具有至少6个元素,这意味着编译器将能够使用该假设来优化该代码.此外,如果您真的想采用上面提到的约定,那么static具体地声明数组参数大小更有意义,因为语言显式定义了此构造的语义.

您对"我们得到一个有用的错误"的意思并不清楚.代码

int is[2] = {1,2,3};
is[42] = 42;

不包含任何约束违规.它会产生未定义的行为,但在编译期间不需要生成诊断消息.换句话说,不,我们没有得到任何"有用的错误".

Answer 3

这是一个评论.数组被降级为函数参数中的指针.但是,即使编译器没有读取它们,注释仍然很有用.