c - 什么时候指向同一个对象的指针相等？

Question

对于两个指向同一个对象或函数的指针a和b，在这种情况下C标准保证a == b？当 a 和 b 指向同一个对象时，是否有任何平台可以支持 a != b ？

Answer 1

根据 C 标准(来自 N1548 委员会草案的 6.5.9 相等运算符 — 2010 年 12 月 2 日 ISO/IEC 9899:201x)

6 Two pointers compare equal if and only if both are null pointers, both are pointers to the same object (including a pointer to an object and a subobject at its beginning) or function, both are pointers to one past the last element of the same array object, or one is a pointer to one past the end of one array object and the other is a pointer to the start of a different array object that happens to immediately follow the first array object in the address space.109)