c++ - std::array的演绎指南

Question

我仔细阅读了C++模板独特的书，并尝试了解std::array的推论指南。
关于标准的定义，以下是声明

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

例如，如果在主数组创建为

std::array a{42,45,77} 

扣除如何进行？

谢谢

Answer 1

How the deduction takes place?

这很简单。

呼唤

std::array a{42,45,77}

比赛

array(T, U...)

带有T = decltype(42)和U... = decltype(45), decltype(77)的T = int和U... = int, int。

因此a{42,45,47}的类型变为array<T, 1 + sizeof...(U)>，因此std::array<int, 1 + sizeof...(int, int)>，即std::array<int, 1 + 2>的std::array<int, 3>
换句话说:提取参数的类型；第一个(T)用于为类型指定数组(第一个模板参数)；其他仅用于计数(sizeof...(U))。但是，对于模板的第二个参数，同样要计算第一个参数(T类型，因此1中的1 + sizeof...(U))也很重要。