std::is_final
Von cppreference.com
| Definiert in der Kopfdatei <type_traits> |
||
| template< class T > struct is_final; |
(seit C++14) | |
std::is_final ist ein UnaryTypeTrait.
Wenn T eine final Klasse ist, stellt es die Mitgliedskonstante value gleich true bereit. Für jeden anderen Typ ist value false.
Wenn T ein unvollständiger Klassentyp ist, ist das Verhalten undefiniert.
Wenn das Programm Spezialisierungen für std::is_final oder std::is_final_v(seit C++17) hinzufügt, ist das Verhalten undefiniert.
Inhalt |
[bearbeiten] Template-Parameter
| T | - | ein zu prüfender Typ |
[bearbeiten] Hilfsvariablen-Template
| template< class T > constexpr bool is_final_v = is_final<T>::value; |
(seit C++17) | |
Abgeleitet von std::integral_constant
Member-Konstanten
| value [static] |
true, wenn T ein finaler Klassentyp ist, false andernfalls(öffentliche statische Member-Konstante) |
Memberfunktionen
| operator bool |
konvertiert das Objekt zu bool, gibt value zurück (öffentliche Memberfunktion) |
| operator() (C++14) |
gibt value zurück (öffentliche Memberfunktion) |
Membertypen
| Typ | Definition |
value_type
|
bool |
type
|
std::integral_constant<bool, value> |
[bearbeiten] Hinweise
std::is_final wurde durch die Auflösung von LWG-Issue 2112 eingeführt.
Ein union kann als final deklariert werden (und std::is_final erkennt dies), obwohl Unions ohnehin nicht als Basisklassen verwendet werden können.
| Feature-Test-Makro | Wert | Std | Feature |
|---|---|---|---|
__cpp_lib_is_final |
201402L |
(C++14) | std::is_final
|
[bearbeiten] Beispiel
Führen Sie diesen Code aus
#include <type_traits> class A {}; static_assert(std::is_final_v<A> == false); class B final {}; static_assert(std::is_final_v<B> == true); union U final { int x; double d; }; static_assert(std::is_final_v<U> == true); int main() { }
[bearbeiten] Siehe auch
| (C++11) |
prüft, ob ein Typ ein Nicht-Union-Klassentyp ist (Klassenvorlage) |
| (C++11) |
prüft, ob ein Typ ein polymorpher Klassentyp ist (Klassenvorlage) |
