C++中基类与子类指针比较规则及断言行为问询

一、核心规则概述 #

在C++中，指向同一对象的派生类指针与基类指针进行==比较时，编译器会自动处理指针的地址偏移，确保逻辑上指向同一对象时比较结果为true。但如果指针类型彼此无继承关系，直接比较可能导致未定义行为（UB）。

二、多继承场景的断言分析 #

先看给定的代码定义：

class B1 
{ /* 包含虚方法 */ };

class B2 
{ /* 包含虚方法 */ };

class D : public B1, public B2
{ /* 重写虚方法 */ };

D obj;
B1 *bp1 = &obj;  // 指向obj的B1子对象
B2 *bp2 = &obj;  // 指向obj的B2子对象（地址与&obj有偏移）

逐个分析断言表现：

1. assert(&obj == bp1) 和 assert(bp1 == &obj)

   • 定义良好，断言会成功。
   • 比较时，编译器会将B1*类型的bp1隐式转换为D*类型（通过static_cast调整地址到obj的起始位置），与&obj（D*）比较，逻辑上指向同一对象，结果为true。

2. assert(&obj == bp2) 和 assert(bp2 == &obj)

   • 定义良好，断言会成功。
   • 原理与上一组一致：B2*类型的bp2被隐式转换为D*，地址调整后与&obj相等，比较结果为true。

3. assert(bp1 == bp2) 和 assert(bp2 == bp1)

   • 存在未定义行为。
   • bp1是B1*，bp2是B2*，B1与B2之间无继承关系，不属于指针比较规则中“同一类型或基类-派生类关系”的范畴。直接比较这两个不同类型的指针，标准未定义其行为，编译器可能生成任意结果。

三、对指针比较规则的解读 #

针对引用的指针比较规则片段，我们结合场景分析：

4. 如果操作数的类型是P1（指向可能带cv限定的T1的指针）和P2（指向可能带cv限定的T2的指针），且T1与T2相同或T1是T2的基类，则复合指针类型是P1和P2的cv组合类型。否则，如果T2是T1的基类，则复合指针类型是P2和P1的cv组合类型。

cv组合类型定义：两个指针类型P1和P2的cv组合类型P3与P1的层级数、类型完全一致，仅cv限定按以下规则调整：
a) 除顶层外，每个层级的cv限定是P1和P2对应层级的并集；
b) 若某层级的最终cv限定与P1或P2的对应层级不同，则在顶层到该层级之间的所有层级添加const。

规则在场景中的应用 #

• 当比较&obj（D*，即P1，T1=D）与bp1（B1*，即P2，T2=B1）时：
  T2是T1的基类，符合规则4的“否则”分支，复合指针类型为P2与P1的cv组合类型。由于两者均无cv限定，组合后的类型为D*。随后bp1被隐式转换为该复合类型（D*），完成地址调整后比较。
• 当比较&obj与bp2时，逻辑完全一致，复合类型为D*，bp2被转换后比较。
• 当比较bp1与bp2时，B1和B2彼此不是对方的基类，也不是同一类型，规则4不适用。此时无合法的复合指针类型，直接触发未定义行为。

内容的提问来源于stack exchange，提问作者hyde