使用零大小的非静态数组函数参数是否有效？

问：

根据 ISO C（任何版本），指定零大小的数组参数是否有效？

这个标准似乎模棱两可。虽然很明显零大小的数组是无效的，但数组函数参数很特殊：

C23：：6.7.6.3/6：

将参数声明为“类型数组”应调整为 “限定的指向类型的指针”，其中类型限定符（如果有）是 在数组类型派生的 [ 和 ] 中指定的那些。如果 关键字 static 也出现在数组类型的 [ 和 ] 中 推导，则对于对函数的每次调用，值 相应的实际参数应提供对第一个 元素，其元素数量至少与 size 表达式。

只要不使用 ，指定的 size 就会被有效地忽略。据我了解引用的段落，编译器根本不允许对指针做出任何假设。static[]

所以，下面的代码应该是符合的，对吧？

void h(char *start, char past_end[0]);

#define size 100
void j(void)
{
        char dst[size];
        h(dst, dst+size);
}

我用作指向 one-past-the-end 的哨兵指针（而不是大小;在某些情况下它更舒适）。清楚地告诉人们，这是一个过去的结束，而不是实际的结束，作为一个指针，读者可能会感到困惑。为了清楚起见，结尾将标记为 。past_end[0][0]end[1]

GCC认为它不符合：

$ gcc -Wall -Wextra -Wpedantic -pedantic-errors -std=c17 -S ap.c 
ap.c:1:26: error: ISO C forbids zero-size array ‘past_end’ [-Wpedantic]
    1 | void h(char *start, char past_end[0]);
      |                          ^~~

Clang似乎同意：

$ clang -Wall -Wextra -Wpedantic -pedantic-errors -std=c17 -S ap.c 
ap.c:1:30: warning: zero size arrays are an extension [-Wzero-length-array]
void h(char *start, char past_end[0]);
                                  ^
1 warning generated.

如果我不要求严格的 ISO C，GCC 仍然会发出警告（不同），而 Clang 会放松：

$ cc -Wall -Wextra -S ap.c 
ap.c: In function ‘j’:
ap.c:7:9: warning: ‘h’ accessing 1 byte in a region of size 0 [-Wstringop-overflow=]
    7 |         h(dst, dst+size);
      |         ^~~~~~~~~~~~~~~~
ap.c:7:9: note: referencing argument 2 of type ‘char[0]’
ap.c:1:6: note: in a call to function ‘h’
    1 | void h(char *start, char past_end[0]);
      |      ^
ap.c:7:9: warning: ‘h’ accessing 1 byte in a region of size 0 [-Wstringop-overflow=]
    7 |         h(dst, dst+size);
      |         ^~~~~~~~~~~~~~~~
ap.c:7:9: note: referencing argument 2 of type ‘char[0]’
ap.c:1:6: note: in a call to function ‘h’
    1 | void h(char *start, char past_end[0]);
      |      ^

$ clang -Wall -Wextra -S ap.c 

我向 GCC 报告了此事，但似乎存在分歧：

https://gcc.gnu.org/pipermail/gcc/2022-December/240277.html

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=108036

是否有任何要求来遵守与阵列相同的要求？

此外，如果这被证明是真的，那么以下情况呢？

void f(size_t sz, char arr[sz]);

在严格的 ISO C 模式下，编译器是否有权假设数组始终至少有一个元素，即使我没有使用 ，只是因为我使用了数组语法？如果是这样，那可能是语言的倒退。static