std::array推导指南技术问询：列表初始化的推导过程解析

嘿，我来帮你一步步拆解std::array a{42,45,77};的推导逻辑，结合你提到的那个标准推导指南来解释：

首先，先明确你贴出来的推导指南的含义：

template <class T, class... U> array(T, U...) -> array<T, 1 + sizeof...(U)>;

这个模板的作用是从初始化的参数列表里自动推导出std::array的元素类型和大小。

当你写std::array a{42,45,77};时，编译器会按以下步骤推导：

• 推导元素类型T：推导指南的第一个参数是T，对应初始化列表里的第一个元素42——它的类型是int，所以编译器会把T确定为int。
• 计算数组大小：剩下的元素45和77会被匹配到参数包U...里，sizeof...(U)是参数包的元素个数，这里是2。按照推导指南的规则，数组大小是1 + sizeof...(U)，也就是1+2=3。
• 确定最终类型：把推导出来的T=int和大小3代入，最终a的类型就是std::array<int, 3>。

额外注意点 #

• 这个推导要求所有后续元素的类型必须能隐式转换为T（也就是第一个元素的类型）。比如如果你写std::array a{42, 3.14, 77};，编译器会把T推导为int，但3.14是double，隐式转换会丢失精度，有些编译器会给出警告；如果是完全不兼容的类型（比如std::array a{42, "hello"};），推导会直接失败，编译报错。
• 这个推导指南是C17才引入的，在C17之前，你必须显式指定模板参数，比如std::array<int, 3> a{42,45,77};。

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