c – std :: array的演绎指南

我通过书C模板独特的quide,我试着理解std :: array的演绎指南是如何工作的.
关于标准的定义,以下是声明

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

例如,如果在main中创建一个数组

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

如何进行演绎？

谢谢

解决方法:

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.

所以{42,45,47}的类型变成了数组< 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的尺寸为…(U)).

标签：template-deduction,c,templates,variadic-templates,c17
来源： https://codeday.me/bug/20190828/1747345.html