std::is_scalar
Von cppreference.com
| Definiert in der Kopfdatei <type_traits> |
||
| template< class T > struct is_scalar; |
(seit C++11) | |
std::is_scalar ist ein UnaryTypeTrait.
Wenn T ein Skalar-Typ ist, stellt es die Mitgliedskonstante value gleich true bereit. Für jeden anderen Typ ist value false.
Wenn das Programm Spezialisierungen für std::is_scalar oder std::is_scalar_v 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_scalar_v = is_scalar<T>::value; |
(seit C++17) | |
Abgeleitet von std::integral_constant
Member-Konstanten
| value [static] |
true, wenn T ein Skalar-Typ ist, andernfalls false(ö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> |
[edit] Anmerkungen
Jeder einzelne Speicherort im C++-Speichermodell, einschließlich der durch Sprachfeatures (z.B. virtuelle Tabellenzeiger) verwendeten versteckten Speicherorte, hat einen Skalar-Typ (oder ist eine Sequenz von benachbarten Bitfeldern mit nicht-null Länge). Die Sequenzierung von Nebeneffekten bei der Ausdrucksauswertung, die Inter-Thread-Synchronisation und die Abhängigkeitsordnung sind alle für einzelne Skalarobjekte definiert.
[edit] Mögliche Implementierung
template<class T> struct is_scalar : std::integral_constant<bool, std::is_arithmetic<T>::value || std::is_enum<T>::value || std::is_pointer<T>::value || std::is_member_pointer<T>::value || std::is_null_pointer<T>::value> {}; |
[edit] Beispiel
Führen Sie diesen Code aus
#include <iostream> #include <type_traits> #include <typeinfo> #include <utility> template<typename Head, typename... Tail> void are_scalars(Head&& head, Tail&&... tail) { using T = std::decay_t<decltype(head)>; std::cout << typeid(T).name() << " is " << (std::is_scalar_v<T> ? "" : "not ") << "a scalar\n"; if constexpr (sizeof... (Tail)) { are_scalars(std::forward<decltype(tail)>(tail)...); } } int main() { struct S { int m; } s; int S::* mp = &S::m; enum class E { e }; are_scalars(42, 3.14, E::e, "str", mp, nullptr, s); }
Mögliche Ausgabe
int is a scalar double is a scalar main::E is a scalar char const* is a scalar int main::S::* is a scalar nullptr is a scalar main::S is not a scalar
[edit] Siehe auch
| (C++11) |
prüft, ob ein Typ ein arithmetischer Typ ist (Klassenvorlage) |
| (C++11) |
prüft, ob ein Typ ein Aufzählungstyp ist (Klassenvorlage) |
| (C++11) |
prüft, ob ein Typ ein Zeigertyp ist (Klassenvorlage) |
| (C++11) |
prüft, ob ein Typ ein Zeiger auf eine nicht-statische Memberfunktion oder ein Objekt ist (Klassenvorlage) |