std::add_pointer
Von cppreference.com
| Definiert in der Kopfdatei <type_traits> |
||
| template< class T > struct add_pointer; |
(seit C++11) | |
Wenn T ein referenzierbarer Typ oder (möglicherweise cv-qualifiziertes) void ist, dann ist der Member-Typedef type typename std::remove_reference<T>::type*.
Andernfalls ist der Member-Typedef type T.
Wenn das Programm Spezialisierungen für std::add_pointer hinzufügt, ist das Verhalten undefiniert.
Inhalt |
[edit] Verschachtelte Typen
| Name | Definition |
type
|
wie oben bestimmt |
[edit] Hilfstypen
| template< class T > using add_pointer_t = typename add_pointer<T>::type; |
(seit C++14) | |
[edit] Mögliche Implementierung
namespace detail { template<class T> struct type_identity { using type = T; }; // or use std::type_identity (since C++20) template<class T> auto try_add_pointer(int) -> type_identity<typename std::remove_reference<T>::type*>; // usual case template<class T> auto try_add_pointer(...) -> type_identity<T>; // unusual case (cannot form std::remove_reference<T>::type*) } // namespace detail template<class T> struct add_pointer : decltype(detail::try_add_pointer<T>(0)) {}; |
[edit] Beispiel
Führen Sie diesen Code aus
#include <iostream> #include <type_traits> template<typename F, typename Class> void ptr_to_member_func_cvref_test(F Class::*) { // F is an “abominable function type” using FF = std::add_pointer_t<F>; static_assert(std::is_same_v<F, FF>, "FF should be precisely F"); } struct S { void f_ref() & {} void f_const() const {} }; int main() { int i = 123; int& ri = i; typedef std::add_pointer<decltype(i)>::type IntPtr; typedef std::add_pointer<decltype(ri)>::type IntPtr2; IntPtr pi = &i; std::cout << "i = " << i << '\n'; std::cout << "*pi = " << *pi << '\n'; static_assert(std::is_pointer_v<IntPtr>, "IntPtr should be a pointer"); static_assert(std::is_same_v<IntPtr, int*>, "IntPtr should be a pointer to int"); static_assert(std::is_same_v<IntPtr2, IntPtr>, "IntPtr2 should be equal to IntPtr"); typedef std::remove_pointer<IntPtr>::type IntAgain; IntAgain j = i; std::cout << "j = " << j << '\n'; static_assert(!std::is_pointer_v<IntAgain>, "IntAgain should not be a pointer"); static_assert(std::is_same_v<IntAgain, int>, "IntAgain should be equal to int"); ptr_to_member_func_cvref_test(&S::f_ref); ptr_to_member_func_cvref_test(&S::f_const); }
Ausgabe
i = 123 *pi = 123 j = 123
[edit] Fehlerberichte
Die folgenden Verhaltensändernden Fehlerberichte wurden rückwirkend auf zuvor veröffentlichte C++-Standards angewendet.
| DR | angewendet auf | Verhalten wie veröffentlicht | Korrigiertes Verhalten |
|---|---|---|---|
| LWG 2101 | C++11 | Das Programm war schlecht geformt, wenn T ein Funktionstyp mit cv oder ref war |
der in diesem Fall erzeugte Typ ist T |
[edit] Siehe auch
| (C++11) |
prüft, ob ein Typ ein Zeigertyp ist (Klassenvorlage) |
| (C++11) |
entfernt einen Zeiger vom gegebenen Typ (Klassenvorlage) |
