标签:c c11 templates variadic-templates well-formed
标准大师的问题.
试图回应another question,我开始怀疑代码的良好构成.
据我所知,以下代码格式不正确
int main ()
{
std::tuple<> a;
std::get<0>(a);
}
因为当我超出范围[0,sizeof …(Ts)时,对td :: get< I>(t)的调用(当t是std :: tuple< Ts ...>时)是不正确的. )[.
在这种情况下,sizeof …(Ts)为零,因此范围[0,0 [为空,因此std :: get< I>(a)对于每个索引I都是错误的.
但是当std :: get< I>(a)通过空的可变参数包扩展时?
我的意思是:以下代码
#include <tuple>
template <typename ... Args>
void bar (Args const & ...)
{ }
template <std::size_t ... I>
void foo ()
{
std::tuple<> a;
bar( std::get<I>(a) ... );
}
int main ()
{
foo<>();
}
使用格式错误的(?)调用(std :: get< I>(a))但零时间可变参数扩展(sizeof …(I)为零),是否格式正确或格式错误?
解决方法:
The program is ill-formed, no diagnostic required, if:
- […]
- every valid specialization of a variadic template requires an empty template parameter pack, or
- […]
标签:c,c11,templates,variadic-templates,well-formed 来源: https://codeday.me/bug/20190823/1698924.html
本站声明: 1. iCode9 技术分享网(下文简称本站)提供的所有内容,仅供技术学习、探讨和分享; 2. 关于本站的所有留言、评论、转载及引用,纯属内容发起人的个人观点,与本站观点和立场无关; 3. 关于本站的所有言论和文字,纯属内容发起人的个人观点,与本站观点和立场无关; 4. 本站文章均是网友提供,不完全保证技术分享内容的完整性、准确性、时效性、风险性和版权归属;如您发现该文章侵犯了您的权益,可联系我们第一时间进行删除; 5. 本站为非盈利性的个人网站,所有内容不会用来进行牟利,也不会利用任何形式的广告来间接获益,纯粹是为了广大技术爱好者提供技术内容和技术思想的分享性交流网站。