关于指针比较（涉及的是对象同一性的问题）

这个问题我是在《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就是基类子对象在派生类中中的偏移量。

最后说明一下：在处理类对象指针的时候一定要小心，避免转化成空指针，这样就会丢失类型信息。。