为何最高位为1的数值会导致std::array无法自动初始化？

这个编译错误是合理的，并非std::array的bug，根源在于C++对十六进制整数字面量的类型推导规则，以及std::array的类模板参数推导（CTAD）逻辑：

1. 十六进制字面量的类型推导

   • C++中，十六进制整数字面量的类型会优先尝试用int存储。如果数值超出int的范围，会依次尝试unsigned int、long等类型。
   • 对于32位int（多数系统的默认情况），0x80000000（即2^{31）超出了`int`的正数上限（`int`最大为2}31-1），因此这个字面量会被推导为unsigned int；而0x70000000小于2^31-1，类型为int。

2. std::array的CTAD限制

   • 当用列表初始化std::array时，编译器需要推导出统一的元素类型和数组大小。如果初始化列表中存在类型不一致的元素（比如一个是unsigned int，另一个是int），编译器无法确定最终的元素类型，就会触发“无法推导模板参数”的错误。
   • 示例代码：

     // 正常编译：两个元素都是int类型，推导为std::array<int, 2>
     std::array arr1 = {0x70000000, 1};
     // 编译报错：第一个元素是unsigned int，第二个是int，类型冲突导致推导失败
     std::array arr2 = {0x80000000, 1};
     

3. 解决方法

   • 显式指定std::array的元素类型，消除推导歧义：

     // 显式指定元素为unsigned int，正常编译
     std::array<unsigned int, 2> arr = {0x80000000, 1};
     // 或者强制转换字面量类型，统一为int（注意数值溢出风险）
     std::array arr = {static_cast<int>(0x80000000), 1};
     

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