用指针理解操作

Question

我有一个C语言的sn-p代码，如下图：

#include <stdio.h>
#include <string.h>
#include <ctype.h>
int main() {
    char *s="Abhas";
    printf(" s = %s \n", s);
    printf(" s + s[1] = %s \n", s+s[1]);
    printf(" s + s[1] - s[3]= %s \n", s+s[1]-s[3]);
    return 0;
}

输出是：

那么，您能否帮我澄清一下我们如何获得第二个和最后一个输出行。我是 C 的新人。

Answer 1

printf(" s + s[1] = %s \n", s+s[1]);

相当于：

printf(" s + s[1] = %s \n", s+'b');

相当于：

printf(" s + s[1] = %s \n", s+98);

这将访问它不应该访问的内存。该程序表现出未定义的行为。

行：

printf(" s + s[1] - s[3]= %s \n", s+s[1]-s[3]);

相当于：

printf(" s + s[1] - s[3]= %s \n", s+`b'-'a`);

相当于：

printf(" s + s[1] - s[3]= %s \n", s+1);

相当于：

printf(" s + s[1] - s[3]= %s \n", "bhas");

因此输出。

Answer 2

想象一下这样排列的内存：

   | [0] | [1] | [2] | [3] | [4] | [5] | <- indexes
   +-----+-----+-----+-----+-----+-----+
s: |  A  |  b  |  h  |  a  |  s  | nul | <- characters
   |  65 |  98 | 104 |  97 | 115 |   0 | <- integral values (if ASCII)
   +-----+-----+-----+-----+-----+-----+

下面的表达式-地址映射显示了正在发生的事情：

s                                -> s       -> &(s[0])
s + s[1]                         -> s + 98  -> &(s[98])
s + s[1] - s[3]  -> s + 98 - 97  -> s + 1   -> &(s[1])

其中，只有第一个和第三个是合法的，因为它们最终在字符串的范围内。第二个是未定义的。

第一个给你字符串本身的地址，所以你看到Abhas。

第三个给你字符串的第二个字符的地址，所以你看到bhas。

第二个给你一些超出字符串的东西，因此会给你它想要的任何东西。事实上，作为未定义的行为，它可以给你任何东西，什么都没有，崩溃，格式化你的磁盘，通过你的声卡疯狂地笑，甚至崩溃到一个赤裸裸的奇点，带走我们星球的一大块。

---

我当然应该提一下，除了让您了解指针的工作原理之外，该代码应该永远在野外被使用或看到。这是不如何编码的经典示例。