std::pointer_traits

 

C++

言語

標準ライブラリヘッダ

フリースタンディング処理系とホスト処理系

名前付き要件

言語サポートライブラリ

コンセプトライブラリ(C++20)

診断ライブラリ

ユーティリティライブラリ

文字列ライブラリ

コンテナライブラリ

イテレータライブラリ

範囲ライブラリ(C++20)

アルゴリズムライブラリ

数値演算ライブラリ

ローカライゼーションライブラリ

入出力ライブラリ

ファイルシステムライブラリ(C++17)

正規表現ライブラリ(C++11)

アトミック操作ライブラリ(C++11)

スレッドサポートライブラリ(C++11)

技術仕様書

 

ユーティリティライブラリ

言語サポート 型サポート (基本型、RTTI、型特性) ライブラリの機能テストマクロ (C++20) 動的メモリ管理 プログラムユーティリティ エラー処理 コルーチンサポート(C++20) 可変長引数関数 launder (C++17) initializer_list (C++11) source_location (C++20) 三方比較 (C++20) three_way_comparablethree_way_comparable_with (C++20)(C++20) strong_ordering (C++20) weak_ordering (C++20) partial_ordering (C++20) common_comparison_category (C++20) compare_three_way_result (C++20) compare_three_way (C++20) strong_order (C++20) weak_order (C++20) partial_order (C++20) compare_strong_order_fallback (C++20) compare_weak_order_fallback (C++20) compare_partial_order_fallback (C++20) is_eqis_neqis_ltis_lteqis_gtis_gteq (C++20)(C++20)(C++20)(C++20)(C++20)(C++20)

汎用ユーティリティ 日付と時間 関数オブジェクト 書式化ライブラリ(C++20) bitset hash (C++11) integer_sequence (C++14) 関係演算子 (C++20で非推奨) rel_ops::operator!=rel_ops::operator>rel_ops::operator<=rel_ops::operator>= 整数比較関数 cmp_equalcmp_not_equalcmp_lesscmp_greatercmp_less_thancmp_greater_than (C++20)(C++20)(C++20)(C++20)(C++20)(C++20) in_range (C++20) スワップと型操作 swap ranges::swap (C++20) exchange (C++14) declval (C++11) forward (C++11) move (C++11) move_if_noexcept (C++11) as_const (C++17) 一般的な語彙の型 pair tuple (C++11) apply (C++17) make_from_tuple (C++17) optional (C++17) any (C++17) variant (C++17) 初等文字列変換 to_chars (C++17) from_chars (C++17) chars_format (C++17)

 

動的メモリ管理

スマートポインタ unique_ptr (C++11) shared_ptr (C++11) weak_ptr (C++11) auto_ptr (C++17未満) owner_less (C++11) enable_shared_from_this (C++11) bad_weak_ptr (C++11) default_delete (C++11) アロケータ allocator allocator_traits (C++11) allocator_arg_t (C++11) 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)

未初期化記憶域 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) 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) raw_storage_iterator (C++20未満) get_temporary_buffer (C++20未満) return_temporary_buffer (C++20未満) ガベージコレクションサポート declare_reachable (C++11) undeclare_reachable (C++11) declare_no_pointers (C++11) undeclare_no_pointers (C++11) pointer_safety (C++11) get_pointer_safety (C++11) その他 pointer_traits (C++11) to_address (C++20) addressof (C++11) align (C++11) assume_aligned (C++20) C のライブラリ malloc aligned_alloc (C++17) calloc realloc free 低水準のメモリ管理

 

ヘッダ <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 は Allocator によって要求される様々な typedef のためのデフォルトを決定するために pointer_traits に頼っています。

1) 特殊化されていない pointer_traits は以下の型を宣言します。

メンバ型

型	定義
pointer	Ptr
element_type	存在すれば Ptr::element_type、そうでなく Ptr がテンプレート Template<T, Args...> の実体化であれば T
difference_type	存在すれば Ptr::difference_type、そうでなければ std::ptrdiff_t

メンバエイリアステンプレート

テンプレート	定義
template <class U> using rebind	存在すれば Ptr::rebind<U>、そうでなく Ptr がテンプレート Template<T, Args...> の実体化であれば Template<U, Args...>

メンバ関数

pointer_to [静的]

引数を指す逆参照可能なポインタを取得します (パブリック静的メンバ関数)

2) 以下の型を宣言する、ポインタ型 T* に対する特殊化が提供されます。

メンバ型

型	定義
pointer	T*
element_type	T
difference_type	std::ptrdiff_t

メンバエイリアステンプレート

テンプレート	定義
template< class U > using rebind	U*

メンバ関数

pointer_to [静的]

引数を指す逆参照可能なポインタを取得します (パブリック静的メンバ関数)

3) ユーザ定義のファンシーポインタ型に対する特殊化は追加の静的メンバ関数を定義しても構いません。

オプショナルなメンバ関数

to_address [静的](C++20)

ファンシーポインタから生のポインタを取得します (pointer_to の逆) (パブリック静的メンバ関数)

ノート

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);

例

Run this code

#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(){ BlockList<int*> bl1;// bl1.free_blocks の型は block* です。   BlockList<std::shared_ptr<char>> bl2;// bl2.free_blocks の型は std::shared_ptr<block> です。std::cout<< bl2.free_blocks.use_count()<<'\n';}

出力:

​0​

関連項目

allocator_traits (C++11)	アロケータ型に関する情報を提供します (クラステンプレート)
addressof (C++11)	& 演算子がオーバーロードされている場合でも、オブジェクトの実際のアドレスを取得します (関数テンプレート)