char* s2 在最后一次 strcpy() 调用之后如何以及为什么会发生变化？

Question

这是我几天后在学校要参加的考试中可能会出现的问题之一。在最后一次 strcpy() 调用之后，我无法理解 char* s2 如何从“消息服务”更改为 “ice”。我认为这是指针的某种结果，但这就是我所知道的。

char s1[] = "Short Message Service";
char *s2, *s3;

s2 = strchr(s1, 'M');

s3 = strrchr(s2, 'S');

strncpy(s1 + 1, s2, 1);

strcpy(s1 + 2, s3);  

我尝试调试程序并观察变量和指针的变化，但我仍然不明白最后一次调用如何影响 char *s2。

我希望 s2 的值是“消息服务”，但实际输出结果却是“冰”。不过，我确实了解 s1 和 s3 如何以及为什么会发生变化。

Answer 1

如果我们显示数组，并添加相应的指针，它将看起来像这样：

+-----+-----+-----+------+-----+-----+-----+-----+- -----+-----+-----+-----+------+-----+-----+-----+--- --+-----+-----+-----+------+------+ | 'S' | 'h' | 'o' | 'r' | '不' | ' ' | 'M' | 'e' | 's' | 's' | '一个' | 'g' | 'e' | ' ' | 'S' | 'e' | 'r' | 'v' | '我' | 'c' | 'e' | '\0' | +-----+-----+-----+------+-----+-----+-----+-----+- -----+-----+-----+-----+------+-----+-----+-----+--- --+-----+-----+-----+------+------+ ^ ^ ^ | | | s1 s2 s3

当你修改数组的内容时，指针s2和s3本身并没有改变，它们仍然指向数组中的相同位置。

之后

strncpy(s1 + 1, s2, 1);

数组（带有指针）看起来像

+-----+-----+-----+------+-----+-----+-----+-----+- -----+-----+-----+-----+------+-----+-----+-----+--- --+-----+-----+-----+------+------+ | 'S' | 'M' | 'o' | 'r' | '不' | ' ' | 'M' | 'e' | 's' | 's' | '一个' | 'g' | 'e' | ' ' | 'S' | 'e' | 'r' | 'v' | '我' | 'c' | 'e' | '\0' | +-----+-----+-----+------+-----+-----+-----+-----+- -----+-----+-----+-----+------+-----+-----+-----+--- --+-----+-----+-----+------+------+ ^ ^ ^ | | | s1 s2 s3

s2 指向的单个字符被复制到s1[1]。

然后用

strcpy(s1 + 2, s3);  

数组看起来像

+-----+-----+-----+------+-----+-----+-----+-----+- -----+-----+------+-----+-----+-----+-----+-----+-- ---+-----+-----+-----+------+------+ | 'S' | 'M' | 'S' | 'e' | 'r' | 'v' | '我' | 'c' | 'e' | '\0' | '一个' | 'g' | 'e' | ' ' | 'S' | 'e' | 'r' | 'v' | '我' | 'c' | 'e' | '\0' | +-----+-----+-----+------+-----+-----+-----+-----+- -----+-----+------+-----+-----+-----+-----+-----+-- ---+-----+-----+-----+------+------+ ^ ^ ^ | | | s1 s2 s3

子字符串"Service" 被复制到从s1[2] 开始的部分字符串上。

指针s2 仍然指向同一个位置，但如果我们将s2 视为指向字符串第一个字符的指针，那么它的内容已经改变，因为你已经覆盖了那个内容。