std::to_string의 가용성에 따라 구현을 선택하는 템플릿 함수를 구현하는 방법은 무엇입니까?

메타프로그래밍: 유형 가용성을 기반으로 함수 정의 추론

템플릿 메타프로그래밍의 맥락에서 특정 기준에 따라 템플릿을 정의하는 것이 필요해졌습니다. . 이 특정 시나리오의 목표는 오버로드된 to_string 함수가 특정 유형에 대해 정의되었는지 여부에 따라 구현을 선택하는 템플릿을 정의하는 것입니다.

초기 시도는 is_arithmetic을 선택 기준으로 사용하는 것이었습니다.

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

그러나 산술이 아닌 유형에서는 to_string을 사용할 수 없으므로 추가 템플릿이 필요합니다.

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

케이스에 대한 템플릿 선택 기준을 정의하는 데 문제가 발생했습니다. 여기서 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;

이를 사용하여 다음과 같이 원하는 유형 특성을 구성할 수 있습니다.

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 { };

이 유형 특성을 사용하면 이후에 가용성에 따라 구현을 선택하는 템플릿을 정의할 수 있습니다. to_string:

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

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

위 내용은 std::to_string의 가용성에 따라 구현을 선택하는 템플릿 함수를 구현하는 방법은 무엇입니까?의 상세 내용입니다. 자세한 내용은 PHP 중국어 웹사이트의 기타 관련 기사를 참조하세요!