指针比较在C中如何工作？比较不指向同一数组的指针是否可以？

在K＆R（C编程语言第二版）第5章中，我阅读了以下内容：

首先，可以在某些情况下比较指针。如果p和q指向同一个数组的成员，则关系一样==，!=，<，>=，等正常工作。

这似乎暗示着只能比较指向同一数组的指针。

但是当我尝试这段代码时

char t = 't';
  char *pt = &t;
  char x = 'x';
  char *px = &x;

  printf("%d\n", pt > px);

1 被打印到屏幕上。

首先，我以为我会得到未定义或某种类型或错误的信息，因为pt和px没有指向同一数组（至少在我的理解中）。

同样是pt > px因为两个指针都指向存储在堆栈中的变量，并且堆栈变小，所以的内存地址t大于x？的内存地址。这是为什么pt > px呢？

引入malloc时，我会更加困惑。同样，在K＆R的8.7章中，内容如下：

但是，仍然有一个假设，即sbrk可以有意义地比较指向返回的不同块的指针。该标准不能保证这一点，该标准仅允许在数组内进行指针比较。因此，此版本malloc仅可在通用指针比较有意义的机器之间移植。

将指向堆上分配的空间的指针与指向堆栈变量的指针进行比较，我没有任何问题。

例如，以下代码可以很好地工作并1可以打印：

char t = 't';
 char *pt = &t;
 char *px = malloc(10);
 strcpy(px, pt);
 printf("%d\n", pt > px);

根据对编译器的实验，我被认为可以将任何指针与任何其他指针进行比较，无论它们分别指向何处。而且，我认为两个指针之间的指针算法都很好，无论它们分别指向何处，因为该算法只是使用指针存储的内存地址。

不过，我对在K＆R中阅读的内容感到困惑。

我问的原因是因为我的教授。实际上使它成为一个考试问题。他给出了以下代码：

struct A {
    char *p0;
    char *p1;
};

int main(int argc, char **argv) {
    char a = 0;
    char *b = "W";
    char c[] = [ 'L', 'O', 'L', 0 ];

    struct A p[3];
    p[0].p0 = &a;
    p[1].p0 = b;
    p[2].p0 = c;

    for(int i = 0; i < 3; i++) {
        p[i].p1 = malloc(10);
        strcpy(p[i].p1, p[i].p0);
    }
}

然后问什么

p[0].p0 < p[0].p1
p[1].p0 < p[1].p1
p[2].p0 < p[2].p1

评估为。答案是0，1和0。