C에서 템플릿 유형 제한
Java에서는 다음을 사용하여 지정된 기본 클래스를 확장하는 유형만 허용하도록 일반 클래스를 제한할 수 있습니다. 키워드를 확장합니다. 이 목적을 위해 C에 유사한 키워드가 있습니까?
C와 동일
C에는 템플릿 제약 조건에 대한 Java의 확장 키워드와 직접적으로 동등한 키워드가 없습니다. 그러나 C 11은 유사한 효과를 달성하기 위한 대체 메커니즘을 제공합니다.
유형 특성을 사용한 C 11 접근 방식
C 11에서는 std::is_base_of 특성을 사용할 수 있습니다.
#include <type_traits> template<typename T> class observable_list { static_assert(std::is_base_of<list, T>::value, "T must inherit from list"); // ... };
이 예는 목록 클래스에서 상속되는 유형만 허용하는 observable_list 템플릿 클래스를 정의합니다. 그러나 템플릿을 과도하게 제한하면 유연성이 제한될 수 있으며 C에서는 이상적이지 않을 수 있다는 점에 유의하는 것이 중요합니다.
대체 접근 방식: 특성 기반 제약 조건
대체 접근 방식 특정 요구 사항에 따라 유형을 제한하는 사용자 지정 특성을 만드는 작업이 포함됩니다. 예를 들어 특정 멤버 함수나 typedef가 있는 유형에 대한 특성을 정의할 수 있습니다.
struct has_const_iterator { template<typename T> static bool test(...) { return false; } }; template<typename T> struct has_const_iterator<T, Void<typename T::const_iterator>> { static bool test(...) { return true; } }; struct has_begin_end { template<typename T> static bool test(...) { return false; } template<typename T, typename Begin, typename End> static auto test(int) -> decltype(std::declval<const T&>().begin(), std::declval<const T&>().end()) { return true; } };
이러한 특성을 사용하면 다음과 같이 observable_list를 제한할 수 있습니다.
class observable_list { static_assert(has_const_iterator<T>::value, "Must have a const_iterator typedef"); static_assert(has_begin_end<T>::value, "Must have begin and end member functions"); // ... };
이 접근 방식은 더 나은 결과를 제공합니다. 요구 사항에 따라 특정 제약 조건을 정의할 수 있어 유연성과 오류 피드백이 가능합니다.
위 내용은 Java의 'extends' 키워드처럼 C에서 템플릿 유형을 어떻게 제한할 수 있나요?의 상세 내용입니다. 자세한 내용은 PHP 중국어 웹사이트의 기타 관련 기사를 참조하세요!