메타 프로그래밍: 함수 정의를 위한 대체 템플릿 선택 기준

이 질문은 유형의 변환 능력을 기반으로 템플릿을 정의하는 개념을 탐구합니다. 문자열에. 원래 코드는 is_arithmetic 유형 특성을 사용하지만 to_string이 해당 유형에 정의되어 있는지 평가하는 기준을 대신 사용하는 것이 좋습니다.

그러나 이 기준의 반대인 to_string이 정의되지 않은 시기를 결정하면 다음이 증명됩니다. 도전적이다. 다음 코드는 실패합니다.

template enable_if_t
이 문제를 해결하기 위해 답변에서는 다음을 생성할 수 있는 Walter Brown의 void_t 유형 특성을 사용할 것을 제안합니다.
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이 정의되어 있는지 여부를 효과적으로 평가하여 원래 의도와 더 정확하게 일치하는 대체 템플릿 선택 기준을 제공합니다.