ISO C11标准在哪里规定比较两个不指向同一个数组的指针是未定义的行为？
ISO C11标准在哪里规定，比较两个不指向同一个数组的指针(<、>、<=、=)是未定义的行为？
共有1个答案
C11草案的6.5.8p5很清楚：
当比较两个指针时，结果取决于所指向的对象在地址空间中的相对位置。如果指向对象类型的两个指针都指向同一个对象，或者都指向同一个数组对象的最后一个元素，则它们比较相等。如果指向的对象是同一聚合对象的成员，则指向稍后声明的结构成员的指针比指向结构中先前声明的成员的指针大，指向下标值较大的数组元素的指针比指向下标值较低的同一数组元素的指针大。指向同一union对象成员的所有指针比较相等。如果表达式P指向数组对象的一个元素，而表达式Q指向同一数组对象的最后一个元素，则指针表达式Q+1的比较值大于P。在所有其他情况下，行为是未定义的。
例如，“其他情况”是两个指针指向不同数组的情况。
请注意，关于指针出处的工作仍在进行中，希望未来的标准将清除边缘情况。
-
这段引文包括一个非规范性脚注： 不是数组元素的对象为此被认为属于单元素数组；见8.5.2.1 其中引用了8.5.2.1[expr.unary.op]，讨论了一元运算符：
-
主要内容：关于数组指针的谜题数组（Array）是一系列具有相同类型的数据的集合，每一份数据叫做一个数组元素（Element）。数组中的所有元素在内存中是连续排列的，整个数组占用的是一块内存。以 为例，该数组在内存中的分布如下图所示： 定义数组时，要给出数组名和数组长度，数组名可以认为是一个 指针，它指向数组的第 0 个元素。 在C语言中，我们将第 0 个元素的地址称为数组的首地址。以上面的数组为例，下图是 arr 的指向：
-
考虑以下C程序： null 访问易失性对象、修改对象、修改文件，或者调用执行那些操作中的任何操作的函数都是副作用，它们是执行环境状态的改变。表达式的计算通常包括值计算和副作用的启动。用于lvalue表达式的值计算包括确定指定对象的标识。 Sequenced before是单线程执行的计算之间的非对称、传递、成对关系，它导致这些计算之间的部分顺序。给定任意两个评价A和B，如果A排序在B之前，那么A的
-
我正在学习如何在C中使用并写了以下示例： 问:是否保证在所有情况下指向一个结构的指针都是指向它的第一个元素的完全相同的指针？ 在这种特殊的情况下，它能像我预期的那样工作，但我不确定它是否能得到保证。编译器可以在开始时插入一些填充吗？ 我唯一能找到的关于结构类型布局的是N1570的类型： 结构类型描述了一组按顺序分配的非空成员对象（在某些情况下，还包括一个不完整的数组），每个对象都有一个可选的指定名
-
结果是地址而不是数组。怎么解释？
-
6. 指向指针的指针与指针数组 指针可以指向基本类型，也可以指向复合类型，因此也可以指向另外一个指针变量，称为指向指针的指针。 int i; int *pi = &i; int **ppi = π 这样定义之后，表达式*ppi取pi的值，表达式**ppi取i的值。请读者自己画图理解i、pi、ppi这三个变量之间的关系。 很自然地，也可以定义指向“指向指针的指针”的指针，但是很少用到： int