最終更新日時(UTC): 2025年07月08日 15時33分39秒
Akira Takahashi が更新

履歴 編集

concept
<iterator>

# std::indirectly_movable_storable(C++20)

    namespace std {
      template<class In, class Out>
      concept indirectly_movable_storable =
        indirectly_movable<In, Out> &&
        indirectly_writable<Out, iter_value_t<In>> &&
        movable<iter_value_t<In>> &&
        constructible_from<iter_value_t<In>, iter_rvalue_reference_t<In>> &&
        assignable_from<iter_value_t<In>&, iter_rvalue_reference_t<In>>;
    }

## 概要

`indirectly_movable_storable`は、型`In, Out`が`indirectly_movable`の関係にあり、`iter_value_t<In>`型の中間オブジェクトを介しても、`In`から`Out`へその要素のオブジェクトがムーブ可能であることを表すコンセプトである。

単純には、型`In, Out`のオブジェクトをそれぞれ`in, out`とすると次のような代入が可能であることを表している。

    iter_value_t<In> tmp = std::move(*in);
    *out = std::move(tmp);

## モデル

間接参照可能な型`In`のオブジェクト`i`について次の条件を満たす場合に限って、型`In, Out`は`indirectly_movable_storable`のモデルである。

次のように初期化された`obj`は、その以前に`*i`が示していた値と等しい（equal）。

    iter_value_t<In> obj(std::ranges::iter_move(i));

`iter_rvalue_reference_t<In>`が右辺値参照型の場合、この初期化の後で`*i`が示す値は有効だが未規定な状態となる。

## 例

    #include <iostream>
    #include <concepts>
    #include <iterator>
    #include <vector>
    #include <memory>

    template<typename In, typename Out>
      requires std::indirectly_movable_storable<In, Out>
    void f(const char* nameIn, const char* nameO) {
      std::cout << nameIn << " is indirectly_movable_storable " << nameO << std::endl;
    }

    template<typename In, typename Out>
    void f(const char* nameIn, const char* nameO) {
      std::cout << nameIn << " is not indirectly_movable_storable " << nameO << std::endl;
    }

    struct del_copy_ctor {
      del_copy_ctor(const del_copy_ctor&) = delete;
    };

    int main() {
      f<int*, int* const>("int*", "int* const");
      f<std::unique_ptr<int>, int*>("std::unique_ptr<int>", "int*");
      f<std::vector<int>::iterator, std::unique_ptr<int>>("std::vector<int>::iterator", "std::unique_ptr<int>");
      f<std::istream_iterator<int>, std::vector<int>::iterator>("std::istream_iterator<int>", "std::vector<int>::iterator");
      f<std::istream_iterator<int>, std::ostream_iterator<int>>("std::istream_iterator<int>", "std::ostream_iterator<int>");

      std::cout << "\n";
      f<int*, const int*>("int*", "const int*");
      f<std::ostream_iterator<int>, std::istream_iterator<int>>("std::ostream_iterator<int>", "std::istream_iterator<int>");
      f<del_copy_ctor*, del_copy_ctor*>("del_copy_ctor*", "del_copy_ctor*");
    }

### 出力

    int* is indirectly_movable_storable int* const
    std::unique_ptr<int> is indirectly_movable_storable int*
    std::vector<int>::iterator is indirectly_movable_storable std::unique_ptr<int>
    std::istream_iterator<int> is indirectly_movable_storable std::vector<int>::iterator
    std::istream_iterator<int> is indirectly_movable_storable std::ostream_iterator<int>

    int* is not indirectly_movable_storable const int*
    std::ostream_iterator<int> is not indirectly_movable_storable std::istream_iterator<int>
    del_copy_ctor* is not indirectly_movable_storable del_copy_ctor*

## バージョン

### 言語

- C++20

### 処理系

- Clang: ??
- GCC: 10.1 ✅
- Visual C++: 2019 Update 6 ✅

## 関連項目

- C++20 コンセプト

## 参照

- P0896R4 The One Ranges Proposal (was Merging the Ranges TS)