K + R 2.4：分配时的总线错误（Mac OS）[重复]

Question

这个问题在这里已有答案：

• Why does char* cause undefined behaviour while char[] doesn't? 1回答

我目前正在尝试解决K + R书的练习2.4，并遇到了一个奇怪的错误，我无法在其他地方重现。我正在使用：

Apple LLVM version 8.0.0 (clang-800.0.42.1)
Target: x86_64-apple-darwin16.4.0
Thread model: posix
InstalledDir: /Applications/Xcode.app/Contents/Developer/Toolchains/XcodeDefault.xctoolchain/usr/bin

代码是：

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

/*
 * Write an alternate version of `squeeze(s1, s2)' that deletes each 
character
 * in s1 that matches any character in the string s2.
 */

void squeeze(char *s1, const char *s2);

int main(int argc, char **argv) {
  char *tests[] = {"hello", "world", "these", "are", "some", "tests"};
  for (unsigned int i = 0; i < sizeof(tests) / sizeof(tests[0]); i++) {
    printf("'%s' = ", tests[i]);
    squeeze(tests[i], "aeiou");
    printf("'%s'\n", tests[i]);
  }
  return 0;
}

void squeeze(char *s1, const char *s2) {
  const size_t s2len = strlen(s2);
  s1[0] = s1[0];
  unsigned int j = 0;
  for (unsigned int i = 0; s1[i] != '\0'; i++) {
    unsigned int k;
    for (k = 0; k < s2len; k++)
      if (s1[i] == s2[k]) break;
    if (k == s2len)  // we checked every character once, didn't find a bad char
      s1[j++] = s1[i];
  }
  s1[j] = '\0';
}

GDB说：

Thread 2 received signal SIGBUS, Bus error.
0x0000000100000e57 in squeeze (s1=0x100000f78 "hello", s2=0x100000fa1 
"aeiou")
at exercise2-4.c:23
23    s1[0] = s1[0];

该错误最初发生在s1[j++] = s1[i]，但我插入s1[0] = s1[0]来测试它独立于变量，它也发生在那里。显然，我在这里遗漏了一些东西。

我正在与clang -O0 -g -Weverything exercise2-4.c -o exercise2-4进行编译，如果有任何相关性的话。

非常感谢您的时间和对不起，如果此问题已经得到解答，我没有发现任何问题，在这么奇怪的地方发生错误。

Answer 1

您可能无法更改字符串文字。任何更改字符串文字的尝试都会导致未定义的行为。

来自C标准（6.4.5字符串文字）

7如果这些数组的元素具有适当的值，则这些数组是否不同是未指定的。如果程序试图修改此类数组，则行为未定义。

而不是指向字符串文字的指针数组

char *tests[] = {"hello", "world", "these", "are", "some", "tests"};

你应该声明一个二维字符数组。例如

char tests[][6] = {"hello", "world", "these", "are", "some", "tests"};

如果要向其中添加新字符，还必须为数组的每个元素保留足够的空间。