处理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 ++)中是否存在这样的特性。
答案 0 :(得分:7)
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");
答案 1 :(得分:5)
任何变量都可以通过其地址唯一标识。
通过将地址运算符&
应用于变量来计算地址。
所以比较值的例子
p == p->ptr
然后看起来像
&p == &p->ptr
比较指针实例的相等性。
注意:这种方法不仅限于指针,还可以应用于任何数据类型的变量。