std::ranges:: shift_left, std::ranges:: shift_right

From cppreference.net

ヘッダーで定義 `<algorithm>`
呼び出しシグネチャ
template < std:: permutable I, std:: sentinel_for < I > S > constexpr ranges:: subrange < I > shift_left ( I first, S last, std:: iter_difference_t < I > n ) ;	(1)	(C++23以降)
template < ranges:: forward_range R > requires std:: permutable < ranges:: iterator_t < R >> constexpr ranges:: borrowed_subrange_t < R > shift_left ( R && r, ranges:: range_difference_t < R > n ) ;	(2)	(C++23以降)
template < std:: permutable I, std:: sentinel_for < I > S > constexpr ranges:: subrange < I > shift_right ( I first, S last, std:: iter_difference_t < I > n ) ;	(3)	(C++23以降)
template < ranges:: forward_range R > requires std:: permutable < ranges:: iterator_t < R >> constexpr ranges:: borrowed_subrange_t < R > shift_right ( R && r, ranges:: range_difference_t < R > n ) ;	(4)	(C++23以降)

範囲 [ first , last ) または r の要素を n 位置分シフトします。 [ first , last ) が有効な範囲でない場合、動作は未定義です。

1) 要素を範囲の先頭方向にシフトします：

n == 0 || n >= last - first の場合、効果はありません。
n < 0 の場合、動作は未定義です。
それ以外の場合、 i が [ 0 , last - first - n ) の範囲内のすべての整数について、元々位置 first + n + i にあった要素を位置 first + i に移動します。移動は i の昇順で 0 から開始して実行されます。

3) 範囲の終端方向へ要素をシフトする：

n == 0 || n >= last - first の場合、効果はない。
n < 0 の場合、動作は未定義。
それ以外の場合、区間 [ 0 , last - first - n ) 内の全ての整数 i について、元々位置 first + i にあった要素を位置 first + n + i へ移動する。 I が bidirectional_iterator をモデルする場合、移動は i の降順で last - first - n - 1 から開始して実行される。

2,4) (1) または (3) と同様だが、 r を範囲として使用する。あたかも ranges:: begin ( r ) を first として、 ranges:: end ( r ) を last として使用するかのように動作する。

元の範囲に存在していたが新しい範囲に含まれない要素は、有効だが未指定の状態のまま残されます。

このページで説明されている関数ライクなエンティティは、 アルゴリズム関数オブジェクト （非公式には niebloids として知られる）です。つまり：

明示的なテンプレート引数リストは、いずれかを呼び出す際に指定することはできません。
いずれも実引数依存の名前探索では可視になりません。
いずれかが関数呼び出し演算子の左側の名前として通常の非修飾名前探索によって見つかった場合、実引数依存の名前探索は抑制されます。

#include <algorithm>
#include <iostream>
#include <string>
#include <type_traits>
#include <vector>
struct S
{
    int value{0};
    bool specified_state{true};
    S(int v = 0) : value{v} {}
    S(S const& rhs) = default;
    S(S&& rhs) { *this = std::move(rhs); }
    S& operator=(S const& rhs) = default;
    S& operator=(S&& rhs)
    {
        if (this != &rhs)
        {
            value = rhs.value;
            specified_state = rhs.specified_state;
            rhs.specified_state = false;
        }
        return *this;
    }
};
template<typename T>
std::ostream& operator<<(std::ostream& os, std::vector<T> const& v)
{
    for (const auto& s : v)
    {
        if constexpr (std::is_same_v<T, S>)
            s.specified_state ? os << s.value << ' ' : os << ". ";
        else if constexpr (std::is_same_v<T, std::string>)
            os << (s.empty() ? "." : s) << ' ';
        else
            os << s << ' ';
    }
    return os;
}
int main()
{
    std::cout << std::left;
    std::vector<S> a{1, 2, 3, 4, 5, 6, 7};
    std::vector<int> b{1, 2, 3, 4, 5, 6, 7};
    std::vector<std::string> c{"α", "β", "γ", "δ", "ε", "ζ", "η"};
    std::cout << "vector<S> \tvector<int> \tvector<string>\n";
    std::cout << a << "  " << b << "  " << c << '\n';
    std::ranges::shift_left(a, 3);
    std::ranges::shift_left(b, 3);
    std::ranges::shift_left(c, 3);
    std::cout << a << "  " << b << "  " << c << '\n';
    std::ranges::shift_right(a, 2);
    std::ranges::shift_right(b, 2);
    std::ranges::shift_right(c, 2);
    std::cout << a << "  " << b << "  " << c << '\n';
    std::ranges::shift_left(a, 8); // 効果なし: n >= last - first
    std::ranges::shift_left(b, 8); // 同上
    std::ranges::shift_left(c, 8); // 同上
    std::cout << a << "  " << b << "  " << c << '\n';
//  std::ranges::shift_left(a, -3); // UB
}

出力例:

vector<S>       vector<int>     vector<string>
1 2 3 4 5 6 7   1 2 3 4 5 6 7   α β γ δ ε ζ η
4 5 6 7 . . .   4 5 6 7 5 6 7   δ ε ζ η . . .
. . 4 5 6 7 .   4 5 4 5 6 7 5   . . δ ε ζ η .
. . 4 5 6 7 .   4 5 4 5 6 7 5   . . δ ε ζ η .

Compiler support
Freestanding and hosted
Language
Standard library
Standard library headers
Named requirements
Feature test macros (C++20)
Language support library
Concepts library (C++20)
Diagnostics library
Memory management library
Metaprogramming library (C++11)
General utilities library
Containers library
Iterators library
Ranges library (C++20)
Algorithms library
Strings library
Text processing library
Numerics library
Date and time library
Input/output library
Filesystem library (C++17)
Concurrency support library (C++11)
Execution control library (C++26)
Technical specifications
Symbols index
External libraries

first, last	-	要素をシフトする範囲を定義するイテレータ-センチネルペア
r	-	シフトする要素の範囲
n	-	シフトする位置数

ranges::move (C++20)	要素の範囲を新しい位置に移動する (アルゴリズム関数オブジェクト)
ranges::move_backward (C++20)	要素の範囲を逆順で新しい位置に移動する (アルゴリズム関数オブジェクト)
ranges::rotate (C++20)	範囲内の要素の順序を回転させる (アルゴリズム関数オブジェクト)
shift_left shift_right (C++20)	範囲内の要素をシフトする (関数テンプレート)

cppreference.net

Namespaces

Variants

std::ranges:: shift_left, std::ranges:: shift_right

目次

パラメータ

戻り値

計算量

注記

例

関連項目