处理C中的指针(有时是C++),我得出了一个有趣的例子:假设我们有一个结构(C结构),如下所示:
struct qwe
{
int someData;
qwe *ptr;
}
以及后来的一些代码:
struct qwe d, *p = &d;
p->someData = 1;
p->ptr = p;
我知道这些指针指向同一个对象,并且基于语言规范中==
的定义,使用此运算符如下:
if (p == p->ptr)
printf("Truen");
将 True 打印到控制台窗口。现在,这没关系,一切都很好,但这两个指针根本不是同一个对象。这里的问题是关于是否有办法检查 POINTER 相等性。现在,我知道我可以做一些事情,例如创建一个指向这些指针的指针,然后将这些新指针与==
进行比较,如下所示
struct qwe** pToPtr_1 = &p;
struct qwe** pToPtr_2 = &(p->ptr);
if (pToPtr_1 == pToPtr_2)
printf("Truen");
,这不会向控制台产生任何输出,但我想知道是否有办法直接比较指针地址。我确实理解这将是无用的(至少基于我目前对 C 编程语言和需求的理解),但我仍然想知道 C(或C++)中是否存在这样的功能。
tl;dr:没有比这更"直接"的方法了;你已经正确地比较了两个指针的恒等式,使用了语言提供的工具。
你问的与其说是平等,不如说是身份。您希望看到两个对象实际上是同一个对象,占用内存中的空间,这与具有相同值的两个单独对象不同。
正如您所说,您可以通过比较指向它们的指针来检查两个对象的标识。您正在比较地址。当地址相同时,它实际上只是一个对象。
同样的方法也适用于指针,指针本身只是对象。您已经在答案中编写了代码来执行此操作:
struct qwe** pToPtr_1 = &p;
struct qwe** pToPtr_2 = &(p->ptr);
if (pToPtr_1 == pToPtr_2)
printf("Truen");
您可以通过避免以下声明来缩短它:
if (&p == &p->ptr)
printf("Truen");
任何变量都可以通过其地址唯一标识。
地址是通过将地址运算符&
应用于变量来计算的。
所以你的示例比较值
p == p->ptr
然后看起来像
&p == &p->ptr
以比较指针实例的相等性。
注意:这种方法不仅限于指针,还可以应用于任何数据类型的变量。