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