比较指针对象相等性

Comparing pointer object equality

本文关键字:对象 指针 比较      更新时间:2023-10-16

处理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

以比较指针实例的相等性。

注意:这种方法不仅限于指针,还可以应用于任何数据类型的变量。