为何MSVC、Clang和G++中将赋值为nullptr的Class::*类型数据成员指针内部表示为-1？

这个问题问得非常好——其实背后藏着历史兼容性、实现简单性以及标准灵活性这几个层面的原因，咱们一步步拆解来看：

1. 历史兼容性：32位时代的遗产 #

早期C++是在32位系统上发展起来的，那时非虚成员数据指针的本质就是「对象起始地址到成员变量的偏移量」。有效的偏移量都是非负且远小于2^32的（毕竟32位程序的内存空间有限）。用全1的二进制值（也就是有符号数中的-1）作为null成员指针，天然就能和所有有效偏移量区分开——没有任何合法成员会在这么离谱的位置上。

当64位系统普及后，编译器厂商为了兼容旧代码、旧调试工具以及长期形成的开发习惯，并没有贸然更换这个表示方式，而是延续了这一传统。

2. 实现上的简洁性 #

• 对于简单的成员数据指针，生成-1的指令极其高效：就像你贴的G++编译结果那样，只需要movq $-1, %rax一条指令，不需要额外的移位或计算。
• 对于更复杂的成员函数指针（比如涉及虚函数、多重继承的场景），它们的内部通常是一个包含函数地址、调整信息的结构体。用全1填充整个结构体作为null值，只需要简单的内存操作；而如果换成你提到的(size_t)1 << 63，就得给结构体的每个字段单独设置这个特定值，实现成本显著更高。

3. 崩溃调试的效果并无本质差异 #

你提到用(size_t)1 << 63会触发内核内存访问崩溃，这一点没错，但全1的偏移量同样能达到目的：64位下这个值是18446744073709551615，远远超出了用户空间的内存范围，访问它必然会触发段错误或访问违规，一样能快速暴露错误用法，起到调试辅助的作用。

4. C++标准的灵活性 #

C++标准并没有强制规定null成员指针的具体内部表示，只要求它必须与任何有效的成员指针不相等。编译器厂商选择-1（全1二进制），是在满足标准的前提下，兼顾历史、实现成本和兼容性的最优解。

举个你提供的例子：

struct X { int x, y; };
using member_ptr = int X::*;
member_ptr f() { return nullptr; }

G++编译后直接返回-1，就是因为这个表示方式已经成为行业内的共识实现。

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