C에서 함수 가용성에 대한 유형 특성을 정의하는 방법은 무엇입니까?

메타 프로그래밍: 별도의 함수 정의로 C 함수 정의 실패

C에서는 유형 특성을 기반으로 메타 함수를 정의하는 것이 가능합니다. 예를 들어 값의 유형이 산술인지 여부에 따라 값을 문자열로 변환하는 템플릿을 정의할 수 있습니다.

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

그러나 이 접근 방식은 유형의 is_arithmetic 속성에 의존합니다. 보다 바람직한 접근 방식은 해당 유형에 대한 std::to_string 함수의 가용성을 기반으로 합니다. 그러나 다음 요구 사항을 유형 특성으로 표현하기는 어렵습니다.

"해당 유형에 대해 std::to_string이 정의되어 있으면 이를 사용하세요."

std에 대한 기준을 선언하는 것은 가능합니다. ::to_string 가용성:

template<typename T> 
decltype(to_string(T{})) stringify(T t){
    return to_string(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 { };

이 특성은 std::to_string 함수가 특정 유형에 대해 정의되어 있는지 평가하여 함수 가용성에 따라 보다 유연한 템플릿 선택을 허용합니다.

위 내용은 C에서 함수 가용성에 대한 유형 특성을 정의하는 방법은 무엇입니까?의 상세 내용입니다. 자세한 내용은 PHP 중국어 웹사이트의 기타 관련 기사를 참조하세요!