`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 스타일 varargs이며 ...도 사용합니다.

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

boost::hana 내의 std::decay의 최적화 된 버전의 구현이 부분. typename T 및 T 부분은 빨간색 청어로 최적화 된 제품입니다.

R(A..., ...)과 일치하는 특수화로, A... 및 R이 함수 서명에서 추론됩니다. 이 hana::details::decay에 2 인자로 double(int, char, ...)을 통과하면

, R는 double 것 및 A...는 int, char이 될 것입니다. ...은 "C 스타일 가변 태그와 일치"합니다.

이 특수화의 목적은 C 스타일 가변 인수로 끝나는 함수 서명을 동일한 서명에 대한 포인터로 매핑하는 것입니다. 따라서 double(int, char, ...)을 double(*)(int, char, ...)으로 매핑합니다.

C 스타일 가변 인수는 템플릿 가변 인수와 다릅니다. 그들은 그것을 predate.

Answer 2

이 전문화는 함수 유형이 함수 포인터 값에 따라 감소하는 방식을 반영하는 함수 유형에 대한 해당 함수 포인터 유형에 대한 감쇠를 규정하는 특수화 중 하나입니다.

이 특수화는 가변 인수 함수 (모든 매개 변수와 일치하지 않는 인수를 허용하도록 매개 변수 목록이 줄임표로 끝나는 함수)에 사용됩니다.