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

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

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

코드 조각:

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

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

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

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

토론 및 해결:

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>
: sum_type() + val<const u>() ), P... > {};</const></t></class></t></t></class></class></class></t></class>

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

template<class t class u class... p> struct sum_type<t>
: id<decltype val>()
    + val<typename sum_type>::type>()
)>{};</typename></decltype></t></class>

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

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