std::pointer_traits

 

C++

編譯器支援

自由（freestanding）與宿主（hosted）

語言

標準庫

標準庫標頭檔案

具名要求

特性測試宏 (C++20)

語言支援庫

概念庫 (C++20)

診斷庫

記憶體管理庫

超程式設計庫 (C++11)

通用工具庫

容器庫

迭代器庫

範圍庫 (C++20)

演算法庫

字串庫

文字處理庫

數值庫

日期和時間庫

輸入/輸出庫

檔案系統庫 (C++17)

併發支援庫 (C++11)

執行控制庫 (C++26)

技術規範

符號索引

外部庫

 

記憶體管理庫

voidify (僅作說明*) 未初始化記憶體演算法 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) 受約束的未初始化 記憶體演算法 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) C 庫 malloc calloc realloc aligned_alloc (C++17) free

分配器 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) owner_hash (C++26) owner_equal (C++26) 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 (C++11) set_new_handler launder (C++17) bad_alloc bad_array_new_length (C++11) nothrow_t align_val_t (C++17) destroying_delete_t (C++20) new_handler nothrow 雜項 pointer_traits (C++11) to_address (C++20) addressof (C++11) align (C++11) assume_aligned (C++20) is_sufficiently_aligned (C++26)

 

std::pointer_traits

成員函式

pointer_traits::pointer_to (C++11)

pointer_traits::to_address (C++20)(optional)

 

定義於標頭檔案 <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 所需的各種 typedef 的預設值。

1) 非特化的 pointer_traits 有條件地宣告以下成員

設 /*element-type-of*/<Ptr> 為

• Ptr::element_type 如果存在；
• 否則，如果 Ptr 是類模板特化 Template<T, Args...>，其中 Args... 是零個或多個型別引數，則為 T；
• 否則，未定義。

如果 /*element-type-of*/<Ptr> 未定義，則主模板沒有本頁面中指定的成員。

成員型別

型別	定義
pointer	Ptr
element_type	/*element-type-of*/<Ptr>
difference_type	Ptr::difference_type 如果存在，否則 std::ptrdiff_t

成員別名模板

Template	定義
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	定義
template< class U > using rebind	U*

成員函式

pointer_to [靜態]

獲取指向其引數的可解引用指標 (公共靜態成員函式)

程式定義特化的可選成員函式

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

使用者定義的花式指標型別的特化可以提供一個額外的靜態成員函式 to_address 來定製 std::to_address 的行為。

(C++20 起)

特性測試宏	值	標準	特性
__cpp_lib_constexpr_memory	201811L	(C++20)	std::pointer_traits 中的 constexpr

示例

執行此程式碼

#include <iostream>
#include <memory>
 
template<class Ptr>
struct BlockList
{
    // Predefine a memory block
    struct block;
 
    // Define a pointer to a memory block from the kind of pointer Ptr s
    // If Ptr is any kind of T*, block_ptr_t is block*
    // If Ptr is smart_ptr<T>, block_ptr_t is 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;
    // The type of bl1.free_blocks is BlockList<int*>:: block*
 
    BlockList<std::shared_ptr<char>> bl2;
    // The type of bl2.free_blocks is
    // 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)	獲取物件的實際地址，即使 & 運算子被過載 (函式模板)