在C++中,一个对象可以有多个有效的地址,因此,指针比较不是关于地址的问题,而是关于对象同一性的问题。
class Shape{...};
class Subject{...};
class ObservedBlob : public Shape,public Subject{...};
在这个类层次结构中,ObservedBlob同时派生于Shape和Subject,并且由于是公有派生,因此存在从ObservedBlob到任一个基类的预定义转换。
ObserverBlob *ob = new ObservedBlob;
Shape *s = ob; //预定义转换
Subject *subj = ob;//预定义转换
存在这样的转换,意味着一个指向ObserverdBlob的指针可以与指向其任何一个基类的指针进行比较。
if(ob==s)。。。
if(subj = ob)。。。
在这个例子中,这两个条件表达式的结果均为true,即使ob、s、和subj中包含的地址并不相同。
不能拿s与subj进行比较,因为它们之间不具有继承关系
当我们处理指向对象的指针或引用时,必须小心避免丢失类型信息。指向void的指针式常见的错误:
void *v = subj;
if(ob == v)//不相等,类型丢失