std::pointer_traits

 

C++

Поддержка компилятором

Автономные и размещённые реализации

Язык

Стандартная библиотека

Заголовки стандартной библиотеки

Требования к именованию

Макросы тестирования функциональности (C++20)

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

Библиотека концептов (C++20)

Библиотека метапрограммирования (C++11)

Библиотека диагностики

Библиотека общих утилит

Библиотека строк

Библиотека контейнеров

Библиотека итераторов

Библиотека диапазонов (C++20)

Библиотека алгоритмов

Библиотека численных данных

Библиотека ввода/вывода

Библиотека локализаций

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

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

Библиотека поддержки конкуренции (C++11)

Библиотека файловой системы (C++17)

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

Указатель символов

Внешние библиотеки

 

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

uninitialized_copy uninitialized_fill uninitialized_move (C++17) uninitialized_default_construct (C++17) uninitialized_value_construct (C++17) destroy (C++17) destroy_at (C++17) voidify (C++20) uninitialized_copy_n (C++11) uninitialized_fill_n uninitialized_move_n (C++17) uninitialized_default_construct_n (C++17) uninitialized_value_construct_n (C++17) destroy_n (C++17) construct_at (C++20) Ограниченные алгоритмы неинициализированной памяти ranges::uninitialized_copy (C++20) ranges::uninitialized_fill (C++20) ranges::uninitialized_move (C++20) ranges::construct_at (C++20) ranges::destroy (C++20) ranges::destroy_n (C++20) ranges::destroy_at (C++20) ranges::uninitialized_copy_n (C++20) ranges::uninitialized_fill_n (C++20) ranges::uninitialized_move_n (C++20) ranges::uninitialized_default_construct (C++20) ranges::uninitialized_value_construct (C++20) ranges::uninitialized_default_construct_n (C++20)   ranges::uninitialized_value_construct_n (C++20) allocator allocator_traits (C++11) allocation_result (C++23) allocator_arg (C++11) uses_allocator (C++11) uses_allocator_construction_args (C++20) make_obj_using_allocator (C++20) uninitialized_construct_using_allocator (C++20) scoped_allocator_adaptor (C++11) pmr::polymorphic_allocator (C++17) Ресурсы памяти pmr::memory_resource (C++17) pmr::get_default_resource (C++17) pmr::set_default_resource (C++17) pmr::new_delete_resource (C++17) pmr::null_memory_resource (C++17) pmr::synchronized_pool_resource (C++17) pmr::unsynchronized_pool_resource (C++17)   pmr::monotonic_buffer_resource (C++17) pmr::pool_options (C++17) Поддержка сбора мусора declare_reachable (C++11)(до C++23) undeclare_reachable (C++11)(до C++23) declare_no_pointers (C++11)(до C++23) undeclare_no_pointers (C++11)(до C++23) pointer_safety (C++11)(до C++23) get_pointer_safety (C++11)(до C++23) raw_storage_iterator (до C++20*) get_temporary_buffer (до C++20*) return_temporary_buffer (до C++20*) Явное управление временем жизни start_lifetime_asstart_lifetime_as_array (C++23)(C++23)

unique_ptr (C++11) shared_ptr (C++11) weak_ptr (C++11) auto_ptr (до C++17*) owner_less (C++11) owner_less<void> (C++17) enable_shared_from_this (C++11) bad_weak_ptr (C++11) default_delete (C++11) out_ptr_t (C++23) inout_ptr_t (C++23) operator new operator new[] operator delete operator delete[] get_new_handler set_new_handler launder (C++17) bad_alloc bad_array_new_length nothrow_t align_val_t destroying_delete_t new_handler nothrow pointer_traits (C++11) to_address (C++20) addressof (C++11) align (C++11) assume_aligned (C++20) Библиотека C malloc calloc realloc    aligned_alloc (C++17) free

 

std::pointer_traits

Функции-элементы

pointer_traits::pointer_to (C++11)

pointer_traits::to_address (C++20)(необязательно)

 

<tbody> </tbody>

Определено в заголовочном файле <memory>
template< class Ptr > struct pointer_traits;	(1)	(начиная с C++11)
template< class T > struct pointer_traits<T*>;	(2)	(начиная с C++11)

