std::add_pointer

 

C++

Язык

Заголовочные файлы

Концепты

Поддержка языка

Ошибка

Утилиты

Строки

Контейнеры

Алгоритмы

Итераторы

Работа с числами

Ввод/вывод

Локализация

Регулярные выражения (C++11)

Атомарные операции (C++11)

Потоки (C++11)

Файловая система (C++17)

Технические спецификации

 

Утилиты библиотеки

Поддежка типов (базовые типы, RTTI, type traits)

Динамическое управление памятью

Обработка ошибок

Управление жизненным циклом программы

Функции с переменным числом аргументов

Дата и время

Функциональные объекты

initializer_list (C++11)

bitset

hash (C++11)

Реляционные операторы

rel_ops::operator!=rel_ops::operator>rel_ops::operator<=rel_ops::operator>=

Пары и кортежи

pair

tuple (C++11)

piecewise_construct_t (C++11)

piecewise_construct (C++11)

Обмен, передача и перемещение

swap

forward (C++11)

move (C++11)

move_if_noexcept (C++11)

declval (C++11)

 

Поддержка типов

Основные типы Оригинал: Basic types Текст был переведён автоматически используя Переводчик Google. Вы можете проверить и исправить перевод. Для инструкций щёлкните сюда.
Основные типы
Исправлены типы целых ширину (C++11)
ptrdiff_t size_t max_align_t (C++11)	nullptr_t (C++11) offsetof NULL
Числовые пределы Оригинал: Numeric limits Текст был переведён автоматически используя Переводчик Google. Вы можете проверить и исправить перевод. Для инструкций щёлкните сюда.
numeric_limits
С числовым ограничивает интерфейс
Время тип информации Оригинал: Runtime type information Текст был переведён автоматически используя Переводчик Google. Вы можете проверить и исправить перевод. Для инструкций щёлкните сюда.
type_info type_index (C++11)	bad_typeid bad_cast
Тип черты Оригинал: Type traits Текст был переведён автоматически используя Переводчик Google. Вы можете проверить и исправить перевод. Для инструкций щёлкните сюда.
Первичные категории типа Оригинал: Primary type categories Текст был переведён автоматически используя Переводчик Google. Вы можете проверить и исправить перевод. Для инструкций щёлкните сюда.
is_void (C++11) is_array (C++11) is_pointer (C++11) is_enum (C++11) is_union (C++11) is_class (C++11) is_function (C++11)	is_object (C++11) is_scalar (C++11) is_compound (C++11) is_integral (C++11) is_floating_point (C++11) is_fundamental (C++11) is_arithmetic (C++11)
is_reference (C++11)
is_lvalue_reference (C++11)
is_rvalue_reference (C++11)
is_member_pointer (C++11)
is_member_object_pointer (C++11)
is_member_function_pointer (C++11)

Тип свойства Оригинал: Type properties Текст был переведён автоматически используя Переводчик Google. Вы можете проверить и исправить перевод. Для инструкций щёлкните сюда.
is_const (C++11) is_volatile (C++11) is_pod (C++11) is_empty (C++11) is_polymorphic (C++11) is_abstract (C++11)	is_trivial (C++11) is_trivially_copyable (C++11) is_standard_layout (C++11) is_literal_type (C++11) is_signed (C++11) is_unsigned (C++11)

