namespace std::ranges {
template <class I, class O>
using uninitialized_copy_n_result = in_out_result<I, O>;
template <input_iterator I,
no-throw-forward-iterator O,
no-throw-sentinel<O> S>
requires constructible_from<iter_value_t<O>, iter_reference_t<I>>
uninitialized_copy_n_result<I, O>
uninitialized_copy_n(
I ifirst,
iter_difference_t<I> n,
O ofirst,
S olast
); // (1) C++20
}
概要
未初期化領域のイテレータ範囲[ofirst, ofirst + n)を配置newでイテレータ範囲[ifirst, ifirst + n)の対応する要素から初期化してコピー出力する。
- (1): イテレータ範囲を指定する
テンプレートパラメータ制約
- (1):
Iがinput_iteratorであるOがno-throw-forward-iteratorであるSがOに対する例外を投げない番兵であるOの要素型が、Iの要素型を引数として構築可能である
事前条件
- イテレータ範囲
[ofirst, olast)がifirst + [0, n)と重ならないこと
効果
以下と等価である：
auto t = uninitialized_copy(counted_iterator(ifirst, n),
default_sentinel, ofirst, olast);
return {std::move(t.in).base(), t.out};
例外
呼び出すコンストラクタなどから例外がスローされた場合、その例外がこの関数の外側に伝播される前に、その時点で構築済のオブジェクトは全て未規定の順序で破棄される。すなわち、例外がスローされた場合は初期化対象領域は未初期化のままとなる。
例
#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_n(v.begin(), size, p, p + size);
// pの領域が初期化され、かつvからpに要素がコピーされているか確認
std::for_each(p, p + size, [](int x) {
std::cout << x << std::endl;
});
// 要素を破棄
std::ranges::destroy_n(p, size);
// メモリ解放
alloc.deallocate(p, size);
}
出力
1
2
3
バージョン
言語
- C++20
処理系
- Clang: 16.0 ✅
- GCC: 10.2.0 ✅
- Visual C++: 2019 Update 10 ✅