Шаблонный класс pointer_traits предоставляет стандартизированный способ доступа к определённым свойствам типов, подобных указателям (причудливые указатели, например boost::interprocess::offset_ptr). Стандартный шаблон std::allocator_traits использует pointer_traits для определения значений по умолчанию для различных определений типов, требуемых Allocator.

1) Неспециализированный pointer_traits условно объявляет следующие элементы:

Пусть /*тип-элемента*/<Ptr> будет

• Ptr::element_type, если присутствует;
• в противном случае T, если Ptr является специализацией шаблона класса Template<T, Args...>, где Args... это ноль или более аргументов типа;
• иначе не определено.

Если /*тип-элемента*/<Ptr> не определён, основной шаблон не имеет элементов, указанных на этой странице.

Типы элементы

Тип	Определение
pointer	Ptr
element_type	/*тип-элемента*/<Ptr>
difference_type	Ptr::difference_type, если присутствует, иначе std::ptrdiff_t

Элементы шаблоны псевдонимы

Шаблон	Определение
template <class U> using rebind	Ptr::rebind<U>, если существует, иначе Template<U, Args...>, если Ptr является специализацией шаблона Template<T, Args...>

Функции-элементы

pointer_to [static]

получает разыменованный указатель на свой аргумент (public static функция-элемент)

2) Для типов указателей предусмотрена специализация T*, которая объявляет следующие элементы:

Типы элементы

Тип	Определение
pointer	T*
element_type	T
difference_type	std::ptrdiff_t

Элементы шаблоны псевдонимы

Шаблон	Определение
template< class U > using rebind	U*

Функции-элементы

pointer_to [static]

получает разыменованный указатель на свой аргумент (public static функция-элемент)

Необязательные функции-элементы определяемых программой специализаций

to_address [static] (C++20)(необязательно)

получает сырой указатель из причудливого указателя (обратная pointer_to) (public static функция-элемент)

Примечание

Псевдоним шаблона rebind позволяет, учитывая тип, подобный указателю, который указывает на T, получить тот же тип, подобный указателю, который указывает на U. Например,

using another_pointer = std::pointer_traits<std::shared_ptr<int>>::rebind<double>;
static_assert(std::is_same<another_pointer, std::shared_ptr<double>>::value);

Специализация для определяемых пользователем причудливых типов указателей может предоставлять дополнительную статическую функцию-элемент to_address для настройки поведения std::to_address.

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

Макрос Тестирования функциональности	Значение	Стандарт	Функциональность
__cpp_lib_constexpr_memory	201811L	(C++20)	constexpr в std::pointer_traits

Пример

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

#include <memory>
#include <iostream>

template <class Ptr>
struct BlockList
{
    // Предопределённый блок памяти
    struct block;

    // Определяем указатель на блок памяти из указателя вида Ptr s
    // Если Ptr это любой тип T*, block_ptr_t равен block*
    // Если Ptr это smart_ptr<T>, block_ptr_t это smart_ptr<block>
    using block_ptr_t = typename std::pointer_traits<Ptr>::template rebind<block>;

    struct block
    {
        std::size_t size{};
        block_ptr_t next_block{};
    };

    block_ptr_t free_blocks;
};

int main()
{
    [[maybe_unused]]
    BlockList<int*> bl1;
    // Тип bl1.free_blocks это BlockList<int*>:: block*

    BlockList<std::shared_ptr<char>> bl2;
    // Тип bl2.free_blocks это
    // std::shared_ptr< BlockList<std::shared_ptr<char> >::block>
    std::cout << bl2.free_blocks.use_count() << '\n';
}

Вывод:

0

Отчёты о дефектах

Следующие изменения поведения были применены с обратной силой к ранее опубликованным стандартам C++:

Номер	Применён	Поведение в стандарте	Корректное поведение
LWG 3545	C++11	основной шаблон вызывал серьёзную ошибку, когда element_type был недействительным	сделано SFINAE-дружественным

Смотрите также

allocator_traits (C++11)	предоставляет информацию о типах аллокаторов (шаблон класса)
addressof (C++11)	получает фактический адрес объекта, даже если оператор & перегружен (шаблон функции)