这个问题我是在《C++必知必会》条款28里面看到的。C++指针比较的不是地址,而是对象同一性问题。即指针地址可以不同,而比较的结果却相同,因为它们指向的是同一个对象。
我们可以先看看在类的继承关系中,这种情况表现的形式。先上代码:
#include <iostream>
using namespace std;
class a
{
private:
int m_a;
};
class b
{
private:
int m_b;
};
class c : public a, public b
{
private:
int m_c;
};
int main()
{
c* cc = new c;
a* aa = cc;
b* bb = cc;
cout << "bb:" << bb << ",aa:" << aa << endl;
if (cc == aa)
{
cout << "cc:" << cc << ",aa:" << aa << endl;
}
if (cc == bb)
{
cout << "cc:" << cc << ",bb:" << bb << endl;
}
return 0;
}
在上面的派生关系中c同时派生于a,b。并且由于是公有派生,所以在c的对象内部都存在a,b对象的实体,从而也就存在c到任何一个基类的预定义转化。
那么当我们写下b* bb = cc;时,bb所指向的是否跟是cc所指向的地址一样呢?其实不然。如果了解了对象内存模型之后,你就知道:实际上在写下这条语句时,bb实际指向的是cc所指向的对象在内存中基类b的副本的地址。同样aa也是如此。
那么如果是这样的话。“cc == aa”的结果是true还是false呢?
现在就进入本文所讲的重点:指针地址可以不同,而比较的结果却相同,因为它们指向的是同一个对象。
运行一下代码你就会发现,答案是肯定的。为什么呢?
由于cc和aa其实指向的是同一个对象,编译器必须保证他们相比较的结果是true。打个比方:我和你去坐地铁,我在10号车厢,你在20号车厢,你能说我们不在同一辆地铁上么?其实在做指针比较的时候,由于编译器知道指针的类型信息,所以它会自动调整一定的偏移量来完成比较操作。如:表达式cc == bb,编译完成后,可能翻译为:cc?(cc+delta == bb) : (bb == 0),delta就是基类子对象在派生类中中的偏移量。
最后说明一下:在处理类对象指针的时候一定要小心,避免转化成空指针,这样就会丢失类型信息。。