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

這個專門化是將函數類型衰減到相應的指針函數類型的專門化之一，它反映了函數左值衰減到函數指針前值的方式。

這個特殊的專門用於變量參數函數（那些參數列表以省略號結尾，以便它接受與任何參數不匹配的參數）。