c++ - 什么时候可以在 C++ 中比较指向同一对象的指针？

Question

例如，我有一些类层次结构(可能具有各种继承 - 公共(public)、私有(private)、公共(public)虚拟、多重继承等):

class A {
  int a;
public:
  virtual ~A() {}
};

class B: public A { int b; };
class C: public virtual B { int c; };
class E: public virtual B { int e; };
class F: public C, public E { int f; };

使用转换我得到指向主要“大”对象的每个子对象的指针:

F * f = new F;
E * e = f;
C * c = f;
B * b = f;
A * a = f;

我可以比较哪些指针对是否相等(运算符==)，为什么？比较会使用增量逻辑还是其他一些技术？

当我无法比较指向同一个复杂对象的指针时，可能出现的情况是什么？可以是什么对象？

我希望指向同一对象的所有指针始终相等。

Answer 1

如果一种指针类型可以隐式转换为另一种，则可以比较两个指针；也就是说，如果它们都指向同一类型，或者一个指向另一个的基类。转换将对地址进行必要的调整，这样，如果两个指针指向同一个对象，它们将比较相等。

在这种情况下，您可以比较除 c == e 之外的任何对，因为 C 和 E 都不是从另一个派生的.要比较它们，您要么需要交叉转换，要么将两者转换为它们的公共(public)基类；这些都不能隐式完成。

顺便说一下，您的代码中不需要 dynamic_cast，因为您正在转换为基类指针并且可以隐式完成安全转换。