将数组转换为char*是否意味着字符串的长度有限制？

Question

#include <stdio.h>
#include <string.h>

struct S
{
    int x[1];
};

union U
{
    struct S arr[64];
    char s[256];
};

int main()
{
    union U u;
    strcpy(u.s, "abcdefghijklmnopqrstuvwxyz");
    size_t len = strlen((char*)&u.arr[1].x);
    puts(len > 10 ? "YES" : "NO");
    return 0;
}

Answer 1

是的，GCC 8.1正在使用未定义的行为。在调用strlen时，您可以对大小为1的数组int进行越界访问。

strlen((char*)&u.arr[1].x);

&u.arr[1].x的类型是int(*)[1]。然后，您将其铸为char*。除非用作sizeof的操作数，否则数组的地址与第一个元素的地址具有相同的值。因此，在强制转换之前，它的值为&u.arr[1].x[0]，类型为int[1]。假设sizeof(int)==4，您可以看到，读取超过4个字节会导致越界访问。

大小为1的数组之后是否有有效内存并不重要。如果使用小尺寸的基指针派生指针并从中读取，则行为未定义。