- html - 出于某种原因,IE8 对我的 Sass 文件中继承的 html5 CSS 不友好?
- JMeter 在响应断言中使用 span 标签的问题
- html - 在 :hover and :active? 上具有不同效果的 CSS 动画
- html - 相对于居中的 html 内容固定的 CSS 重复背景?
在 K&R(C 编程语言第二版)第 5 章中,我读到了以下内容:
First, pointers may be compared under certain circumstances. If
p
andq
point to members of the same array, then relations like==
,!=
,<
,>=
, etc. work properly.
这似乎意味着只能比较指向同一数组的指针。
但是当我尝试这段代码时
char t = 't';
char *pt = &t;
char x = 'x';
char *px = &x;
printf("%d\n", pt > px);
1
打印到屏幕上。
首先,我认为我会得到未定义或某种类型或错误,因为 pt
和px
不指向同一个数组(至少在我看来)。
也是 pt > px
因为两个指针都指向栈上存储的变量,而栈是向下增长的,所以t
的内存地址大于 x
?这就是为什么pt > px
是真的吗?
当引入 malloc 时,我变得更加困惑。在第 8.7 章的 K&R 中也写了以下内容:
There is still one assumption, however, that pointers to different blocks returned by
sbrk
can be meaningfully compared. This is not guaranteed by the standard which permits pointer comparisons only within an array. Thus this version ofmalloc
is portable only among machines for which the general pointer comparison is meaningful.
将指向堆上分配的空间的指针与指向堆栈变量的指针进行比较没有问题。
例如,以下代码运行良好,使用 1
正在打印:
char t = 't';
char *pt = &t;
char *px = malloc(10);
strcpy(px, pt);
printf("%d\n", pt > px);
根据我对编译器的实验,我认为任何指针都可以与任何其他指针进行比较,无论它们单独指向哪里。此外,我认为两个指针之间的指针算术很好,无论它们分别指向哪里,因为算术只是使用指针存储的内存地址。
尽管如此,我对在 K&R 上读到的内容感到困惑。
我问这个问题是因为我的教授。实际上把它变成了一个考试题。他给出了以下代码:
struct A {
char *p0;
char *p1;
};
int main(int argc, char **argv) {
char a = 0;
char *b = "W";
char c[] = [ 'L', 'O', 'L', 0 ];
struct A p[3];
p[0].p0 = &a;
p[1].p0 = b;
p[2].p0 = c;
for(int i = 0; i < 3; i++) {
p[i].p1 = malloc(10);
strcpy(p[i].p1, p[i].p0);
}
}What do these evaluate to:
p[0].p0 < p[0].p1
p[1].p0 < p[1].p1
p[2].p0 < p[2].p1
答案是0
, 1
,和0
.
(我的教授确实在考试中包含了免责声明,即问题适用于 Ubuntu Linux 16.04、64 位版本编程环境)
(编者注:如果允许更多标签,那么最后一部分将保证 x86-64 , linux ,也许 assembly 。如果问题/类的重点是特定的低级操作系统实现细节,而不是比可移植 C.)
最佳答案
根据C11 standard ,关系运算符<
, <=
, >
,和>=
只能用于指向同一数组或结构对象的元素的指针。第 6.5.8p5 节对此进行了详细说明:
When two pointers are compared, the result depends on the relative locations in the address space of the objects pointed to. If two pointers to object types both point to the same object, or both point one past the last element of the same array object, they compare equal. If the objects pointed to are members of the same aggregate object,pointers to structure members declared later compare greater than pointers to members declared earlier in the structure, and pointers to array elements with larger subscript values compare greater than pointers to elements of the same array with lower subscript values. All pointers to members of the same union object compare equal. If the expression P points to an element of an array object and the expression Q points to the last element of the same array object, the pointer expression Q+1 compares greater than P. In all other cases, the behavior is undefined.
请注意,任何不满足此要求的比较都会调用 undefined behavior ,这意味着(除其他外)您不能依赖结果是可重复的。
在您的特定情况下,对于两个局部变量的地址之间以及本地地址和动态地址之间的比较,该操作似乎“有效”,但是结果可能会通过进行看似不相关的更改而改变到您的代码,甚至使用不同的优化设置编译相同的代码。对于未定义的行为,仅仅因为代码可能崩溃或生成错误并不意味着它会。
例如,在 8086 实模式下运行的 x86 处理器具有分段内存模型,使用 16 位段和 16 位偏移量来构建 20 位地址。因此在这种情况下,地址不会完全转换为整数。相等运算符==
和!=
但没有这个限制。它们可以在任意两个指向兼容类型的指针或 NULL 指针之间使用。所以使用==
或!=
在您的两个示例中都会生成有效的 C 代码。
但是,即使有==
和!=
你可能会得到一些意想不到但仍然明确的结果。请参阅Can an equality comparison of unrelated pointers evaluate to true?了解更多详细信息。
关于你的教授给出的考试问题,它做出了一些有缺陷的假设:
如果您要在不满足这些假设的架构和/或编译器上运行此代码,那么您可能会得到截然不同的结果。
此外,这两个示例在调用 strcpy
时也表现出未定义的行为。 ,因为右操作数(在某些情况下)指向单个字符而不是空终止字符串,导致函数读取超出给定变量的范围。
关于c - C 中指针比较如何工作?可以比较不指向同一数组的指针吗?,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/59516485/
我想使用 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
我是一名优秀的程序员,十分优秀!