struct decay <T，R（A ...，...）>是什么意思

Question

template <typename T, typename R, typename ...A> 
struct decay<T, R(A..., ...)> { using type = R(*)(A..., ...); }; 

这是什么意思？我需要一些帮助〜

Answer 1

int foo(int); 
int bar(int, ...); 

这些是两个不同的功能。 foo类型为int(int)。 bar类型为int(int,...)。

...是C风格的可变参数，不要与也使用...的variardic模板参数混淆。

template <typename T, typename R, typename ...A> 
struct decay<T, R(A..., ...)> { using type = R(*)(A..., ...); }; 

的std::decay内boost::hana的优化版本实现的这一部分。 typename T和T零件是红鲱鱼，这是优化的一部分。

它是一个专门匹配R(A..., ...)，其中A...和R是从函数签名中推导出来的。

如果通过double(int, char, ...)作为第二个参数到这个hana::details::decay，R将double和A...将int, char。而...将“匹配C风格的varags”。

这个特殊的专业化的目的是映射函数签名，以C样式可变参数结尾，指向相同的签名。因此它将double(int, char, ...)映射到double(*)(int, char, ...)。

C样式可变参数与模板variardic参数不一样。他们早于它。

Answer 2

这个专门化是将函数类型衰减到相应的指针函数类型的专门化之一，它反映了函数左值衰减到函数指针前值的方式。

这个特殊的专门用于变量参数函数（那些参数列表以省略号结尾，以便它接受与任何参数不匹配的参数）。