C의 템플릿 유형을 특정 상속이나 기능으로 제한하려면 어떻게 해야 합니까?

C에서 특정 유형만 허용하도록 템플릿을 제한하는 방법

Java에서는 상속받은 유형만 허용하도록 일반 클래스를 정의할 수 있습니다. 특정 클래스에서:

public class ObservableList<T extends List> {
    /* ... */
}

이것은 확장을 사용하여 달성됩니다. 키워드.

C와 동일

Java와 달리 C에는 템플릿을 제한하기 위한 확장 키워드와 직접적으로 동일한 키워드가 없습니다. 그러나 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");
    // code here..
};

대체 접근 방식

이 접근 방식이 작동하는 동안, 이는 일반적인 C 디자인 원칙에서 벗어났습니다. 대신 특성 기반 제약 조건을 사용하는 것이 더 적절할 수 있습니다.

#include <type_traits>

template<typename T>
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");
    // code here...
};

template<typename T>
struct has_const_iterator : std::false_type {};

template<typename T>
struct has_const_iterator<T, Void<typename T::const_iterator>> : std::true_type {};

struct has_begin_end_impl {
    template<typename T, typename Begin = decltype(std::declval<const T&>().begin()),
                         typename End   = decltype(std::declval<const T&>().end())>
    static std::true_type test(int);
    template<typename... Args>
    static std::false_type test(...);
};

template<typename T>
struct has_begin_end : decltype(has_begin_end_impl::test<T>(0)) {};

using Void = typename void_<>::type;

template<typename... Args>
struct void_ {
    using type = void;
};

이 접근 방식은 특정 요구 사항(예: const_iterator, 시작 및 종료 함수의 존재)을 확인하기 위해 사용자 지정 특성을 정의합니다. 이는 더 많은 유연성을 제공하고 사용자 정의 오류 메시지를 허용합니다.

위 내용은 C의 템플릿 유형을 특정 상속이나 기능으로 제한하려면 어떻게 해야 합니까?의 상세 내용입니다. 자세한 내용은 PHP 중국어 웹사이트의 기타 관련 기사를 참조하세요!