std::ranges::uninitialized_move_n, std::ranges::uninitialized_move_n_result

 

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>
呼叫簽名 (Call signature)
template< std::input_iterator I,           no-throw-forward-iterator O, no-throw-sentinel-for<O> S >     requires std::constructible_from<std::iter_value_t<O>,                                      std::iter_rvalue_reference_t<I>> uninitialized_move_n_result<I, O>     uninitialized_move_n( I ifirst, std::iter_difference_t<I> count,                           O ofirst, S olast );	(1)	(C++20 起) (C++26 起為 constexpr)
輔助型別
template< class I, class O > using uninitialized_move_n_result = ranges::in_out_result<I, O>;	(2)	(C++20 起)

設 \(\scriptsize N\)N 為 ranges::min(count, ranges::distance(ofirst, olast))。

將從 ifirst 開始的範圍中的 \(\scriptsize N\)N 個元素（如果支援則使用移動語義）複製到未初始化的記憶體區域 [ofirst, olast)，如同透過 auto ret = ranges::uninitialized_move(std::counted_iterator(std::move(ifirst), count),
                                      std::default_sentinel, ofirst, olast);
return {std::move(ret.in).base(), ret.out};。

如果在初始化期間丟擲異常，則已在 [ofirst, olast) 中構造的物件將以未指定順序銷燬。此外，輸入範圍中從 ifirst 開始且已移動的物件將處於有效但未指定的狀態。

如果 [ofirst, olast) 與 ifirst + [​0​, count) 重疊，則行為未定義。

本頁描述的類函式實體是 演算法函式物件（非正式地稱為 niebloids），即

• 呼叫它們中的任何一個時，不能指定顯式模板引數列表。
• 它們中的任何一個都對 引數依賴查詢 不可見。
• 當透過 普通非限定查詢 在函式呼叫運算子的左側找到其中任何一個名稱時，將禁止實參依賴查詢。

引數

ifirst	-	要移動的元素輸入範圍的開始
ofirst, olast	-	定義要初始化的元素輸出範圍的迭代器-哨兵對
n	-	要移動的元素數量

返回值

如上所述。

複雜度

\(\scriptsize\mathcal{O}(N)\)𝓞(N)。

異常

在目標範圍內構造元素時丟擲的任何異常。

注意

如果輸出範圍的值型別是TrivialType，則實現可以提高 ranges::uninitialized_move_n 的效率，例如透過使用 ranges::copy_n。

特性測試宏	值	標準	特性
__cpp_lib_raw_memory_algorithms	202411L	(C++26)	constexpr 對於未初始化記憶體演算法，(1)

可能的實現

struct uninitialized_move_n_fn { template<std::input_iterator I, no-throw-forward-iterator O, no-throw-sentinel-for<O> S> requires std::constructible_from<std::iter_value_t<O>, std::iter_rvalue_reference_t<I>> constexpr ranges::uninitialized_move_n_result<I, O> operator()(I ifirst, std::iter_difference_t<I> count, O ofirst, S olast) const { auto iter = std::counted_iterator(std::move(ifirst), count); auto ret = ranges::uninitialized_move(iter, std::default_sentinel, ofirst, olast); return {std::move(ret.in).base(), ret.out}; } };   inline constexpr uninitialized_move_n_fn uninitialized_move_n{};

示例

執行此程式碼

#include <cstdlib>
#include <iomanip>
#include <iostream>
#include <memory>
#include <string>
 
void print(auto rem, auto first, auto last)
{
    for (std::cout << rem; first != last; ++first)
        std::cout << std::quoted(*first) << ' ';
    std::cout << '\n';
}
 
int main()
{
    std::string in[]{ "No", "Diagnostic", "Required", };
    print("initially, in: ", std::begin(in), std::end(in));
 
    if (
        constexpr auto sz = std::size(in);
        void* out = std::aligned_alloc(alignof(std::string), sizeof(std::string) * sz)
    )
    {
        try
        {
            auto first{static_cast<std::string*>(out)};
            auto last{first + sz};
            std::ranges::uninitialized_move_n(std::begin(in), sz, first, last);
 
            print("after move, in: ", std::begin(in), std::end(in));
            print("after move, out: ", first, last);
 
            std::ranges::destroy(first, last);
        }
        catch (...)
        {
            std::cout << "Exception!\n";
        }
        std::free(out);
    }
}

可能的輸出

initially, in: "No" "Diagnostic" "Required"
after move, in: "" "" ""
after move, out: "No" "Diagnostic" "Required"

缺陷報告

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

缺陷報告	應用於	釋出時的行為	正確的行為
LWG 3870	C++20	此演算法可能在 const 儲存上建立物件	保持不允許

參閱

ranges::uninitialized_move (C++20)	將一系列物件移動到未初始化記憶體區域 (演算法函式物件)
uninitialized_move_n (C++17)	將多個物件移動到未初始化記憶體區域 (函式模板)