메타 프로그래밍: 별도의 함수 정의로 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&>(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 중국어 웹사이트의 기타 관련 기사를 참조하세요!