这种条件检查是如何工作的？

Question

我写了一个通过指针反转字符串的函数，代码运行良好，没有错误，但有些事情我想知道。

这是我的代码：

char * xstrrev(char *s1, char *s2){
 register char *p = s1;
 register char *q = s2;
 char *r  = s2;
  do{

     *(s2++) = *(p++); //first copy the string, afterwards, replace it

  }while(*p);
  p--; //to eliminate trailing '\0' while reversing.
  do {
    *(q++) = *(p--); //replace contents by reverse contents,
  }while(*q);
  return r;
}

这里，在倒数第三行， *q 必须有一个值 '\0' ，因为我们之前复制了确切的字符串，所以，'\0' 必须已经复制了。

然而，当我更换我的

*(s2++) = *(p++);

与

p++;

即我只把p加到字符串的末尾，不把字符串复制到s2，条件

而(*q)

仍然有效。在这种情况下，*q 不应该有\0，对吧？那么这个条件是如何起作用的呢？

当我用while(*q!='\0')替换while(*q)时也是一样的

编辑：：它被称为：

char  a[110]= "hello";
char f[116];
xstrrev(a,f); //reverse a and put to f
puts(f);

Answer 1

如果它起作用了，那完全是偶然的。调用者提供的字符串s2 可能在s2 的末尾有\0。但是你不能依赖这个，它取决于调用者如何初始化它传递的字符串。

另一种可能是a之前的内存权利恰好包含\0。如果您有以下情况，可能会发生这种情况：

char something[] = "foo";
char a[110] = "nacan";

something 的内存正好在a 的内存之前，因此something 的尾随空值将在a 的第一个字节之前。

在这种情况下发生的情况是循环复制了这个\0', but it doesn't stop immediately. It keeps on copying until it eventually runs in to a\0in*q. But when you look atf, you just see the reverse ofa`，因为这个空字节被复制了。

如果您想看到这种情况发生，请在调试器中单步执行您的函数。

C 语言无法保证这一切，它只是内存布局通常完成的方式。