#include <string.h> -> 中止陷阱：6？

Question

我正在学习 c 编程，但遇到了一些奇怪的事情。

我在搞乱 char 数组/字符串并使用不同的函数。所以我有了这个程序，

#include <stdio.h>
int main(){
    char a[] = {'H','e','y','a','\0'};
    strcat(a,"bro!");
    printf(a);
}

$ gcc -o test.o test.c -Wall
$ ./test.o
Heya bro!
$

按预期工作，但如果我添加

#include <string.h>

一开始，我就明白了

$ gcc -o test.o test.c -Wall
$ ./test.o
Abort: trap 6
$

Answer 1

strcat 尝试追加字符，但数组的大小再次不足以容纳它们给您undefined behavior。（在您的情况下，未定义的行为会导致您看到的错误 - 它可能是万一一切正常。）因为strcat试图写超出数组a。而printf的第一个参数应该是格式说明符，如printf("%s",a);。

char a[] = {'H','e','y','a','\0'};

这里 a 有 5 个元素。数组的大小是5。你需要一个更大的数组。

char a[9] = {'H','e','y','a','\0'};

如果您让数组容纳 9 个字符，那么它会起作用。

Answer 2

当您初始化数组并省略维度时，编译器会根据初始化器的数量推断维度。
所以，这句话：

char a[] = {'H','e','y','a','\0'};

等价于：

char a[5] = {'H','e','y','a','\0'};

strcat() 将源字符串的副本附加到目标字符串。它不检查目标缓冲区是否足够大以包含连接的结果字符串。如果目标不够大，无法容纳连接的结果字符串，则会导致未定义的行为，包括它可能执行不正确（崩溃或静默生成不正确的结果），或者它可能完全按照程序员的意图进行。

您应该指定足够大的缓冲区a 的大小以容纳连接的结果字符串。在您的程序中，源字符串bro! 大小为4。 strcat() 用源字符串的第一个字符覆盖目标null 字符，同时将它们连接起来，并且在形成的新字符串的末尾包含一个空字符。因此，在您的情况下，保存连接的结果字符串所需的最小大小是 9。

将a 声明为：

char a[9] = {'H','e','y','a','\0'};

应该可以正常工作。

正如 David 建议的（在 cmets 中）而不是 9，您可以采用一些合理大小的缓冲区，例如 512 或 1024（例如 a[512] 或 a[1024]）。 它可以帮助您在一定程度上避免问题。但是，您需要注意代码中的缓冲区溢出问题。例如，您可以使用strncat()，它使您可以灵活地指定可以附加到目标字符串中的最大大小。
您可以将要附加的最大字符数指定为 -

(size of destination buffer) - (the length of the destination string) - 1

避免缓冲区溢出。