std::reverse
From cppreference.com
| ヘッダー <algorithm> で定義 |
||
| template< class BidirIt > void reverse( BidirIt first, BidirIt last ); |
(1) | (C++20 以降 constexpr) |
| template< class ExecutionPolicy, class BidirIt > void reverse( ExecutionPolicy&& policy, BidirIt first, BidirIt last ); |
(2) | (C++17以降) |
1) 指定された範囲
[first, last) の要素の順序を逆転させます。 整数 i が
[0, std::distance(first, last) / 2) の範囲にある各 i について、イテレータ first + i と (last - i) - 1 のペアに std::iter_swap を適用するのと同等に動作します。2) (1) と同じですが、policy に従って実行されます。
このオーバーロードは、以下のすべての条件が満たされた場合にのみオーバーロード解決に参加します。
|
std::is_execution_policy_v<std::decay_t<ExecutionPolicy>> が true である。 |
(C++20まで) |
|
std::is_execution_policy_v<std::remove_cvref_t<ExecutionPolicy>> は true です。 |
(C++20以降) |
もし *first が Swappable ではない(C++20まで)BidirIt が ValueSwappable ではない(C++20以降)場合、動作は未定義です。
目次 |
[編集] パラメータ
| first, last | - | 反転させる要素の範囲を定義するイテレータのペア |
| policy | - | 使用する 実行ポリシー |
| 型要件 | ||
-BidirIt は LegacyBidirectionalIterator の要件を満たしている必要があります。 | ||
[編集] 計算量
std::distance(first, last) / 2 回のスワップ。
[編集] 例外
テンプレートパラメータ ExecutionPolicy を持つオーバーロードは、次のようにエラーを報告します。
- アルゴリズムの一部として呼び出された関数の実行が例外をスローし、
ExecutionPolicyが 標準ポリシー のいずれかである場合、std::terminate が呼び出されます。その他のExecutionPolicyの場合、動作は実装定義です。 - アルゴリズムがメモリの割り当てに失敗した場合、std::bad_alloc がスローされます。
[編集] 実装例
libstdc++、libc++、および MSVC STL の実装を参照してください。
template<class BidirIt> constexpr // since C++20 void reverse(BidirIt first, BidirIt last) { using iter_cat = typename std::iterator_traits<BidirIt>::iterator_category; // Tag dispatch, e.g. calling reverse_impl(first, last, iter_cat()), // can be used in C++14 and earlier modes. if constexpr (std::is_base_of_v<std::random_access_iterator_tag, iter_cat>) { if (first == last) return; for (--last; first < last; (void)++first, --last) std::iter_swap(first, last); } else while (first != last && first != --last) std::iter_swap(first++, last); } |
[編集] 注記
実装（例：MSVC STL）は、イテレータの型がLegacyContiguousIteratorを満たし、その値型のスワップが自明でない特殊メンバ関数もADLで見つかるswapも呼び出さない場合、ベクトル化を有効にできます。
[編集] 例
このコードを実行
#include <algorithm> #include <iostream> #include <iterator> #include <vector> void println(auto rem, auto const& v) { for (std::cout << rem; auto e : v) std::cout << e << ' '; std::cout << '\n'; } int main() { std::vector<int> v {1, 2, 3}; std::reverse(v.begin(), v.end()); println("after reverse, v = ", v); int a[] = {4, 5, 6, 7}; std::reverse(std::begin(a), std::end(a)); println("after reverse, a = ", a); }
出力
after reverse, v = 3 2 1 after reverse, a = 7 6 5 4
[編集] 不具合報告
以下の動作変更を伴う欠陥報告が、以前に公開されたC++標準に遡って適用されました。
| DR | 適用対象 | 公開された動作 | 正しい動作 |
|---|---|---|---|
| LWG 223 | C++98 | std::swap がイテレータの各ペアに適用されていました | std::iter_swap を代わりに適用します |
| LWG 2039 | C++98 | std::iter_swap は、i が std::distance(first, last) / 2 に等しい場合にも |
適用されませんでした |
[編集] 関連項目
| 逆順になった範囲のコピーを作成する (関数テンプレート) | |
| (C++20) |
範囲内の要素の順序を逆にする (アルゴリズム関数オブジェクト) |
