作者：未知 来源：月光软件站 加入时间：2005-5-13　月光软件站

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*丢失了类型信息，编译器只好对纯地址作比较。而这样对对于指向类对象的指针作比较正确率就大大地*下降了。

相关软件：