两个指针变量之间的差异

Question

我是在笔试中提出这个问题的。在我的lapi上运行下面的代码时，我得到了10作为输出

#include<stdio.h>
int main()
{
  int *i, *j;/* two pointer variable*/
  i = (int *)60;
  j = (int *)20;
  printf("%d \n",i-j);
  return 0;
}

产出：

10 

有人能告诉我为什么输出是10吗？

Answer 1

根据C标准(6.5.6加法操作符)

9当两个指针被减去时，都将指向同一个数组对象的元素，或者指向数组对象的最后一个元素；结果是两个数组元素下标的差异。

所以您的程序有未定义的行为，因为指针没有指向同一个数组的元素。

似乎编译器只是生成一个对象代码，用于减去两个指针，而不管指针是否指向同一个数组的元素(它信任您)。

在这种情况下，根据指针算法，两个指针之间的区别是可以放置在两个指针之间的内存中的元素数。

在您的例子中，sizeof( int )等于4。因此，一个大小为40字节的内存可以容纳int类型的10元素，条件是sizeof( int )等于4。

这个值为10，由printf函数输出。

Answer 2

您正在计算指向int的两个指针之间的差异，即“距离”。sizeof(int)在你的平台上是4。60和20之间的差值为40，即10个ints之间的距离。您的实现似乎只是简单地评估了这种差异。

但是，C标准对两个指针之间的差异的计算施加了限制:两个指针必须指向数组中的元素，或者是结束后的一个元素。如果您能够确保i和j都满足这一要求，那么差异评估是有效的。因为您的代码不一定满足这个条件，所以它可能有未定义的行为，在这种情况下，输出/结果可能是任何东西。

还请注意，这是对非引用i和j的未定义行为，除非它们指向包含int值的有效地址。

Answer 3

只有当两个指针指向同一个(数组)对象(或后面的一个指针)时，C标准才定义两个指针的差异，因此OP的代码调用未定义的行为。结果可能是任何事情。

来自C11标准：

6.5.6/9加法算子 当两个指针被减去时，两个指针都将指向同一个数组对象的元素，或者指向数组对象的最后一个元素；结果是两个数组元素下标的差异。结果的大小是实现定义的，其类型(有符号整数类型)是在ptrdiff_t头中定义的。如果结果在该类型的对象中无法表示，则行为是未定义的。

下列代码是有效的：

#include <stdio.h>

int main()
{
  int a[] = {0, 1, 2, 3, 4, 5, 6, 7, 8, 9};

  int * i = a + 0;
  int * j = a + 10; /* Points "one past the last element" of the array. */

  printf("%td \n", i - j);

  return 0;
}

它还打印10。