std::default_delete

 

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)

 

定義於標頭檔案 <memory>
template< class T > struct default_delete;	(1)	(C++11 起)
template< class T > struct default_delete<T[]>;	(2)	(C++11 起)

std::default_delete 是 std::unique_ptr 在未指定刪除器時使用的預設銷燬策略。default_delete 的特化在典型實現中是空類，並用於空基類最佳化。

1) 非特化的 default_delete 使用 delete 為單個物件釋放記憶體。

2) 還提供了使用 delete[] 的陣列型別的部分特化。

成員函式

(建構函式)	構造一個 default_delete 物件 (公共成員函式)
operator()	刪除物件或陣列 (公共成員函式)

std::default_delete::default_delete

constexpr default_delete() noexcept = default;	(1)
主模板特化
template< class U > default_delete( const default_delete<U>& d ) noexcept;	(2)	(C++11 起) (C++23 起為 constexpr)
陣列特化
template< class U > default_delete( const default_delete<U[]>& d ) noexcept;	(3)	(C++11 起) (C++23 起為 constexpr)

1) 構造一個 std::default_delete 物件。

2) 從另一個 std::default_delete 物件構造一個 std::default_delete<T> 物件。

此過載僅當 U* 可隱式轉換為 T* 時才參與過載決議。

3) 從另一個 std::default_delete<U[]> 物件構造一個 std::default_delete<T[]> 物件。

此過載僅當 U(*)[] 可隱式轉換為 T(*)[] 時才參與過載決議。

引數

d

-

要從中複製的刪除器

注意

std::default_delete 的轉換建構函式模板使得 std::unique_ptr<Derived> 可以隱式轉換為 std::unique_ptr<Base>。

std::default_delete::operator()

主模板特化
void operator()( T* ptr ) const;	(1)	(C++11 起) (C++23 起為 constexpr)
陣列特化
template< class U > void operator()( U* ptr ) const;	(2)	(C++11 起) (C++23 起為 constexpr)

1) 對 ptr 呼叫 delete。

2) 對 ptr 呼叫 delete[]。

此過載僅當 U(*)[] 可隱式轉換為 T(*)[] 時才參與過載決議。

如果 U 是不完整型別，則程式非良構。

引數

ptr

-

要刪除的物件或陣列

異常

無異常保證。

對不完整型別呼叫

在呼叫 operator() 的程式碼點，型別必須是完整的。在某些實現中，使用 static_assert 來確保這一點。此要求的原因是，如果完整類型別具有非平凡解構函式或解除分配函式，則在 C++ 中對不完整型別呼叫 delete 是未定義行為，因為編譯器無法知道是否存在此類函式以及是否必須呼叫它們。

注意

特性測試宏	值	標準	特性
__cpp_lib_constexpr_memory	202202L	(C++23)	constexpr 建構函式和 operator()

示例

執行此程式碼

#include <algorithm>
#include <memory>
#include <vector>
 
int main()
{
//  {
//      std::shared_ptr<int> shared_bad(new int[10]);
//  } // the destructor calls delete, undefined behavior
 
    {
        std::shared_ptr<int> shared_good(new int[10], std::default_delete<int[]>());
    } // OK: the destructor calls delete[]
 
    {
        std::unique_ptr<int> ptr(new int(5));
    } // unique_ptr<int> uses default_delete<int>
 
    {
        std::unique_ptr<int[]> ptr(new int[10]);
    } // unique_ptr<int[]> uses default_delete<int[]>
 
    // default_delete can be used anywhere a delete functor is needed
    std::vector<int*> v;
    for (int n = 0; n < 100; ++n)
        v.push_back(new int(n));
    std::for_each(v.begin(), v.end(), std::default_delete<int>());
}

缺陷報告

下列更改行為的缺陷報告追溯地應用於以前出版的 C++ 標準。

缺陷報告	應用於	釋出時的行為	正確的行為
LWG 2118	C++11	陣列特化的成員函式拒絕限定轉換	接受

另請參閱

unique_ptr (C++11)

具有唯一物件所有權語義的智慧指標 (類模板)