c - C 中的 "Abort trap: 6"错误？

Question

我是 C 的初学者，但我在终端上通过 gcc 在 xcode 上运行了这段代码:

#include <stdio.h>
#include <string.h> 
int main(){
    char name[12] = "Roman Mirov"; 
    printf("My name is %s\n", name);
    name[8] = 'k'; 
    printf("My name is %s\n", name);
    char greeting[] = "hello"; 
    printf("%s %s\n", greeting, name);
    strcpy(greeting, "greetings, "); 
    printf("%s%s\n", greeting, name);
    return 0;
}

它输出这个:

My name is Roman Mirov
My name is Roman Mikov
hello Roman Mikov
Abort trap: 6

我的问题是，为什么它会产生错误而不是将最后一行显示为输出“greetings, Roman Mikov”？

Answer 1

在这种情况下，目标 greeting 没有足够的空间来包含 source 的全部内容，因此它是调用 undefined behavior 的越界访问。 .

详细来说，greeting 数组的大小由提供的初始化器的大小决定，

char greeting[] = "hello";

在这种情况下，"hello" 使大小为 6，包括空终止符。

现在，稍后您尝试将更大的字符串放入内存，

strcpy(greeting, "greetings, ");

其中，源的大小为 12 个字节，而目标仅包含 6 个字节。这会导致边界溢出和结果 UB。崩溃(或中止)是 UB 可能的副作用之一。