C에서 STL 컨테이너를 식별하기 위한 유형 특성을 생성하는 데 SFINAE를 어떻게 사용할 수 있습니까?

STL 컨테이너 식별을 위한 유형 특성

C에서 유형 특성을 사용하여 특정 유형의 속성을 결정할 수 있습니다. 일반적으로 필요한 것 중 하나는 유형이 벡터, 세트 또는 지도와 같은 컨테이너를 나타내는지 확인하는 것입니다.

벡터에 대한 사용자 정의 구현

우선, 특히 벡터에 대한 유형 특성을 만드는 것을 고려해 보십시오. 그러나 다음 시도는 컴파일에 실패합니다.

<code class="cpp">template<class T, typename Enable = void>
struct is_vector {
  static bool const value = false;
};

template<class T, class U>
struct is_vector<T, typename boost::enable_if<boost::is_same<T, std::vector<U>> >::type> {
  static bool const value = true;
};</code>

이 코드는 "부분 특수화에 사용되지 않은 템플릿 매개변수: U"라는 오류를 생성합니다. 이는 템플릿 매개변수 U가 부분 특수화 내에서 사용되지 않기 때문입니다.

SFINAE 기반 솔루션 for 컨테이너

보다 일반적인 접근 방식은 Substitution Failure Is Not을 사용하는 것입니다. 광범위한 STL 컨테이너에 작동하는 유형 특성을 생성하는 오류(SFINAE)입니다. 예는 다음과 같습니다.

<code class="cpp">template<typename T, typename _ = void>
struct is_container : std::false_type {};

template<typename... Ts>
struct is_container_helper {};

template<typename T>
struct is_container<
        T,
        std::conditional_t<
            false,
            is_container_helper<
                typename T::value_type,
                typename T::size_type,
                typename T::iterator,
                typename T::const_iterator,
                decltype(std::declval<T>().size()),
                decltype(std::declval<T>().begin()),
                decltype(std::declval<T>().end()),
                decltype(std::declval<T>().cbegin()),
                decltype(std::declval<T>().cend())
                >,
            void
            >
        > : public std::true_type {};</code>

이 유형 특성은 대부분의 STL 컨테이너에 공통적인 필수 멤버 및 메서드가 있는지 확인합니다. 이러한 멤버가 모두 존재하는 경우 is_container true로 평가됩니다. 그렇지 않으면 false로 평가됩니다.

참고: 유형 특성이 STL 컨테이너만 식별하도록 하려면 검사를 조정하여 STL 컨테이너에 공통적인 특정 요구 사항을 확인해야 할 수도 있습니다.

위 내용은 C에서 STL 컨테이너를 식별하기 위한 유형 특성을 생성하는 데 SFINAE를 어떻게 사용할 수 있습니까?의 상세 내용입니다. 자세한 내용은 PHP 중국어 웹사이트의 기타 관련 기사를 참조하세요!