标签：template-deduction c templates variadic-templates c17

我通过书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

本站声明： 1. iCode9 技术分享网（下文简称本站）提供的所有内容，仅供技术学习、探讨和分享；
2. 关于本站的所有留言、评论、转载及引用，纯属内容发起人的个人观点，与本站观点和立场无关；
3. 关于本站的所有言论和文字，纯属内容发起人的个人观点，与本站观点和立场无关；
4. 本站文章均是网友提供，不完全保证技术分享内容的完整性、准确性、时效性、风险性和版权归属；如您发现该文章侵犯了您的权益，可联系我们第一时间进行删除；
5. 本站为非盈利性的个人网站，所有内容不会用来进行牟利，也不会利用任何形式的广告来间接获益，纯粹是为了广大技术爱好者提供技术内容和技术思想的分享性交流网站。