GCC诊断信息异常：为何期望const char *[static 8]而非static 1？

先理清楚几个核心点：

• C语言里，函数参数中的数组声明会被自动转换为指针类型。你写的const char *s[static 1]，实际等价于const char **s，这里的static 1是给指针添加的约束——要求传入的指针不能为NULL，且必须指向至少包含1个const char*元素的数组。
• 你使用的是64位环境下的GCC 11.4.0，该环境中const char*类型的大小为8字节。

GCC警告里显示const char *[static 8]，本质是GCC诊断信息的表述瑕疵：

• 检查static N的约束时，GCC会将“至少N个元素”的要求转换为“至少占用N * sizeof(元素类型)字节的有效内存”。对你的代码来说，N=1，元素大小为8字节，因此要求内存至少为8字节。
• 但GCC输出警告信息时，错误地将这个字节数直接当作数组元素的数量来显示，于是就出现了static 8的表述，而非你声明的static 1。

这不是你的代码问题，也不是你对语法的理解错误，纯粹是GCC诊断模块的表述逻辑问题。对比__attribute__((nonnull(1)))的警告就能看出来——这个属性是直接针对空指针的检查，所以警告信息会准确提示需要传入非空指针，不会出现这种混淆。

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