std::remove_pointer - cppreference.com
De cppreference.com
|
|
(desde C++11) | |
Proporciona la definición de tipo (typedef) miembro type, que es el tipo al que apunta T, o, si T no es un puntero, entonces type es el mismo que T.
El comportamiento de un programa que añade especializaciones para remove_pointer no está definido.
Tipos miembro
| Nombre | Definición |
type
|
El tipo al que apunta T, o T si no es un puntero.
|
Tipos auxiliares
|
|
(desde C++14) | |
Posible implementación
template< class T > struct remove_pointer {typedef T type;}; template< class T > struct remove_pointer<T*> {typedef T type;}; template< class T > struct remove_pointer<T* const> {typedef T type;}; template< class T > struct remove_pointer<T* volatile> {typedef T type;}; template< class T > struct remove_pointer<T* const volatile> {typedef T type;};
Ejemplo
#include <iostream> #include <type_traits> template<class T1, class T2> void print_is_same() { std::cout << std::is_same<T1, T2>() << '\n'; } void print_separator() { std::cout << "-----\n"; } int main() { std::cout << std::boolalpha; print_is_same<int, int>(); // verdadero print_is_same<int, int*>(); // falso print_is_same<int, int**>(); // falso print_separator(); print_is_same<int, std::remove_pointer<int>::type>(); // verdadero print_is_same<int, std::remove_pointer<int*>::type>(); // verdadero print_is_same<int, std::remove_pointer<int**>::type>(); // falso print_separator(); print_is_same<int, std::remove_pointer<int* const>::type>(); // verdadero print_is_same<int, std::remove_pointer<int* volatile>::type>(); // verdadero print_is_same<int, std::remove_pointer<int* const volatile>::type>(); // verdadero }
Salida:
true false false ----- true true false ----- true true true