C数组和指针：指向数组元素的等效指针

Question

编辑：之前提出的类似问题没有解决与该问题相关的一些观点。

在Kernighan和Ritchie的ANSI C书中，他们说以下是等价的

• a[i]
• *(a+i)

我不知道如何占用多个地址空间的元素，例如结构。

请解释？ 编辑：谢谢你的所有答案，但我不太明白。 看起来我和@CucumisSativus的答案和评论都有同样的困惑。

假设sizeof（* a）是3.如果由于某种原因我想访问a中第一个元素的中间字节，我原以为这就是我要做的： *(a+1) 。

说的地址， a是10，sizeof运算每个元素是20，说我们想要得到的指针的第二个元素。 在我看来，我们可以这样做：p =（10 + 20）。 我认为这相当于&a[1] 。

我真的很难解释我不理解的东西!!

Answer 1

指针运算的处理方式与C中的常规整数运算不同。将整数i添加到指针p使存储器地址增加i * sizeof(*p) ，即i 型指向的类型的大小 。

作为一个潜在的有趣但实际上无用的旁注：由于p[i]定义为*(p+i) ，表达式i[p]也等同于......

Answer 2

+运算符不是地址空间中的下一个元素 。

增量由所涉及的数据类型的大小定义。 因此， a + 1将参考下int如果a是指向的整数，并且将参考下struct ，如果a是一个指向struct 。

Answer 3

假设我们有一个Integer指针和一个Character指针，如下所示

int * a; char * b;

现在假设a存储在位置10000处并且b存储在位置20000处

所以通过以下操作

*(a+1) : It will return the value contained in address 10004 i.e. (10000+4)
*(b+1) : It will return the value contained in address 20001 i.e. (20000+1)

原因：

指针添加不同于常规算术添加。 如果将1添加到整数指针，则会将指针按整数的大小前进到某个位置。 因此，在这种情况下，它将指针前进到10004.因为字符只有1个字节长，所以它将指针前进1个字节。

Answer 4

a + i在伪代码中被翻译成类似的东西

  *(a+i*sizeof(variableType))

Answer 5

我阅读了更多的K＆R，发现了拼图中缺失的部分，让我能够理解正在发生的事情。 （无论我是否正确，都可以辩论！）

从我收集的内容来看，以下内容无效：

p = (10 + 20)

• 鉴于此，引用： “指针和整数不可互换。零是唯一的例外。”
• 我将其解释为*（a + i） 不执行直接整数运算。
• 我相信这种行为是由表达式中指针的存在决定的。

并再次引用K＆R，并提供给我的问题的其他答案，算术算法的确切行为涉及：

1. 一个指针
2. 一个或多个整数

for（p + n）的定义如下：“ n根据p指向的对象的大小进行缩放，这由p的声明决定 ”。

我意识到是什么原因导致我如此困惑：我过去能够使用printf()输出指针的实际地址值。 我相信这是“未定义的行为”，我正在使用的编译器通过将指针视为整数来处理。

类似地，鉴于上面两个编号的项目符号和使用它们的定义，我认为将两个指针（相同类型）添加在一起会导致未定义的行为，更确切地说，添加两个不同类型的指针。

要获取整数的第n个字节，请参阅此问题 。

K＆R后来补充说以下是合法的指针操作：

• 将一个指针指向另一个指针（相同类型）
• 添加或减去指针和整数
• 从另一个指针中减去一个指针（到同一个数组）
• 比较指针（到同一个数组）
• 分配/比较为0

所有其他指针算法都是非法的。