후행 반환 유형과 `decltype`을 사용하는 가변 템플릿 함수로 올바른 반환 유형 추론을 어떻게 보장할 수 있나요?

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

인수를 누적하여 합계를 반환하는 기본 덧셈 함수를 구현하려고 시도하는 중 적절한 유형을 사용하면 사용자는 컴파일러가 반환 유형을 올바르게 추론할 수 없는 문제에 직면하게 됩니다.

코드 조각:

template <class T, class P...>
auto sum(const T&amp; t, const P&amp;... p) -> decltype(t + sum(p...))
{
   return t + sum(p...);
}

위 코드를 사용하면 세 개 이상의 인수가 관련된 경우 컴파일러는 반환 유형을 확인하는 데 어려움을 겪습니다. 이 문제를 해결하기 위해 사용자는 함수 선언을 수정했습니다.

template <class T, class P...>
T sum(const T&amp; t, const P&amp;... p);

이 수정으로 문제는 해결되었지만 또 다른 문제가 발생했습니다. 함수가 원하지 않는 혼합 유형 인수에 대해 정수를 반환했습니다.

토론 및 해결:

decltype을 사용하는 후행 반환 유형은 반환 유형이 지정된 후에만 선언된 것으로 간주되기 때문에 문제가 발생합니다. 그러나 이 경우 반환 유형은 sum에 대한 재귀 호출에 따라 다릅니다.

이 문제를 해결하기 위해 사용자 정의 특성 클래스가 도입되었습니다.

template<class T> typename std::add_rvalue_reference<T>::type val();

template<class T> struct id{typedef T type;};

template<class T, class... P> struct sum_type;
template<class T> struct sum_type<T> : id<T> {};
template<class T, class U, class... P> struct sum_type<T,U,P...>
: sum_type< decltype( val<const T&amp;>() + val<const U&amp;>() ), P... > {};

decltype을 유형 이름 sum_type< T,P...>::type 문제가 해결되었습니다. 또는 사용자가 sum_type 클래스의 마지막 특수화를 수정하여 연산자의 올바른 연결을 보장할 수 있습니다.

template<class T, class U, class... P> struct sum_type<T,U,P...>
: id<decltype(
      val<T>()
    + val<typename sum_type<U,P...>::type>()
)>{};

이러한 수정을 통해 adder 함수는 인수를 정확하게 누적하고 올바른 유형의 예상 합계를 반환합니다.

위 내용은 후행 반환 유형과 `decltype`을 사용하는 가변 템플릿 함수로 올바른 반환 유형 추론을 어떻게 보장할 수 있나요?의 상세 내용입니다. 자세한 내용은 PHP 중국어 웹사이트의 기타 관련 기사를 참조하세요!