Wie kann ich Vorlagentypen in C auf bestimmte Vererbung oder Funktionalität beschränken?

So beschränken Sie eine Vorlage so, dass sie nur bestimmte Typen in C akzeptiert

In Java können generische Klassen so definiert werden, dass sie nur erbende Typen akzeptieren aus einer bestimmten Klasse:

public class ObservableList<t extends list> {
    /* ... */
}</t>

Dies wird mithilfe der Erweiterungen erreicht Schlüsselwort.

Äquivalent in C

Im Gegensatz zu Java gibt es in C kein direktes Äquivalent zum Schlüsselwort „extens“ zum Einschränken von Vorlagen. Es gibt jedoch eine Möglichkeit, ähnliche Einschränkungen mithilfe des Typmerkmals std::is_base_of in C 11 zu erreichen:

#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..
};</list></typename></type_traits>

Alternative Ansätze

Während dieser Ansatz funktioniert, es bricht mit den typischen C-Designprinzipien. Stattdessen kann es sinnvoller sein, merkmalsbasierte Einschränkungen zu verwenden:

#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 t::const_iterator>> : std::true_type {};

struct has_begin_end_impl {
    template<typename t typename begin="decltype(std::declval<const">().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;
};</typename...></t></typename></typename...></const></typename></t></typename></typename></t></t></typename></type_traits>

Dieser Ansatz definiert benutzerdefinierte Merkmale, um auf bestimmte Anforderungen zu prüfen (z. B. das Vorhandensein von const_iterator, begin- und end-Funktionen). Es bietet mehr Flexibilität und ermöglicht benutzerdefinierte Fehlermeldungen.

Das obige ist der detaillierte Inhalt vonWie kann ich Vorlagentypen in C auf bestimmte Vererbung oder Funktionalität beschränken?. Für weitere Informationen folgen Sie bitte anderen verwandten Artikeln auf der PHP chinesischen Website!