Поддерживаемые операции Оригинал: Supported operations Текст был переведён автоматически используя Переводчик Google. Вы можете проверить и исправить перевод. Для инструкций щёлкните сюда.
is_constructibleis_trivially_constructibleis_nothrow_constructible (C++11)(C++11)(C++11)
is_default_constructibleis_trivially_default_constructibleis_nothrow_default_constructible (C++11)(C++11)(C++11)
is_copy_constructibleis_trivially_copy_constructibleis_nothrow_copy_constructible (C++11)(C++11)(C++11)
is_move_constructibleis_trivially_move_constructibleis_nothrow_move_constructible (C++11)(C++11)(C++11)
is_assignableis_trivially_assignableis_nothrow_assignable (C++11)(C++11)(C++11)
is_copy_assignableis_trivially_copy_assignableis_nothrow_copy_assignable (C++11)(C++11)(C++11)
is_move_assignableis_trivially_move_assignableis_nothrow_move_assignable (C++11)(C++11)(C++11)
is_destructibleis_trivially_destructibleis_nothrow_destructible (C++11)(C++11)(C++11)
has_virtual_destructor (C++11)
Отношения собственности и запросов Оригинал: Relationships and property queries Текст был переведён автоматически используя Переводчик Google. Вы можете проверить и исправить перевод. Для инструкций щёлкните сюда.
is_same (C++11) is_base_of (C++11) is_convertible (C++11)	alignment_of (C++11) rank (C++11) extent (C++11)
Тип модификаций Оригинал: Type modifications Текст был переведён автоматически используя Переводчик Google. Вы можете проверить и исправить перевод. Для инструкций щёлкните сюда.
remove_cvremove_constremove_volatile (C++11)(C++11)(C++11) add_cvadd_constadd_volatile (C++11)(C++11)(C++11) make_signed (C++11) make_unsigned (C++11)	remove_reference (C++11) add_lvalue_referenceadd_rvalue_reference (C++11)(C++11) remove_pointer (C++11) add_pointer (C++11) remove_extent (C++11) remove_all_extents (C++11)
Тип преобразования Оригинал: Type transformations Текст был переведён автоматически используя Переводчик Google. Вы можете проверить и исправить перевод. Для инструкций щёлкните сюда.
aligned_storage (C++11) aligned_union (C++11) decay (C++11) enable_if (C++11)	conditional (C++11) common_type (C++11) underlying_type (C++11) result_of (C++11)
Характеристики типов констант Оригинал: Type trait constants Текст был переведён автоматически используя Переводчик Google. Вы можете проверить и исправить перевод. Для инструкций щёлкните сюда.
integral_constant (C++11)

 

Определён в заголовочном файле <type_traits>
template< class T > struct add_pointer;		(начиная с C++11)

Если T является типом ссылки, то предоставляет определение типа в члене type, которое будет равно указателю на тип, на который указывает ссылка, иначе если T является именем типа объекта, функции, у которой нет cv-квалификатора или квалификатора ссылки (начиная с C++17), void, то оно будет равен T*.

Иначе (если T является типом функции, который содержит в себе cv-квалификатор или квалификатор ссылки), то оно будет содержать T.

(начиная с C++17)

Типы-члены

Имя	Определение
type	Указатель на T, или тип, на который указывает T

Вспомогательные типы

template< class T > using add_pointer_t = typename add_pointer<T>::type;		(начиная с C++14)

Возможная реализация

namespace detail { template< class T, bool is_function_type = false > struct add_pointer { using type = typename std::remove_reference<T>::type*; };   template< class T > struct add_pointer<T, true> { using type = T; };   template< class T, class... Args > struct add_pointer<T(Args...), true> { using type = T(*)(Args...); };   template< class T, class... Args > struct add_pointer<T(Args..., ...), true> { using type = T(*)(Args..., ...); };   } // namespace detail   template< class T > struct add_pointer : detail::add_pointer<T, std::is_function<T>::value> {};

Пример

Запустить этот код

#include <iostream>
#include <type_traits>
 
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<IntPtr>::value, "IntPtr должен быть указателем");
    static_assert(std::is_same<IntPtr, int*>::value, "IntPtr должен быть указателем на int");
    static_assert(std::is_same<IntPtr2, IntPtr>::value, "IntPtr2 должен быть равным IntPtr");
 
    typedef std::remove_pointer<IntPtr>::type IntAgain;
    IntAgain j = i;
    std::cout << "j = " << j << "\n";
 
    static_assert(!std::is_pointer<IntAgain>::value, "IntAgain не должен быть указателем");
    static_assert(std::is_same<IntAgain, int>::value, "IntAgain должен быть int");
}

Вывод:

i = 123
*pi = 123
j = 123

См. также

is_pointer (C++11)	Проверяет является ли тип типом указателя или нет (шаблон класса)
remove_pointer (C++11)	Удаляет указатель от данного типа (шаблон класса)