합계를 위한 가변 템플릿 함수를 사용하여 후행 반환 유형을 달성하는 방법은 무엇입니까?

가변 템플릿 함수와 함께 decltype을 사용하는 후행 반환 유형

이 쿼리는 임의 개수의 합을 계산하는 기본 가산기를 구성하려고 합니다. 적절한 반환 유형을 가진 인수. 그러나 현재 구현에서는 인수가 여러 개인 경우 제한 사항이 나타납니다. 이 문서에서는 근본적인 문제를 조사하고 잠재적인 해결 방법을 탐색합니다.

초기 구현에서는 후행 반환 유형 구문을 활용하여 합계 함수를 단순화합니다. 그러나 2개를 초과하는 인수의 경우 컴파일 오류가 발생하여 함수가 정의되지 않았음을 나타냅니다. 이 예외는 가변 함수 템플릿이 반환 유형이 지정된 후에 선언된다는 사실에서 비롯됩니다. 결과적으로 decltype() 표현식은 가변 함수 템플릿 자체를 참조할 수 없습니다.

C 0x는 ->decltype(expr) 부분에서 재귀 호출을 허용하지만 이와 같은 특정 시나리오를 지원하지 않을 수 있습니다. . 이 문제를 해결하기 위해 사용자 정의 특성 클래스인 sum_type이 해결 방법으로 도입되었습니다. decltype을 유형 이름 sum_type::type으로 대체하여 컴파일 문제를 해결합니다.

그러나 초기 구현에서는 예상되는 대신 decltype((a b) c)를 반환합니다. decltype(a(b c)). 이 문제를 해결하려면 sum_type 전문화를 수정하여 원하는 작업 순서를 보장하고 최종 솔루션을 얻을 수 있습니다.

위 내용은 합계를 위한 가변 템플릿 함수를 사용하여 후행 반환 유형을 달성하는 방법은 무엇입니까?의 상세 내용입니다. 자세한 내용은 PHP 중국어 웹사이트의 기타 관련 기사를 참조하세요!