字符字符串参考上的分段错误

Question

我有一个小的C ++函数，它可以在原处反转字符串：

void reverse1(string& s, int start, int end) {
  if (s.empty()) return;
  char tmp;

  while (start < end) {
    tmp = s[end];
    s[end] = s[start];
    s[start] = tmp;
    ++start;
    --end;
  }
}

此功能工作正常。 但是，当我按以下方式在c中重写它时，我在语句11上遇到了段错误。

  5 void reverse2(char *s, int start, int end) {
  6   if (!s) return;
  7   char tmp;
  8   
  9   while (start < end) {
 10     tmp = s[end];
 11     *(s + end) = *(s + start);
 12     *(s + start) = tmp;
 13     ++start;
 14     --end;
 15   } 
 16 } 

调用该函数的驱动程序：

int main() {
  /* Flavor1 works */
  string a = "hello world2012!";
  reverse1(a, 0, a.length() - 1);

  /* Flavor2 does not - segmentation fault */ 
  char *b = "hello world2012!";
  reverse2(b, 0, strlen(b) - 1);
}

我使用gcc v 4.6.1编译程序。 使用gdb单步执行代码时，程序会在运行时因分段错误而崩溃。

字符字符串s不是const。 有人可以建议这里发生了什么吗？ 我该如何解决此问题。 谢谢。

更新：在字符串文字上调用了reverse2函数。 问题是我试图修改字符串文字。 正如Jim和H2CO3所指出的，这是未定义的行为。

现在，使用字符串文字初始化的字符串对象（a）和字符串文字（b）之间的确切区别是什么？

Answer 1

这取决于您如何调用例程。 如果end是数组的长度（如C中常见的那样），则s[end]不是有效的引用……它是s之外的一个字符。

同样， !s不等于C ++ s.empty ...它测试指针是否为NULL，而不是字符串是否为空-为此，请使用!*s ， !s[0] ， s[0] == '\\0' ， strlen(s) == 0等

字符字符串s不是const。

如果它是字符串文字常量，则无论如何都会失败。 写入这样的字符串是未定义行为。

Answer 2

您可以如下重写代码

void reverse(char *s, int start, int end) {
  if (!s) return;
  char tmp;

  if( end >= strlen(s) )
      end = strlen(s)-1;

  while (start < end) {
    tmp = s[end];
    *(s + end) = *(s + start);
    *(s + start) = tmp;
    ++start;
    --end;
  } 
}