比较指针对象的相等性

Question

处理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("True\n");

将True打印到控制台窗口.现在,这是好的和一切,但这两个指针根本不是同一个对象.这里的问题是关于是否有办法检查POINTER的平等性.现在,我知道我可以做一些事情,创建一个指向这些指针的指针,然后比较这些新指针==,如下所示

struct qwe** pToPtr_1 = &p;
struct qwe** pToPtr_2 = &(p->ptr);
if (pToPtr_1 == pToPtr_2)
    printf("True\n");

,它不会产生任何输出到控制台,但我想知道是否有办法直接比较指针地址.我确实理解这有点无用(至少基于我目前对C编程语言和需求的理解)但我仍然想知道C(或C++)中是否存在这样的特性.

Answer 1

tl;博士:没有更"直接"的做法; 你已经使用语言提供的设施正确地比较了两个指针的身份.

你所询问的并不是身份的平等.您希望看到两个对象在字面上实际上是同一个对象,占用内存中的空间,这与具有相同值的两个单独对象不同.

正如您所说,您可以通过比较指向它们的指针来检查两个对象的身份.你在比较地址.当地址相同时,它实际上只是一个对象.

同样的方法也适用于指针,它们本身就是对象.你已经在你的答案中写了代码来做到这一点:

struct qwe** pToPtr_1 = &p;
struct qwe** pToPtr_2 = &(p->ptr);
if (pToPtr_1 == pToPtr_2)
    printf("True\n");

您可以通过避免声明来缩短它:

if (&p == &p->ptr)
   printf("True\n");

Answer 2

任何变量都可以通过其地址唯一标识.

通过将地址运算符&应用于变量来计算地址.

所以比较这些值的例子

p == p->ptr

然后看起来像

&p == &p->ptr

比较指针实例的相等性.

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