Namensräume
Varianten
Aktionen

std::is_scalar

Von cppreference.com
< cpp‎ | types
 
 
Metaprogrammierungsbibliothek
Typmerkmale
Typkategorien
(C++11)
(C++11)(DR*)
(C++11)
(C++11)
(C++11)
(C++11)
(C++11)
(C++11) 
(C++11)
is_scalar
(C++11)
Typeneigenschaften
(C++11)
(C++11)
(C++14)
(C++11)(deprecated in C++26)
(C++11)(bis C++20*)
(C++11)(veraltet in C++20)
(C++11)
Typmerkmalskonstanten
Metafunktionen
(C++17)
Unterstützte Operationen
Beziehungen und Eigenschaftsabfragen
Typmodifikationen
(C++11)(C++11)(C++11)
Typentransformationen
(C++11)(veraltet in C++23)
(C++11)(veraltet in C++23)
(C++11)
(C++11)(bis C++20*)(C++17)

(C++11)
(C++11)
(C++17)
Rationale Arithmetik zur Compilezeit
Ganzzahlsequenzen zur Compilezeit
 
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

#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

prüft, ob ein Typ ein arithmetischer Typ ist
(Klassenvorlage) [bearbeiten]
(C++11)
prüft, ob ein Typ ein Aufzählungstyp ist
(Klassenvorlage) [bearbeiten]
prüft, ob ein Typ ein Zeigertyp ist
(Klassenvorlage) [bearbeiten]
prüft, ob ein Typ ein Zeiger auf eine nicht-statische Memberfunktion oder ein Objekt ist
(Klassenvorlage) [bearbeiten]