使用unsigned short时为何触发「带符号整数操作数用于位运算符」警告？

嘿，这个问题挺常见的——你确实用了unsigned short，但问题出在C语言藏在背后的整数提升规则上，不是你搞错了无符号类型哦。

当你在表达式里用unsigned short变量时，C会自动把它升级成int类型（只要int装得下unsigned short的所有值，现代系统基本都满足，毕竟int一般是32位，unsigned short才16位）。也就是说，你写的sequence >> 14，实际是在**有符号的int**上做右移操作，这就触发了Clang-Tidy的警告——工具怕有符号数的位运算（比如算术右移补符号位）搞出意外，哪怕你现在的场景结果是对的。

怎么搞定这个警告？ #

给你几个简单的法子：

• 先转成无符号类型再操作：

  bool is_pointer(unsigned short int sequence) {
      return ((unsigned int)sequence >> 14) == 3;
  }
  

  把sequence强制转成unsigned int，这样右移就完全是无符号的逻辑，工具就不会瞎操心了。

• 改用位掩码判断（更直白）：
  既然你要查前两位是不是都置1，直接用位与操作盯着最高两位就行：

  bool is_pointer(unsigned short int sequence) {
      return (sequence & 0xC000U) == 0xC000U;
  }
  

  这里0xC000U是无符号常量，会让操作数按无符号规则处理，既避免警告，逻辑也一眼就能看懂——就是检查对应位是不是1。

• 直接把变量改成unsigned int：
  如果场景允许，把sequence的类型换成unsigned int，从根源上避免整数提升带来的有符号问题：

  bool is_pointer(unsigned int sequence) {
      return (sequence >> 14) == 3;
  }
  

额外唠两句 #

其实你原来的代码逻辑在大多数系统上是对的，但Clang-Tidy的警告不是瞎发的——比如在16位系统上（int也是16位），unsigned short的最大值0xFFFF提升成int会变成-1（因为有符号），这时候右移14位就会得到全1的结果，和3对比就错了！所以解决这个警告不仅能消掉工具提示，还能让代码在各种系统上都稳得一批。

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