- c - 在位数组中找到第一个零
- linux - Unix 显示有关匹配两种模式之一的文件的信息
- 正则表达式替换多个文件
- linux - 隐藏来自 xtrace 的命令
尽管 C 标准明确承认指向“刚刚过去”一个对象的地址可能偶然比较等于指向“另一个不相关对象”的地址的可能性,但 gcc 和 clang 似乎都在假设下运行观察到的指向刚好经过一个对象的指针不可能指向另一个对象,如示例所示:
#include <stdio.h>
int x[1],y[1];
int test1(int *p)
{
y[0] = 1;
if (p==x+1)
*p = 2; // Note that assignment is to *p and not to x[1] !!!
return y[0];
}
int test2(int *p)
{
x[0] = 1;
if (p==y+1)
*p = 2; // Note that assignment is to *p and not to y[1] !!!
return x[0];
}
int (*volatile test1a)(int *p) = test1;
int (*volatile test2a)(int *p) = test2;
int main(void) {
int q;
printf("%llX\n",(unsigned long long)y - (unsigned long long)x);
q = test1a(y);
printf(">> %d %d\n", y[0], q);
q = test2a(x);
printf(">> %d %d\n", x[0], q);
return 0;
}
根据我对标准的阅读,该程序在标记为 >>>
的行上的有效输出将是 >> 1 1
或 >> 2 2
,但是 ideone 上的 gcc 为其中一行输出 >> 2 1
,据我所知,clang 生成的代码对另一行也同样如此。
我很清楚 p
比较等于 x[1]
这一事实并不意味着后一个表达式可用于访问与 *p
(或任何对象,就此而言),但我不知道标准中没有任何内容会禁止 x+1
的计算,也不会在结果之间进行比较指针和 p
。我也不知道有什么会导致这种比较使 p
无法用于访问其地址所在的对象。
C 标准的任何已发布或草稿版本是否有任何合理的解读,在该标准下,上述代码调用未定义的行为,或者从 test1
和 test2
返回的值> 不需要分别匹配 y[0]
或 x[0]
的最终值,或者 clang 和 gcc 中的优化器是否设计用于处理方言这不是标准的已发布或草稿版本?
PS--来自标准草案N1570 6.5.9p6:
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.
标准并不以任何方式暗示 x[]
必须跟在 y[]
之后,反之亦然,但似乎明确规定了指针的可能性刚好超过 x
的点可能会与 y
进行比较并观察到它们是相等的。
最佳答案
这确实是一个编译器错误。在大多数情况下,当 p == x+i
某些指针的计算结果为 true p
, 数组 x
, 和整数 i
, p
是真的必然指向 x
中的一个元素(或者程序正在执行具有未定义行为的代码,在这种情况下允许编译器假定 p
指向 x
中的元素)。如果p
确实指向了 x
中的一个元素, *p = 2;
是真的无法更改 y[0]
,因此编译器生成返回最近分配给 y[0]
的 1 的代码是正确的.这些线索表明编译器尝试了一种优化,它“学习”了关于 p
的信息。通过比较的真相。
当 x+i
时,此推导失败指向数组末尾之外的一个 x
.在 C 2018 6.5.9 6 中,该标准告诉我们,即使 p
,此比较也可能评估为真。指向一个不同的对象,与x
无关(但这恰好在内存中紧随其后)。编译器的推断应该更有限。鉴于 p+j == x+i
, 其中x
是 n
的数组元素,评估为真的事实仅意味着 p+k
指向 x
的一个元素对于 j
− i
≤ k
< n
+ j
− i
. (在问题的情况下,i
=1,j
=0,k
=0,0−1 ≤ 0 < 1+0−1 失败。)
(请注意,上面提出的标准意味着,对于问题中的情况,p-1
指向 x
的元素,因为 0−1 ≤ −1 < 0 成立,但我们知道 p
点进入 y
并且对于指向 x
无效。但是使用它来访问 p[-1]
具有标准未定义的行为,这意味着允许任何假设,包括 p[-1]
是 x
的元素。因此允许编译器使用该标准。)
关于c - 这个 gcc/clang 过去一个指针比较行为是否符合标准或非标准?,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/55754313/
我想使用 NetworkX Graph 对象作为 Python dict 中的键。但是,我不希望默认的比较行为(即通过对象的地址)。相反,我希望同构图是 dict 中相同元素的键。 此行为是否已在某处
这个问题已经有答案了: What is the most effective way for float and double comparison? (33 个回答) 已关闭 7 年前。 在您认为我
我正在学习 C 编程,为了练习,我找到了一个需要解决的任务。这有点像一个游戏,有人选择一个单词,其他人猜测字母。我必须检查有多少给定的单词可能是所选单词的正确答案。 输入: 3 3//数字 n 和 m
我两天前开始学习C,在做作业时遇到了问题。我们的目的是从字符数组中获取字符列表,并通过计算连续字符并将其替换为数字来缩短它。对“a4b5c5”说“aaaabbbbbccccc”。这是我到目前为止的代码
已关闭。此问题需要 debugging details 。目前不接受答案。 编辑问题以包含 desired behavior, a specific problem or error, and the
为什么我在 if 中的比较不起作用?答案应该是 8 但它返回 0。 function findMissing(missingArray){ var getArray = missing
我想知道为什么以下 JavaScript 比较会给出不同的结果。 (1==true==1) true (2==true==2) false (0==false==0) false (0==false)
我想知道是否有人可以帮助我完成这个程序。编写一个接受两个字符串的函数。该函数应该将这两个字符串与字典顺序上排在第一位的字符串组合起来。两个字符串之间应该有一个空格。在一行上打印结果字符串。在一行上打印
有谁知道一个免费的开源库(实用程序类),它允许您比较一个 Java bean 的两个实例并返回一个属性列表/数组,这两个实例的值不同?请发布一个小样本。 干杯 托马斯 最佳答案 BeanCompara
我是java新手。任何人都可以给出以下类声明的含义 public class ListNode, V> { K key; V value; ListNode next;
我需要用 C 语言计算和比较 3 种不同大小(100 * 100、1000 * 1000 和 10000 * 10000)的 2 个矩阵相乘的执行时间。我编写了以下简单代码来为 1000 * 1000
当我在 ACCESS 2007 中运行以下 SQL 时 Select Location, COUNT(ApartmentBuildings) AS TotalIBuildingsManaged Fro
根据我对互斥锁的了解——它们通常提供对共享资源的锁定功能。因此,如果一个新线程想要访问这个锁定的共享资源——它要么退出,要么必须不断轮询锁(并在等待锁时浪费处理器周期)。 但是,监视器具有条件变量,它
通常在编程中,不应该比较浮点数据类型是否相等,因为存储的值通常是近似值。 由于两个非整数 Oracle NUMBER 值的存储方式不同(以 10 为基数),是否可以可靠地比较它们是否相等? 最佳答案
使用 PowerShell 时,我们偶尔会比较不同类型的对象。一个常见的场景是 $int -eq $bool (即其中 0 -eq $false 、 0 -ne $true 和任何非零值仅等于真,但不
#include #define MAX 1000 void any(char s1[], char s2[], char s3[]); int main() { char string1[
我想比较两个日期。 从这两个日期中,我只使用 ToShortDateString() 获取日期组件, 如下所示。现在的问题是当我比较两个日期时。它的 throw 错误—— "Operator >= c
用户输入一个数字( float 或整数),并且它必须大于下限。 这是从 UITextField 获取数字的代码: NSNumberFormatter * f = [[NSNumberFormatter
我已经摆弄这段代码大约一个小时了,它让我难以置信。我认为解决方案相当简单,但我似乎无法弄清楚。无论如何,这里去。我制作了一个 javascript 函数来检查用户输入的字符,以便它只能接受 7 个字符
我不太明白为什么当我们在不覆盖 equals 的情况下比较具有相同类属性的两个实例时方法,它将给出 false .但它会给出 true当我们比较一个案例类的两个实例时。例如 class A(val
我是一名优秀的程序员,十分优秀!