c - 为什么这段代码实际上有效？

Question

我已经读过一个有点类似的问题( why this code works in C )，但它实际上并没有解释为什么这段代码实际上有效:

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

typedef struct example
{
    char length[2];
} STRUCT;

int main (void)
{
    STRUCT test;
    strcpy(test.length, "********");
    puts(test.length);
    return 0;
}

我正在使用 CodeBlocks 来编译它，所以我猜它会在我的字符串中分配更多空间来默认存储额外的星号......我真的不知道。也许我只是幸运，但每次我运行它时它都会起作用。

在上面我展示的示例(链接)中，他将 2 个元素放入一个 2 个元素的数组中，这里我使用的空间比字符串可以处理或可以处理的空间多得多。

Answer 1

C 不检查数组边界。正如 Ricky Mutschlechner 在评论中所述，它会导致缓冲区溢出和未定义的行为。