为什么两个uint16_t值按位或运算后返回类型为int？

这个现象是C/C++标准明确规定的**整型提升（Integral Promotion）**机制导致的，所有算术运算（包括按位与、或、异或、移位等）都会先触发这个规则再执行运算：

• 所有宽度小于int的整型类型，在参与运算前都会被提升为int类型：如果int的取值范围可以完全覆盖原类型的所有取值，就提升为带符号的int，否则提升为unsigned int。
• 宽度大于等于int的整型类型，参与运算时不需要做类型提升，直接按原类型运算。

示例1的具体解释 #

常见的消费级、工业级平台上int都是32位的，取值范围为-2^31 ~ 2^31-1，可以完全覆盖uint16_t的0~65535全部取值。因此两个uint16_t变量在执行按位或前，会被先隐式转换为int类型，运算结果自然也是int类型，模板推导时会匹配int对应的版本，自然无法命中uint16_t的特化。

如果是在int为16位的嵌入式平台上，int的取值范围是-32768~32767，无法覆盖uint16_t的最高取值65535，这时uint16_t就会被提升为unsigned int，运算结果也会是unsigned int类型。

示例2的具体解释 #

uint是unsigned int的别名，宽度和int完全一致，不需要做整型提升，因此两个uint按位或的结果还是unsigned int类型，符合预期。

推荐的规避方案 #

除了强制类型转换外没有更简便的兼容方案，显式转换的标准写法如下：

foo(static_cast<uint16_t>(uint16_bar | uint16_baz));

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