- memory[meta header]
- std::ranges[meta namespace]
- function template[meta id-type]
- cpp20[meta cpp]
namespace std::ranges {
template <class I, class O>
using uninitialized_copy_result = in_out_result<I, O>;
template <input_iterator I, sentinel_for<I> S1,
no-throw-forward-iterator O, no-throw-sentinel<O> S2>
requires constructible_from<iter_value_t<O>, iter_reference_t<I>>
uninitialized_copy_result<I, O>
uninitialized_copy(I ifirst,
S1 ilast,
O ofirst,
S2 olast); // (1) C++20
template <input_iterator I, sentinel_for<I> S1,
no-throw-forward-iterator O, no-throw-sentinel<O> S2>
requires constructible_from<iter_value_t<O>, iter_reference_t<I>>
constexpr uninitialized_copy_result<I, O>
uninitialized_copy(I ifirst,
S1 ilast,
O ofirst,
S2 olast); // (1) C++26
template <input_range IR, no-throw-forward-range OR>
requires constructible_from<range_value_t<OR>, range_reference_t<IR>>
uninitialized_copy_result<
borrowed_iterator_t<IR>,
borrowed_iterator_t<OR>
>
uninitialized_copy(IR&& in_range,
OR&& out_range); // (2) C++20
template <input_range IR, no-throw-forward-range OR>
requires constructible_from<range_value_t<OR>, range_reference_t<IR>>
constexpr uninitialized_copy_result<
borrowed_iterator_t<IR>,
borrowed_iterator_t<OR>
>
uninitialized_copy(IR&& in_range,
OR&& out_range); // (2) C++26
}- in_out_result[link /reference/algorithm/ranges_in_out_result.md]
- input_iterator[link /reference/iterator/input_iterator.md]
- sentinel_for[link /reference/iterator/sentinel_for.md]
- no-throw-forward-iterator[link no-throw-forward-iterator.md]
- no-throw-sentinel[link no-throw-sentinel.md]
- constructible_from[link /reference/concepts/constructible_from.md]
- iter_reference_t[link /reference/iterator/iter_reference_t.md]
- input_range[link /reference/ranges/input_range.md]
- no-throw-forward-range[link no-throw-forward-range.md]
- range_value_t[link /reference/ranges/range_value_t.md]
- range_reference_t[link /reference/ranges/range_reference_t.md]
- borrowed_iterator_t[link /reference/ranges/borrowed_iterator_t.md]
未初期化領域のイテレータ範囲（out_range、[ofirst, olast)）を配置newで入力イテレータ範囲（in_range、[ifirst, ilast)）の対応する要素から初期化してムーブ出力する。
- (1): イテレータ範囲を指定する
- (2): Rangeを直接指定する
- (1):
Iがinput_iteratorであるS1がIに対する番兵であるOがno-throw-forward-iteratorであるS2がOに対する例外を投げない番兵であるOの要素型が、Iの要素型を引数として構築可能である
- (2):
IRがinput_rangeであるORがno-throw-forward-rangeであるORの要素型が、IRの要素型を引数として構築可能である
- イテレータ範囲
[ofirst, olast)が[ifirst, ilast)と重ならないこと
説明用の関数voidifyがあるとして、
template<class T>
constexpr void* voidify(T& obj) noexcept {
return const_cast<void*>(static_cast<const volatile void*>(addressof(obj)));
}- addressof[link addressof.md]
以下と等価である：
for (; ifirst != ilast && ofirst != olast; ++ofirst, (void)++ifirst) {
::new (voidify(*ofirst)) remove_reference_t<iter_reference_t<O>>(*ifirst);
}
return {std::move(ifirst), ofirst};- remove_reference_t[link /reference/type_traits/remove_reference.md]
- iter_reference_t[link /reference/iterator/iter_reference_t.md]
- std::move[link /reference/utility/move.md]
呼び出すコンストラクタなどから例外がスローされた場合、その例外がこの関数の外側に伝播される前に、その時点で構築済のオブジェクトは全て未規定の順序で破棄される。すなわち、例外がスローされた場合は初期化対象領域は未初期化のままとなる。
#include <iostream>
#include <memory>
#include <vector>
#include <algorithm>
int main()
{
const std::vector<int> v = {1, 2, 3};
std::allocator<int> alloc;
// メモリ確保。
// この段階では、[p, p + size)の領域は未初期化
const std::size_t size = 3;
int* p = alloc.allocate(size);
// 未初期化領域pを初期化しつつ範囲vから要素をコピー
std::ranges::uninitialized_copy(v, std::ranges::subrange{p, p + size});
// pの領域が初期化され、かつvからpに要素がコピーされているか確認
std::for_each(p, p + size, [](int x) {
std::cout << x << std::endl;
});
// 要素を破棄
std::ranges::destroy(p, p + size);
// メモリ解放
alloc.deallocate(p, size);
}- std::ranges::uninitialized_copy[color ff0000]
- std::ranges::subrange[link /reference/ranges/subrange.md]
- std::allocator[link allocator.md]
- alloc.allocate[link allocator/allocate.md]
- std::ranges::destroy[link ranges_destroy.md]
- alloc.deallocate[link allocator/deallocate.md]
1
2
3
- C++20
- Clang: 16.0 [mark verified]
- GCC: 10.2.0 [mark verified]
- Visual C++: 2019 Update 10 [mark verified]