Item 28.话说指针比较(Meaning of Pointer Comparison)

Item 28. Meaning of Pointer Comparison

一个对象可能有多个有效的地址（本身的指针和指向基类的指针），假若有多个指针指向它，这些指针的指向就可能不同。那么在对这些指针做比较时，是对指针指向对象的地址作比较？还是对指针指向对象的标识作比较呢？

例如：

class Shape { ... };

class Subject { ... };

class ObservedBlob : public Shape, public Subject { ... };

ObservedBlob *ob = new ObservedBlob;

Shape *s = ob;

Subject *subj = ob;

if( ob == s ) ...

if( subj == ob ) ...

在这种情况下，上述的两个if都是true，即使ob，s，subj的地址不同。为什么会这样呢？

既然ob，s，subj指向同一个对象，编译器就必须保证ob与s、subj相同（s和subj没有继承关系，所有它俩就肯定不同）。为了达到此目的，编译器令其中的一个指针加上（或减去）一个合适的偏移量delta，但如果两者都为NULL，那肯定相等了。这个偏移量大小是多少？只有编译器晓得，它保存在类型信息中。

于是

ob == subj

被替换为：

ob ? (ob+delta == subj) : (subj == 0)

若丢失了指针的类型信息又如何呢？那可能判断的就不正确了。

void *v = subj;

if( ob == v ) // not equal!

由于void*丢失了类型信息，编译器只好对纯地址作比较。而这样对对于指向类对象的指针作比较正确率就大大地*下降了。