strstr：使用不同版本的 gcc 时行为不同

Question

我正在将一个适用于 Ubuntu 8.04（gcc 版本 4.2.4）的程序移植到 10.04（gcc 版本 4.4.3）。我有以下代码：

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

int main(void) {
  char p[100] = "////abcd";
  char *t;

  /* Remove duplicate slashes, saving only one of them */
  while (t = strstr(p, "//"))
    strcpy(t, t + 1);

  printf("%s\n", p);

  return 0;
}

结果应该是 /abcd，这是 gcc 4.2.4 中的结果。对于 4.4.3，输出为 /accd。

您能否建议我进行代码更改，以便使用两个版本的 gcc 提供正确的输出，并且最好解释一下这里发生的情况。

提前致谢！

Answer 1

你只是很幸运。

来自 strcpy 文档：

strcpy()函数将s2指向的字符串（包括终止空字节）复制到s1指向的数组中。 如果复制发生在重叠的对象之间，则行为未定义。

在您的情况下，字符串重叠，您的程序将调用未定义的行为。

它曾经有效但不再有效的一个可能原因是 strcpy 可以由 GCC 实现为内置函数，如 memmove （即在这种情况下安全），但是这个出于性能原因更改为非安全版本。 （这纯粹是猜测。）

要修复它，请使用 memmove 而不是 strcpy，类似于：

while (t = strstr(p, "//")) {
  memmove(t, t+1, strlen(t)); // strlen(t)'s bytes worth of data
                              // will cover the string bytes left
                              // and the \0 terminator
}

这不是非常高效，但它可以移植 - memmove 必须处理重叠内存地区。