Namensräume
Varianten
Aktionen

std::is_member_pointer

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)
(C++11)
is_member_pointer
(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_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

#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

prüft, ob ein Typ ein Zeigertyp ist
(Klassenvorlage) [bearbeiten]
prüft, ob ein Typ ein Zeiger auf ein nicht-statisches Member-Objekt ist
(Klassenvorlage) [bearbeiten]
prüft, ob ein Typ ein Zeiger auf eine nicht-statische Memberfunktion ist
(Klassenvorlage) [bearbeiten]