P1 和 P2 是指向整数的指针，如果 P2>P1 有效，则 P2-P1 有效吗？

问：

可以比较指向类成员变量的指针，结果取决于声明序列。例如，在编译器资源管理器中的此示例是有效的，并返回 true （1）：

struct A {
    int a0 = 1;
    int a1 = 2;
};

consteval int foo()
{
    A a;
    int* p1 = &a.a0;
    int* p2 = &a.a1;
    return p2 > p1;
}

int main()
{
    return foo();
}

因此，人们会期望这将返回指针之间的距离（以 int 对象为单位）。它在运行时确实如此。编译器资源管理器p2-p1

struct A {
    int a0 = 1;
    int a1 = 2;
};

int foo()
{
    A a;
    int* p1 = &a.a0;
    int* p2 = &a.a1;
    return p2 - p1;
}

int main()
{
    return foo();
}

但不是在编译时。GCC、CLANG 和 MSVC 的行为都不同。GCC 编译并返回预期值，CLANG 抱怨 UB，MSVC 编译但返回 4，而不是 1，以字节为单位的距离！编译器资源管理器

CLANG：注意：减去的指针不是同一数组的元素

哪个是正确的？