C++中不同尺寸整数无显式转换直接比较是否引发未定义行为(UB)

你给出的无显式类型转换的整数大小比较场景不存在未定义行为，整个比较流程的规则是C++标准明确规定的，运行结果完全确定，对应你列出的三种可能中的第一种情况。

C++对于>、<、==这类二元操作符的操作数，会严格按照寻常算术转换的规则完成类型对齐，不存在截断大尺寸类型、或者行为无统一标准的情况：

• 标准对所有整数类型定义了明确的转换等级排序，从低到高大致为：bool < char < short < int < long < long long，同宽度的无符号类型转换等级和对应有符号类型持平。
• 当两个无符号类型的操作数参与比较时，哪个类型的转换等级更高，就将等级更低的操作数隐式转换为高等级类型后再执行同类型比较。
• 对应你示例的代码：
  • 操作数a的类型是unsigned long long，转换等级高于unsigned int
  • 比较发生时，值为12的b会被隐式转换为unsigned long long类型，由于12完全在unsigned long long的可表示范围内，转换过程不会丢失数值
  • 后续比较会直接判定a（unsigned long long可表示的最大值）大于转换后的b，test变量最终结果为true，这个结果在所有符合C++标准的编译器上都是一致的。

• 猜测1：正确。不管是通过实际生成的类型转换指令完成转换，还是编译器通过硬件指令特性做等效优化（比如x86-64架构下比较时对低32位的源操作数自动零扩展为64位，等效完成无符号数的类型提升），最终行为都完全符合标准要求，小尺寸类型向大尺寸类型的隐式转换是确定会发生的。
• 猜测2：错误。大尺寸类型被截断为小尺寸类型位长做比较的情况，只会出现在两个同转换等级的有符号/无符号混配场景中——比如同宽度的int和unsigned int比较时，有符号int会被转成同宽度的unsigned int，不存在大尺寸类型主动向小尺寸截断的规则。
• 猜测3：错误。整个类型转换和比较流程是标准明确定义的，不需要额外添加显式static_cast就能得到确定结果。

这类场景下容易出现的反直觉结果，本质是同宽度有符号/无符号混比的规则（比如负的有符号数转成无符号数后会变成极大值），但这依然是标准明确规定的行为，不属于未定义行为范畴。

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