C 메타프로그래밍에서 함수 부재에 따른 템플릿 선택을 어떻게 구현할 수 있나요?

메타 프로그래밍: 함수 오버로드에 따른 템플릿 선택

C 메타 프로그래밍에서는 유형 속성을 기반으로 조건부로 템플릿 함수를 정의하는 것이 일반적인 기술입니다. 그러나 어떤 경우에는 특정 기능이 없다는 이유로 템플릿이 선택되는 반대 시나리오를 정의하는 것이 어려울 수 있습니다.

구체적으로 제공된 예에서 목표는 템플릿을 정의하는 것입니다. 두 가지 구현 중에서 선택하는 문자열화 함수:

• 주어진 유형에 대해 std::to_string이 정의된 경우 to_string(t)을 사용하여 값을 string.
• 해당 유형에 대해 std::to_string이 정의되지 않은 경우 ostringstream() << t.

후자의 조건을 표현하려고 하면 문제가 발생한다. 다음 시도는 중첩된 활성화_if 템플릿을 사용하여 to_string이 정의되지 않았는지 확인하려는 시도에 실패했습니다.

template<typename T> enable_if_t<!decltype(to_string(T{})::value, string> (T t){
    return static_cast<ostringstream&>(ostringstream() << t).str();
}

이 문제를 해결하려면 Walter Brown의 void_t 유형 특성을 활용할 수 있습니다.

template <typename...>
using void_t = void;<p> 이를 사용하여 다음과 같이 has_to_string 특성을 정의할 수 있습니다.</p>
<pre class="brush:php;toolbar:false">template<typename T, typename = void>
struct has_to_string
: std::false_type { };

template<typename T>
struct has_to_string<T, 
    void_t<decltype(std::to_string(std::declval<T>()))>
    > 
: std::true_type { };

이제, stringify 템플릿은 has_to_string 특성을 기반으로 하는 조건부 템플릿 특수화를 사용하여 정의할 수 있습니다.

template<typename T>
enable_if_t<has_to_string<T>::value, string> stringify(T t){
    return std::to_string(t);
}

template<typename T>
enable_if_t<!has_to_string<T>::value, string> stringify(T t){
    return static_cast<ostringstream&>(ostringstream() << t).str();
}

이 솔루션은 std::to_string이 지정된 유형에 대해 정의되었는지 여부에 따라 stringify의 적절한 구현을 효과적으로 선택합니다.

위 내용은 C 메타프로그래밍에서 함수 부재에 따른 템플릿 선택을 어떻게 구현할 수 있나요?의 상세 내용입니다. 자세한 내용은 PHP 중국어 웹사이트의 기타 관련 기사를 참조하세요!