64,642
社区成员
发帖
与我相关
我的任务
分享pa==pb，两个指针相等比较的是什么？
#include <stdio.h>
#include <iostream>
#include <string>
#include <vector>
//#include <vld.h>
using namespace std;
class A
{
public:
int a;
};
class B : public A
{
public:
int b;
virtual void func() {}
};
class C : public B
{
public:
int c;
};
void main()
{
C mc;
C *pc = &mc;
B *pb = pc;
A *pa = pc;
printf("%p\n", pc);
printf("%p\n", pb);
printf("%p\n", pa);
if (pc == pa)
printf("pc == pa\n");
if (pb == pc)
printf("pb == pc\n");
if ((void *)pc == (void *)pa)
printf("pc == pa, void\n");
if ((void *)pb == (void *)pc)
printf("pb == pc, void\n");
}
问题是：为什么if(pc == pb) 会判断为真 ？由pb和pc 的printf结果可以看出，它们的值是不同的，为什么这个判断是真呢？
如果强制转换为void *再进行判断，那么比较的结果就是假了。是否 ==运算符 对于这种类型的指针（继承体系下基类和派生类的指针）运算会进行类型隐式转换呢？
ps：从实现角度来看，由于有虚函数，class C所占内存的首部是vptr，然后才是class B的内容，然后才是class C自己的成员。对于class B，其会包含class A。 所以，A *pa = pc; pa的值会比pc要大4（偏移一个vptr的大小）。
...全文
请发表友善的回复…
发表回复
maliang351 2014-08-21
- 打赏
- 举报
Thank you，终于明白了
mymtom 2014-08-21
- 打赏
- 举报
C++里指针的比较不是简单的数值的比较，在比较之前会转换成相同的类型，在有虚函数或者多重继承的情况下，指针类型的转换会带来数值上的不同。
但是都符合标准上的描述：
Pointers of the same type
(after pointer conversions) can be compared for equality. Two pointers of the same type compare equal if
and only if they are both null, both point to the same function, or both represent the same address
这个例子说的挺好！
http://stackoverflow.com/questions/18272909/pointer-values-are-different-but-they-compare-equal-why
但是都符合标准上的描述：
Pointers of the same type
(after pointer conversions) can be compared for equality. Two pointers of the same type compare equal if
and only if they are both null, both point to the same function, or both represent the same address
这个例子说的挺好！
http://stackoverflow.com/questions/18272909/pointer-values-are-different-but-they-compare-equal-why
maliang351 2014-08-21
- 打赏
- 举报
MARK，nice ans！
指针进行 == 和 ！=运算之前要先进行类型转换。
maliang351 2014-08-21
- 打赏
- 举报
问的不是指针的指针，是继承体系下指针比较的问题，如果class B中没有虚函数，那么三个指针pa，pb，pc的值都是一样的，这样if判断无论怎么转换肯定都是真，但是加了虚函数后，pa的值有4字节的偏移，为什么if判断仍然为真？而void*强制转换之后就为假了！[/quote]
为什么pa要有四个字节的偏移？！
都是指向mc对象的首地址，当然一样咯。
所谓的偏移，只是内部的偏移（只关系到数据或者成员的相对位置罢了），关你对象什么事情？[/quote]
错了，不好意思，你是什么编译器？
VS下要进行强制转换，或许隐藏了某些操作使之让它们比较相同？！
转换void的时候因为没有具体类型，所以只是简单的比较指针值。
以上纯属推测。你可以忘这方面考虑或者找看看有没有这方面的资料。[/quote]
开发环境是vs2010
maliang351 2014-08-21
- 打赏
- 举报
问的不是指针的指针，是继承体系下指针比较的问题，如果class B中没有虚函数，那么三个指针pa，pb，pc的值都是一样的，这样if判断无论怎么转换肯定都是真，但是加了虚函数后，pa的值有4字节的偏移，为什么if判断仍然为真？而void*强制转换之后就为假了！[/quote]
为什么pa要有四个字节的偏移？！
都是指向mc对象的首地址，当然一样咯。
所谓的偏移，只是内部的偏移（只关系到数据或者成员的相对位置罢了），关你对象什么事情？[/quote]
怎么会没有偏移？class A是没有虚函数的，如果直接把 &mc的地址赋值过去， pa 首先就指向了vptr，这肯定是非法的，应该是编译器执行了这个偏移动作！
twtiqfn 2014-08-21
- 打赏
- 举报
当然是地址了，两指针指向同一个内存地址
maliang351 2014-08-20
- 打赏
- 举报
问的不是指针的指针，是继承体系下指针比较的问题，如果class B中没有虚函数，那么三个指针pa，pb，pc的值都是一样的，这样if判断无论怎么转换肯定都是真，但是加了虚函数后，pa的值有4字节的偏移，为什么if判断仍然为真？而void*强制转换之后就为假了！
maliang351 2014-08-20
- 打赏
- 举报
不好意思，上面写错了，应该 pa 和 pc的值不一样！！！
wangen12345 2014-08-20
- 打赏
- 举报
指针指向的地址是不是一样的
maliang351 2014-08-20
- 打赏
- 举报
额，这里写错了，if判断要区分的是加不加void *之后的结果，因为class B中有个虚函数，会导致在class C中 A的位置有一个vptr的4字节偏移，所以pa和pc的printf值是不一样，为什么if比较仍然为真？
是不是C++为了和C兼容，比较时加了4字节的偏移？看反汇编时，确实是有 ADD 4 偏移。
赵4老师 2014-08-20
- 打赏
- 举报
仅供参考（第121行）
//假设带表头结点的单向链表头指针为head，试编写一个算法将值为5的结点插入到连接表的第k个结点前，删除第k个节点，并对该链表进行排序。
#include <stdio.h>
#include <stdlib.h>
#include <malloc.h>
#include <time.h>
struct NODE {
int data;
struct NODE *next;
} H,*head,*p,*q,*s1,*s2,*s3,*s4,*s;
int i,j,k,n,t,m;
int main() {
srand(time(NULL));
//填写头节点数据
H.data=-1;
H.next=NULL;
head=&H;
//创建10个节点的单链表
p=head;
for (i=0;i<10;i++) {
q=(struct NODE *)malloc(sizeof(struct NODE));
if (NULL==q) return 1;
q->data=rand()%100;//填写0..99的随机值
q->next=NULL;
p->next=q;
p=q;
}
//输出整个单链表
s=head->next;
while (1) {
if (NULL==s) {
printf("\n");
break;
}
printf("%02d->",s->data);
s=s->next;
}
//将值为5的结点插入到单链表的第k个结点前
k=3;
n=0;
p=head;
while (1) {
if (NULL==p) {
break;
}
n++;
if (k==n) {
q=(struct NODE *)malloc(sizeof(struct NODE));
if (NULL==q) return 1;
q->data=5;
q->next=p->next;
p->next=q;
break;
}
p=p->next;
}
//输出整个单链表
s=head->next;
while (1) {
if (NULL==s) {
printf("\n");
break;
}
printf("%02d->",s->data);
s=s->next;
}
//删除第k个节点
k=5;
n=0;
p=head;
while (1) {
if (NULL==p) {
break;
}
n++;
if (k==n) {
q=p->next;
if (q) {
p->next=q->next;
free(q);
}
break;
}
p=p->next;
}
//输出整个单链表
s=head->next;
while (1) {
if (NULL==s) {
printf("\n");
break;
}
printf("%02d->",s->data);
s=s->next;
}
//从小到大排序
for (p=head;p!=NULL && p->next!=NULL;p=p->next) {
for (q=p->next;q!=NULL && q->next!=NULL;q=q->next) {
if (p->next->data > q->next->data) {
//交换data
// printf("swap %02d %02d\n",p->next->data,q->next->data);
// t=p->next->data;p->next->data=q->next->data;q->next->data=t;
//或者
//交换next
// printf("swap %02d %02d\n",p->next->data,q->next->data);
s1=p->next;
s2=p->next->next;
s3=q->next;
s4=q->next->next;
if (s2!=s3) {
p->next=s3;
s3->next=s2;
q->next=s1;
s1->next=s4;
} else {
p->next=s3;
s3->next=s1;
q=s3;
s1->next=s4;
}
//输出整个单链表
// s=head->next;
// while (1) {
// if (NULL==s) {
// printf("\n");
// break;
// }
// printf("%02d->",s->data);
// s=s->next;
// }
// getchar();
}
}
}
//输出整个单链表
s=head->next;
while (1) {
if (NULL==s) {
printf("\n");
break;
}
printf("%02d->",s->data);
s=s->next;
}
//将单链表中前 m 个结点和后 n 个结点进行互换,m+n为链表总长10
m=4;
n=6;
k=0;
p=head;
while (1) {
if (NULL==p) {
break;
}
k++;
if (m+1==k) {
q=p;
}
s=p;
p=p->next;
}
s1=head->next;
head->next=q->next;
s->next=s1;
q->next=NULL;
//输出整个单链表
s=head->next;
while (1) {
if (NULL==s) {
printf("\n");
break;
}
printf("%02d->",s->data);
s=s->next;
}
//释放所有节点
p=head->next;
while (1) {
if (NULL==p) {
break;
}
q=p->next;
free(p);
p=q;
}
return 0;
}
//18->94->58->17->27->20->43->57->75->78->
//18->94->05->58->17->27->20->43->57->75->78->
//18->94->05->58->27->20->43->57->75->78->
//05->18->20->27->43->57->58->75->78->94->
//43->57->58->75->78->94->05->18->20->27->
//
火头军 2014-08-20
- 打赏
- 举报
指向对象的指针的 == 是对类型的判断，== 比较时会做偏移，只要他们指向同一个实例对象，结果就是相等的
赵4老师 2014-08-20
- 打赏
- 举报
计算机组成原理→DOS命令→汇编语言→C语言（不包括C++）、代码书写规范→数据结构、编译原理、操作系统→计算机网络、数据库原理、正则表达式→其它语言（包括C++）、架构……
对学习编程者的忠告：
眼过千遍不如手过一遍！
书看千行不如手敲一行！
手敲千行不如单步一行！
单步源代码千行不如单步Debug版对应汇编一行！
单步Debug版对应汇编千行不如单步Release版对应汇编一行！
VC调试时按Alt+8、Alt+7、Alt+6和Alt+5,打开汇编窗口、堆栈窗口、内存窗口和寄存器窗口看每句C对应的汇编、单步执行并观察相应堆栈、内存和寄存器变化，这样过一遍不就啥都明白了吗。
对VC来说，所谓‘调试时’就是编译连接通过以后，按F10或F11键单步执行一步以后的时候，或者在某行按F9设了断点后按F5执行停在该断点处的时候。
（Turbo C或Borland C用Turbo Debugger调试,Linux或Unix下用GDB调试时,看每句C对应的汇编并单步执行观察相应内存和寄存器变化。）
想要从本质上理解C指针，必须学习汇编以及C和汇编的对应关系。
从汇编的角度理解和学习C语言的指针，原本看似复杂的东西就会变得非常简单！
指针即地址。“地址又是啥？”“只能从汇编语言和计算机组成原理的角度去解释了。”
但我又不得不承认：
有那么些人喜欢或者适合用“先具体再抽象”的方法学习和理解复杂事物；
而另一些人喜欢或者适合用“先抽象再具体”的方法学习和理解复杂事物。
而我本人属前者。
不要企图依赖输出指针相关表达式...的值【比如printf("%p\n",...);】来理解指针的本质，
而要依赖调试时的反汇编窗口中的C/C++代码【比如void *p=(void *)(...);】及其对应汇编指令以及内存窗口中的内存地址和内存值来理解指针的本质。
这辈子不看内存地址和内存值；只画链表、指针示意图，画堆栈示意图，画各种示意图，甚至自己没画过而只看过书上的图……能从本质上理解指针、理解函数参数传递吗？本人深表怀疑！
这辈子不种麦不收麦不将麦粒拿去磨面；只吃馒头、吃面条、吃面包、……甚至从没看过别人怎么蒸馒头，压面条，烤面包，……能从本质上理解面粉、理解面食吗？本人深表怀疑！！
提醒：
“学习用汇编语言写程序”
和
“VC调试(TC或BC用TD调试)时按Alt+8、Alt+7、Alt+6和Alt+5,打开汇编窗口、堆栈窗口、内存窗口和寄存器窗口看每句C对应的汇编、单步执行并观察相应堆栈、内存和寄存器变化，这样过一遍不就啥都明白了吗。
（Linux或Unix下可以在用GDB调试时,看每句C对应的汇编并单步执行观察相应内存和寄存器变化。）
想要从本质上理解C指针，必须学习C和汇编的对应关系。”
不是一回事！
不要迷信书、考题、老师、回帖；
要迷信CPU、编译器、调试器、运行结果。
并请结合“盲人摸太阳”和“驾船出海时一定只带一个指南针。”加以理解。
任何理论、权威、传说、真理、标准、解释、想象、知识……都比不上摆在眼前的事实！
有人说一套做一套，你相信他说的还是相信他做的？
其实严格来说这个世界上古往今来所有人都是说一套做一套，不是吗？
不要写连自己也预测不了结果的代码！
电脑内存或文件内容只是一个一维二进制字节数组及其对应的二进制地址；
人脑才将电脑内存或文件内容中的这个一维二进制字节数组及其对应的二进制地址的某些部分看成是整数、有符号数/无符号数、浮点数、复数、英文字母、阿拉伯数字、中文/韩文/法文……字符/字符串、汇编指令、函数、函数参数、堆、栈、数组、指针、数组指针、指针数组、数组的数组、指针的指针、二维数组、字符点阵、字符笔画的坐标、黑白二值图片、灰度图片、彩色图片、录音、视频、指纹信息、身份证信息……
十字链表交换任意两个节点C源代码（C指针应用终极挑战）http://download.csdn.net/detail/zhao4zhong1/5532495
小轩836 2014-08-20
- 打赏
- 举报
围观，坐等大牛来解决问题。
mujiok2003 2014-08-20
- 打赏
- 举报
幻夢之葉 2014-08-20
- 打赏
- 举报
问的不是指针的指针，是继承体系下指针比较的问题，如果class B中没有虚函数，那么三个指针pa，pb，pc的值都是一样的，这样if判断无论怎么转换肯定都是真，但是加了虚函数后，pa的值有4字节的偏移，为什么if判断仍然为真？而void*强制转换之后就为假了！[/quote]
为什么pa要有四个字节的偏移？！
都是指向mc对象的首地址，当然一样咯。
所谓的偏移，只是内部的偏移（只关系到数据或者成员的相对位置罢了），关你对象什么事情？[/quote]
错了，不好意思，你是什么编译器？
VS下要进行强制转换，或许隐藏了某些操作使之让它们比较相同？！
转换void的时候因为没有具体类型，所以只是简单的比较指针值。
以上纯属推测。你可以忘这方面考虑或者找看看有没有这方面的资料。
unituniverse2 2014-08-20
- 打赏
- 举报
if (pb == pc)
比较的其实是
if ((void*)pb == (void*)static_cast<B*>(pc))
没什么问题
比较符号的两边不管是C还是C++中都是先将两边隐式转换成同一类型（这种类型叫公共类型）后再比较。
char a = 'a';
short b = 0;
a==b就是先都提升成int后再比较
对于继承类的情况，因为派生类按继承规则也是一个基类（'is-a'关系），所以将派生类隐式转换成基类
幻夢之葉 2014-08-20
- 打赏
- 举报
问的不是指针的指针，是继承体系下指针比较的问题，如果class B中没有虚函数，那么三个指针pa，pb，pc的值都是一样的，这样if判断无论怎么转换肯定都是真，但是加了虚函数后，pa的值有4字节的偏移，为什么if判断仍然为真？而void*强制转换之后就为假了！[/quote]
为什么pa要有四个字节的偏移？！
都是指向mc对象的首地址，当然一样咯。
所谓的偏移，只是内部的偏移（只关系到数据或者成员的相对位置罢了），关你对象什么事情？
c_str 2014-08-20
- 打赏
- 举报
坐等大神来解答。、。
百曉生 2014-08-19
- 打赏
- 举报
由pb和pc 的printf结果可以看出，它们的值是不同的
？？？
那不是相同吗
平时说的指针指的是指针变量，指针变量是存放指针的变量，指针就是地址，存放地址就是指向同一个地址（地址即内存单元的编号）
平时说的指针指的是指针变量，指针变量是存放指针的变量，指针就是地址，存放地址就是指向同一个地址（地址即内存单元的编号）加载更多回复（2）
