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

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

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

template<typename t> 
enable_if_t<is_arithmetic>::value, string> stringify(T t){
    return to_string(t);
}
template<typename t> 
enable_if_t::value, string> stringify(T t){
    return static_cast<ostringstream>(ostringstream() <p>그러나 이 접근 방식은 유형의 is_arithmetic 속성에 의존합니다. 보다 바람직한 접근 방식은 해당 유형에 대한 std::to_string 함수의 가용성을 기반으로 합니다. 그러나 다음 요구 사항을 유형 특성으로 표현하기는 어렵습니다.</p>
<p>"해당 유형에 대해 std::to_string이 정의되어 있으면 이를 사용하세요."</p>
<p>std에 대한 기준을 선언하는 것은 가능합니다. ::to_string 가용성:</p>
<pre class="brush:php;toolbar:false">template<typename t> 
decltype(to_string(T{})) stringify(T t){
    return to_string(t);
}</typename>

그러나 반대 기준을 구성하는 방법은 불분명합니다.

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>()))>> 
: std::true_type { };</t></typename></typename>

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

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