未指向同一数组的指针不可相减

不在同一数组中的地址之间没有连续性，未指向同一数组的指针相减往往意味着逻辑错误，也会导致标准未定义的行为。

如果两个指针的值均为同一数组中的元素地址，或该数组末尾元素的下一个地址，则称两个指针指向同一个数组，其差值为相应地址之间的距离，否则其差值不具备正确意义。

示例：

ptrdiff_t d;

int i, j;
d = &j - &i;   // Non-compliant, undefined if overflow

int x[8], y[8];
d = &x[1] - &x[0];   // Compliant, ‘d’ is 1
d = &y[1] - &x[0];   // Non-compliant, undefined if overflow

int* p = &i;
int* q = NULL;
d = p - q;      // Non-compliant