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没有足够的空间来包含源的全部内容，因此它是一个调用undefined behavior的越界访问。

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

char greeting[] = "hello";

在本例中，"hello"使大小为6，包括空终止符。

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

strcpy(greeting, "greetings, ");

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

Answer 2

在此行中，您将分配一个5+1字符数组：

char greeting[] = "hello";

在此行中，您尝试将11+1字符写入该数组：

strcpy(greeting, "greetings, ");

Answer 3

在本例中，greeting变量是大小为6 char的数组(因为hello和\0 )。

因此，当您使用strcpy(greeting, "greetings, ");将"greetings, "复制到greeting中时是不能的。因为greeting不足以包含带有11+1字符的数组

=>在此处出现错误abort trap : 6