C语言——指针笔记1

今天在做C语言二级选择题练习时，发现了一道选择题的答案有问题，于是自己就运行了一下，果然四个选项都是错误的。但是自己又不明白这道题的正确答案为什么如此，于是研究了一个多小时，感觉自己明白了，但是又担心不对或者以后忘掉，所以做个笔记来记录一下，以便以后参考或者有大佬指出问题，问题可以化简为以下简单代码：

void main()
{
    char s[8] = "abcdef", *p;
    p = s + 3;
    *p-- = *(p-1);
    printf("s = %s\n", s);
    printf("p = %s\n", p);
}

那么输出会是什么呢？

这个结果困扰了我，为什么会这样？于是在内存镜像观察以及单步调试了一个小时后，我觉得我得到了答案。长话短说，原因如下：
首先，先执行以下两段程序

char s[8] = "abcdef", *p;
p = s + 3;

然后，我在内存镜像中得到字符串s中各数组元素地址为：
0x60ff04 0x60ff05 0x60ff06 0x60ff07 0x60ff08 0x60ff09 0x60ff0A 0x60ffB
这其中依次存放着a b c d e f \0 \0 八个元素。
以及指针变量p=0x60ff07，指向了s中的第四个元素也就是s[3]（元素d）
如下图：


接下来，执行这句

*p-- = *(p-1);

对于这一句，它的执行顺序等效如下：
（1）执行“ *p”解引用0x60ff07，将s[3] （元素为d)拿出来准备赋值
（2）执行“ p- -”，使得p=0x60ff06，指向了s[2] (元素为c)
（3）执行“ *(p - 1)”，对p-1=0x60ff05解引用，得到了s[1] (元素为b)
（4）将s[3] = s[1]，赋值结束，此时s=“abcbef”，指针p=0x60ff06
如下图：

以上就是我的一点点理解，我不太确定（1）中对p解引用后是否可以把s[3]晾在那等着后面再给他赋值，还是指针也有缓存区什么的可以让s[3]等着吗？迷迷糊糊，但是目前这样是说得通的，欢迎大家讨论，指出我说的不对的地方。