为何类型转换后的nullptr不触发隐式转换？多重继承指针断言疑问

你的疑惑核心在于混淆了空指针的特殊规则和非空指针的多继承地址偏移逻辑，咱们一步步拆解：

首先看你给出的代码：

class Base1 { int x; };
class Base2 { int y; };
class Derived : public Base1, public Base2 { int z; };

// 其中一个应该失败？？？
static_assert( (Derived *)nullptr == (Base1 *)nullptr, "err1" );
static_assert( (Derived *)nullptr == (Base2 *)nullptr, "err2" );

// 这两个中也应该有一个失败？？？
static_assert( (Base1 *)(Derived *)nullptr == nullptr, "err3" );
static_assert( (Base2 *)(Derived *)nullptr == nullptr, "err3" );

所有这些static_assert都会通过，原因完全来自C++标准对空指针的明确规定：

1. 空指针的转换规则 #

C++标准规定：任何空指针值，转换为其他指针类型后，结果仍然是空指针值。不管你是隐式转换还是显式static_cast/C风格转换，只要原始指针是空的，转换后的指针也还是空的。

这意味着(Base2*)(Derived*)nullptr并不会像非空指针那样计算偏移量——偏移逻辑只适用于指向实际对象的非空指针，空指针没有实际的内存地址可偏移，所以转换后依然保持空指针属性。

2. 空指针的比较规则 #

不管指针类型是什么，所有空指针值之间的比较结果都是相等的。哪怕是Derived*空指针和Base2*空指针，甚至是完全无关的int*空指针，它们和nullptr或者彼此之间比较，结果都是true。

回到你的第一组断言：(Derived *)nullptr == (Base1 *)nullptr，两边都是空指针值，类型不同不影响比较结果，标准直接判定它们相等。

3. 非空指针的情况才会出现地址偏移 #

你的直觉其实在非空指针场景下是对的。比如创建一个实际的Derived对象，转换到Base2*时地址会发生偏移：

#include <iostream>

class Base1 { int x; };
class Base2 { int y; };
class Derived : public Base1, public Base2 { int z; };

int main() {
    Derived d;
    std::cout << "Derived: " << &d << "\n";
    std::cout << "Base1:   " << static_cast<Base1*>(&d) << "\n";
    std::cout << "Base2:   " << static_cast<Base2*>(&d) << "\n";
    // 输出会显示Base2的地址比Derived/Base1大4字节（int的大小）
    return 0;
}

但空指针是特殊情况，标准为了避免空指针转换后出现非空值的怪异行为，专门做了这个规定。

总结 #

你之前的误解是把非空指针的多继承地址偏移逻辑套用到了空指针上，而C++标准对空指针的转换和比较有单独的特殊规则，所以所有你的静态断言都会成功通过，不会触发错误。

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