Wie kann SFINAE verwendet werden, um ein Typmerkmal zur Identifizierung von STL-Containern in C zu erstellen?

Typmerkmale zur Identifizierung von STL-Containern

In C kann ein Typmerkmal verwendet werden, um die Eigenschaften eines bestimmten Typs zu bestimmen. Eine häufige Anforderung besteht darin, zu überprüfen, ob ein Typ einen Container darstellt, z. B. einen Vektor, eine Menge oder eine Karte.

Benutzerdefinierte Implementierung für Vektor

Zunächst einmal Erwägen Sie die Erstellung eines Typmerkmals speziell für Vektoren. Der folgende Versuch schlägt jedoch beim Kompilieren fehl:

<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>

Dieser Code generiert den Fehler „Vorlagenparameter werden in Teilspezialisierung nicht verwendet: U.“ Dies liegt daran, dass der Vorlagenparameter U innerhalb der Teilspezialisierung nicht verwendet wird.

SFINAE-basierte Lösung für Container

Ein allgemeinerer Ansatz ist die Verwendung von Substitution Failure Is Not Ein Fehler (SFINAE) beim Erstellen eines Typmerkmals, das für eine Vielzahl von STL-Containern funktioniert. Hier ist ein Beispiel:

<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>

Dieses Typmerkmal prüft, ob wesentliche Mitglieder und Methoden vorhanden sind, die den meisten STL-Containern gemeinsam sind. Wenn alle diese Mitglieder vorhanden sind, wird is_container wird als wahr ausgewertet; andernfalls ergibt die Auswertung „false“.

Hinweis: Um sicherzustellen, dass das Typmerkmal nur STL-Container identifiziert, müssen Sie möglicherweise die Prüfungen anpassen, um bestimmte Anforderungen zu überprüfen, die für STL-Container üblich sind.

Das obige ist der detaillierte Inhalt vonWie kann SFINAE verwendet werden, um ein Typmerkmal zur Identifizierung von STL-Containern in C zu erstellen?. Für weitere Informationen folgen Sie bitte anderen verwandten Artikeln auf der PHP chinesischen Website!