std::is_member_pointer
Von cppreference.com
| Definiert in der Kopfdatei <type_traits> |
||
| template< class T > struct is_member_pointer; |
(seit C++11) | |
std::is_member_pointer ist ein UnaryTypeTrait.
Wenn T ein Zeiger auf ein nicht-statisches Member-Objekt oder ein Zeiger auf eine nicht-statische Member-Funktion ist, liefert die Member-Konstante value den Wert true. Für jeden anderen Typ ist value false.
Wenn das Programm Spezialisierungen für std::is_member_pointer oder std::is_member_pointer_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_member_pointer_v = is_member_pointer<T>::value; |
(seit C++17) | |
Abgeleitet von std::integral_constant
Member-Konstanten
| value [static] |
true, wenn T ein Member-Pointer-Typ ist, ansonsten 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] Mögliche Implementierung
template<class T> struct is_member_pointer_helper : std::false_type {}; template<class T, class U> struct is_member_pointer_helper<T U::*> : std::true_type {}; template<class T> struct is_member_pointer : is_member_pointer_helper<typename std::remove_cv<T>::type> {}; |
[edit] Beispiel
Führen Sie diesen Code aus
#include <cassert> #include <type_traits> static_assert(!std::is_member_pointer_v<int*>); struct S { int i{42}; int foo() { return 0xF00; } }; using mem_int_ptr_t = int S::*; using mem_fun_ptr_t = int (S::*)(); static_assert(std::is_member_pointer_v<mem_int_ptr_t>); static_assert(std::is_member_pointer_v<mem_fun_ptr_t>); int main() { S s; mem_int_ptr_t pm = &S::i; assert(s.i == s.*pm); mem_fun_ptr_t pmf = &S::foo; assert((s.*pmf)() == s.foo()); }
[edit] Siehe auch
| (C++11) |
prüft, ob ein Typ ein Zeigertyp ist (Klassenvorlage) |
| (C++11) |
prüft, ob ein Typ ein Zeiger auf ein nicht-statisches Member-Objekt ist (Klassenvorlage) |
| (C++11) |
prüft, ob ein Typ ein Zeiger auf eine nicht-statische Memberfunktion ist (Klassenvorlage) |