使用关系运算符比较指针是什么意思？

Question

如果我有两个指针变量 a 和 b，那么使用语句“a

Answer 1

在 C 和 C++ 中，如果您有两个指向同一个数组的指针并希望查看它们的相对顺序，则允许使用关系运算符比较指针（此规则有一个例外，我稍后会提到）。例如，假设p 和q 各自指向数组arr 中间的某个位置，如下所示：

            int arr[9];
            int* p = &arr[1];
            int* q = &arr[4];

    +-----+-----+-----+-----+-----+-----+-----+-----+-----+
arr |     |     |     |     |     |     |     |     |     |
    +-----+-----+-----+-----+-----+-----+-----+-----+-----+
             ^                 ^
             |                 |
             p                 q

在这种情况下，表达式p < q 询问“p 指向的数组中的索引是否低于q 指向的数组中的索引？”在上述情况下，答案是“是的”。如果 p 和 q 颠倒过来，或者如果它们指向完全相同的元素，则答案将是“否”。

C 和 C++ 中的语言标准都说比较不指向同一个数组的指针的结果是未指定的，这在直觉上是有道理的，因为不相关的对象可能几乎随机地分散在内存中，或者是相关的以一种依赖于实现的方式（你的堆栈是向上还是向下？）

对此的一个例外是，您可以将数组末尾的一个对象的指针与数组中的指针进行比较。例如，看看这个设置：

            int arr[9];
            int* p = &arr[1];
            int* q = &arr[9];

    +-----+-----+-----+-----+-----+-----+-----+-----+-----+
arr |     |     |     |     |     |     |     |     |     |
    +-----+-----+-----+-----+-----+-----+-----+-----+-----+
             ^                                              ^
             |                                              |
             p                                              q

这里，q 不指向数组arr。但是，语言规范允许您安全地比较 p 和 q。这就是为什么，例如，您可以在 C++ 中安全地使用这种迭代器风格的循环：

for (int* itr = arr; itr != arr + /* arr's size */; itr++) {
    ...
}