您现在的位置：程式碼之家 >> 編程語言 > >> C語言 >> C++ >> C++ 入門

STL 記憶體輔助操作實作：uninitialized_copy、uninitialized_fill 等核心函式解析

編輯：C++ 入門

背景

STL 容器在配置記憶體時，需區分「原始記憶體分配」與「物件建構」。`` 頭檔提供一組底層演算法，在未初始化記憶體上直接建構物件，避免預設建構再賦值的開銷。本文解析核心實作邏輯。

核心函式分類

函式	用途
`uninitialized_copy`	將範圍 `[first, last)` 複製到未初始化記憶體 `result`，建構物件
`uninitialized_fill`	在 `[first, last)` 以值 `x` 建構物件
`uninitialized_fill_n`	從 `first` 起對 `n` 個位置以值 `x` 建構
`uninitialized_move`	(C++17) 移動建構
`destroy` / `destroy_n`	析構物件（不釋放記憶體）

關鍵實作策略：型別特徵優化

對 **POD 類型**（Plain Old Data，如 `int`、`char`、簡單結構體），物件建構等同於 `memcpy`/`memmove`，無需呼叫建構函式。STL 利用 `_type_traits`（或 C++11 `std::is_trivially_copyable`）在編譯期分派：

// 簡化版邏輯
template <class InputIt, class ForwardIt>
ForwardIt uninitialized_copy(InputIt first, InputIt last, ForwardIt result) {
    using ValueType = typename std::iterator_traits<ForwardIt>::value_type;
    
    if constexpr (std::is_trivially_copyable_v<ValueType>) {
        // POD：直接記憶體複製
        return (ForwardIt)std::memmove(result, first, (last - first) * sizeof(ValueType));
    } else {
        // 非 POD：逐個 placement new 建構
        ForwardIt cur = result;
        try {
            for (; first != last; ++first, ++cur)
                ::new (static_cast<void*>(&*cur)) ValueType(*first);
            return cur;
        } catch (...) {
            // 例外安全：已建構的物件需析構
            for (ForwardIt it = result; it != cur; ++it)
                (*it).~ValueType();
            throw;
        }
    }
}

針對 char/wchar_t 的特化

標準庫對 `char`、`wchar_t`（及 `signed char`、`unsigned char`）提供 `memmove` 特化，極致優化字串/緩衝區操作：

inline char* uninitialized_copy(const char* first, const char* last, char* result) {
    std::memmove(result, first, last - first);
    return result + (last - first);
}

例外安全保證

非 POD 類型建構時，若第 N 個物件建構拋出例外，前 N-1 個已建構物件**必須被析構**，避免資源洩漏。標準庫實作以 `try-catch` 區塊確保強烈例外安全。

配合配置器使用

容器實際使用 `allocator_traits::construct`/`destroy`，進一步封裝 placement new 與析構呼叫，支援自訂配置器。

現代 C++ (C++17+) 變化

新增 `uninitialized_move`、`uninitialized_move_n`、`uninitialized_value_construct` 等。
使用 `if constexpr` 取代標籤派發，程式碼更簡潔。
`std::construct_at` (C++20) 統一 placement new 介面。