C++不可重载运算符(.,.*,::,?:,sizeof)及无法重载原因说明

C++ 标准中明确限定了部分运算符不支持重载，核心设计原则是避免破坏语言原生的基础语义、保证编译/运行时行为的确定性，防止出现无法预期的语法歧义。

不可重载的运算符完整列表 #

• 成员访问运算符：.
• 成员指针访问运算符：.*
• 作用域解析运算符：::
• 三目条件运算符：?:
• 编译时大小运算符：sizeof
• 运行时类型查询运算符：typeid
• 对齐量查询运算符：alignof
• C++风格强制类型转换运算符：static_cast、dynamic_cast、const_cast、reinterpret_cast

重点运算符不可重载的具体原因 #

1. 成员访问运算符 . #

. 的原生语义被固定为「访问左操作数对应实例的类成员」，是C++类成员访问体系的核心基础。如果允许重载.，会彻底打破成员访问的固有规则，甚至让编译器的静态成员检查机制完全失效，出现“想要访问对象成员，但执行逻辑完全偏离预期”的语义混乱问题。
注意和可重载的->区分：->重载后仍然要求返回可通过.访问成员的指针/指针对象，不会破坏.本身的语义规则。

2. 成员指针访问运算符 .* #

.* 的作用是绑定对象实例和成员指针，访问实例对应的成员值，本身的使用逻辑和类的底层内存布局、成员偏移量强绑定。如果允许重载.*，会打破成员指针和实例绑定访问的固定语义，甚至破坏虚函数表、内存对齐等底层机制的一致性，导致内存访问逻辑完全不可控。

3. 作用域解析运算符 :: #

:: 的左操作数是类型名、命名空间名，不属于普通的表达式或值范畴，整个作用域查找过程完全在编译期完成。而运算符重载的本质是基于操作数的类型做函数分发，:: 没有对应的值类型信息，本身就不满足重载的前提条件。

4. 三目条件运算符 ?: #

三目运算符是C++所有运算符中唯一支持「短路执行」的运算符：只会执行符合条件的分支表达式。如果允许重载?:，它会变成普通的函数调用，所有参数都需要先完成求值才能进入函数体，原有的短路特性会完全消失，和原生语义彻底冲突。
举个简单的例子：a ? get_data() : 0 原生逻辑下如果a为假，get_data()不会执行；如果重载了?:，不管a的取值是什么，get_data()都会先执行，逻辑完全不一致。

5. 编译时大小运算符 sizeof #

sizeof 的求值完全在编译期完成，返回的是操作数类型占用内存的字节数，即使操作数是表达式，也只会解析表达式的类型，不会实际执行表达式逻辑。如果允许重载sizeof，会把它变成运行时计算的逻辑，彻底破坏编译期求值的核心特性，导致依赖编译期大小的数组分配、内存拷贝等基础逻辑完全失效。

其他不可重载运算符的补充说明 #

• typeid：是RTTI（运行时类型识别）机制的核心运算符，用于获取类型的固有信息，语义固定，重载会破坏整个RTTI体系的一致性。
• 四个C++风格强制类型转换运算符：本身的语义和编译器的类型检查规则强绑定，重载会打破语言的类型安全机制。
• alignof：和sizeof属性一致，属于编译期求值的类型固有属性查询运算符，不允许重载。

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