std::experimental::ranges::DerivedFrom

 

C++

Compiler-Unterstützung

Freestanding und gehostet

Sprache

Standardbibliothek

Header der Standardbibliothek

Benannte Anforderungen

Feature-Test-Makros (C++20)

Bibliothek für Sprachunterstützung

Konzepte-Bibliothek (C++20)

Diagnostik-Bibliothek

Speicherverwaltungsbibliothek

Metaprogrammierungsbibliothek (C++11)

Allgemeine Dienstprogramme-Bibliothek

Container-Bibliothek

Iterator-Bibliothek

Ranges-Bibliothek (C++20)

Algorithmen-Bibliothek

Bibliothek für Zeichenketten

Textverarbeitungsbibliothek

Numerik-Bibliothek

Datums- und Zeitbibliothek

Ein-/Ausgabe-Bibliothek

Dateisystembibliothek (C++17)

Unterstützung für nebenläufige Programmierung (C++11)

Ausführungssteuerungsbibliothek (C++26)

Technische Spezifikationen

Symbolverzeichnis

Externe Bibliotheken

 

Experimentell

Technische Spezifikation

Dateisystembibliothek (Filesystem TS)

Grundlagen der Bibliothek (Library Fundamentals TS)

Grundlagen der Bibliothek 2 (Library Fundamentals TS v2)

Grundlagen der Bibliothek 3 (Library Fundamentals TS v3)

Erweiterungen für Parallelität (Parallelism TS)

Erweiterungen für Parallelität 2 (Parallelism TS v2)

Erweiterungen für Nebenläufigkeit (Concurrency TS)

Erweiterungen für Nebenläufigkeit 2 (Concurrency TS v2)

Konzepte (Concepts TS)

Bereiche (Ranges TS)

Reflektion (Reflection TS)

Mathematische Spezialfunktionen (Special Functions TR)

Experimentell Nicht-TS

Pattern Matching

Lineare Algebra

std::execution

Verträge

2D-Grafik

 

Bereiche (Ranges)

Konzepte

Allgemeine Hilfsmittel

Iteratoren

Bereiche (Ranges)

Algorithmen

 

Konzeptbibliothek

Kernsprachen-Konzepte
Dasselbe DerivedFrom ConvertibleTo	CommonReference Common	Integral SignedIntegral UnsignedIntegral	Assignable SwappableSwappableWith
Objektkonzepte
Destructible Constructible DefaultConstructible	MoveConstructible CopyConstructible	Movable Copyable	Semiregular Regular
Vergleichskonzepte
Boolean	WeaklyEqualityComparableWith	EqualityComparableEqualityComparableWith	StrictTotallyOrderedStrictTotallyOrderedWith
Aufrufbare Konzepte
InvocableRegularInvocable	Predicate	Relation	StrictWeakOrder
URNG-Konzept
UniformRandomNumberGenerator

 

Definiert in Header <experimental/ranges/concepts>
template< class T, class U > concept bool DerivedFrom =     std::is_base_of<U, T>::value &&     std::is_convertible<std::remove_cv_t<T>*, std::remove_cv_t<U>*>::value;		(Ranges TS)

Das Konzept DerivedFrom<T, U> ist genau dann erfüllt, wenn U ein Klassentyp ist, der entweder T oder eine öffentliche und eindeutige Basisklasse von T ist.

Trotz der Verwendung von std::is_base_of und std::is_convertible in seiner Beschreibung oben, ist DerivedFrom nicht verpflichtet, diese in seiner Implementierung zu verwenden. Daher muss kein Unterordnungsverhältnis zwischen DerivedFrom<T, U> und std::is_base_of<U,T>::value oder std::is_convertible<std::remove_cv_t<T>*, std::remove_cv_t<U>*>::value bestehen.

Siehe auch

is_base_of (C++11)	prüft, ob ein Typ eine Basisklasse des anderen Typs ist (Klassenvorlage)
is_convertibleis_nothrow_convertible (C++11)(C++20)	prüft, ob ein Typ in den anderen Typ konvertierbar ist (Klassenvorlage)