为什么在Clang中相加两个uint16_t的代码无法编译？

这段代码在Clang中编译失败，核心是两个C++规则的叠加：

1. 整数提升规则 #

uint16_t属于小整数类型（通常对应unsigned short），当它参与算术运算（比如+）时，会触发整数提升：编译器会将其转换为int类型（因为int能够容纳uint16_t的所有取值）。因此one + one的结果类型是int，而非uint16_t。

2. 列表初始化的窄化转换限制 #

C++11及后续标准规定，使用花括号{}进行列表初始化时，非常量表达式的窄化转换是被禁止的。这里one是运行时变量（不是编译期常量），将int类型的one + one结果转换到范围更小的uint16_t，属于被编译器拦截的窄化转换操作，因此Clang抛出错误。

你可以通过以下几种方式修复这个问题：

• 显式类型转换：用static_cast<uint16_t>明确告诉编译器你要执行这个转换，接受可能的截断风险：

  uint16_t two{static_cast<uint16_t>(one + one)};
  

• 改用赋值初始化：放弃列表初始化，使用传统的赋值语法，这种方式允许隐式窄化转换：

  uint16_t two = one + one;
  

• 将变量设为编译期常量：如果one的值在编译期就能确定，用constexpr修饰它，这样one + one会成为编译期常量，且值在uint16_t范围内，列表初始化就不会触发窄化错误：

  constexpr uint16_t one{1};
  uint16_t two{one + one};
  

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