4. basic_istream_view

最終更新日時(UTC):
が更新

履歴 編集

class template
<ranges>

std::ranges::basic_istream_view(C++20)

namespace std::ranges {
  // (1)
  template<movable Val, class CharT, class Traits = char_traits<CharT>>
    requires default_initializable<Val> && stream-extractable<Val, CharT, Traits>
  class basic_istream_view : public view_interface<basic_istream_view<Val, CharT, Traits>> { …… };

  // (2)
  template<class Val>
  using istream_view = basic_istream_view<Val, char>;

  // (3)
  template<class Val>
  using wistream_view = basic_istream_view<Val, wchar_t>;

  namespace views {
    // (4)
    template<class T>
    inline constexpr /*unspecified*/ istream = /*unspecified*/;
  }
}

概要

基本的な挙動はistream_iteratorと同じで、イテレータが作られるときにストリームから値を1つ読み、インクリメントされるときに次の値を読む。 ただし、basic_istream_viewの場合、読んだ値はイテレータではなくRangeオブジェクトに保存されている。

Rangeコンセプト

borrowed sized output input forward bidirectional random_access contiguous common viewable view
○ ○ ○

テンプレートパラメータ制約

説明専用コンセプトstream-extractableを以下のように定義する。

template<class Val, class CharT, class Traits>
concept stream-extractable = requires(basic_istream<CharT, Traits>& is, Val& t) { is >> t; }

これを用いて、

効果

  • (4): istream<T>(e)の効果は、Uをstd::remove_reference_t<decltype(e)>とするとき、basic_istream_view<T, typename U::char_type, typename U::traits_type>(e);と等しい。

メンバ関数

名前 説明 対応バージョン
(constructor) コンストラクタ C++20
begin ストリームから値を1つ読み、それを指すイテレータを取得する C++20
end 番兵を取得する C++20

例

#include <ranges>
#include <sstream>
#include <iostream>

int main() {
  using namespace std;
  auto iss = istringstream{"1 2 3 4 5"};

  for (int i : views::istream<int>(iss)) {
    cout << i;
  }
}

出力

12345

実装例

namespace std::ranges {
  template<class Val, class CharT, class Traits>
  concept stream_extractable = requires(basic_istream<CharT, Traits>& is, Val& t) { is >> t; };

  template<movable Val, class CharT, class Traits = char_traits<CharT>>
    requires default_initializable<Val> && stream_extractable<Val, CharT, Traits>
  class basic_istream_view : public view_interface<basic_istream_view<Val, CharT, Traits>> {

  private:
    template<movable Val, class CharT, class Traits>
      requires default_initializable<Val> && stream_extractable<Val, CharT, Traits>
    class iterator {
    public:
      using iterator_concept = input_iterator_tag;
      using difference_type = ptrdiff_t;
      using value_type = Val;

      constexpr explicit iterator(basic_istream_view& parent) noexcept
        : parent_(addressof(parent))
      {}

      iterator(const iterator&) = delete;
      iterator(iterator&&) = default;
      iterator& operator=(const iterator&) = delete;
      iterator& operator=(iterator&&) = default;

      iterator& operator++() {
        *parent_->stream_ >> parent_->value_;
        return *this;
      }

      void operator++(int) {
        ++*this;
      }

      Val& operator*() const {
        return parent_->value_;
      }

      friend bool operator==(const iterator& x, default_sentinel_t) {
        return !*x.parent_->stream_;
      }

    private:
      basic_istream_view* parent_;
    };

  public:
    constexpr explicit basic_istream_view(basic_istream<CharT, Traits>& stream)
      : stream_(addressof(stream))
    {
    }

    constexpr auto begin() {
      *stream_ >> value_;
      return iterator{*this};
    }

    constexpr default_sentinel_t end() const noexcept {
      return default_sentinel;
    }

  private:
    struct iterator;
    basic_istream<CharT, Traits>* stream_;
    Val value_ = Val();
  };
}

バージョン

言語

  • C++20

処理系

関連項目

  • istream_iterator: ストリームからデータを読み込む入力イテレータ

参照