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