Skip to content

Latest commit

 

History

History
194 lines (154 loc) · 6.47 KB

basic_istream_view.md

File metadata and controls

194 lines (154 loc) · 6.47 KB

basic_istream_view

  • ranges[meta header]
  • std::ranges[meta namespace]
  • class template[meta id-type]
  • cpp20[meta cpp]
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*/;
  }
}
  • movable[link /reference/concepts/movable.md]
  • default_initializable[link /reference/concepts/default_initializable.md]
  • view_interface[link view_interface.md]
  • stream-extractable[italic]

概要

  • (1): 入力ストリームからVal型の値を読み取るview
  • (2): basic_istream_viewの、文字の型をcharとするエイリアス
  • (2): basic_istream_viewの、文字の型をwchar_tとするエイリアス
  • (4): basic_istream_viewを生成するカスタマイゼーションポイントオブジェクト

基本的な挙動は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;
  }
}
  • views::istream[color ff0000]

出力

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();
  };
}
  • movable[link /reference/concepts/movable.md]
  • default_initializable[link /reference/concepts/default_initializable.md]
  • view_interface[link view_interface.md]
  • input_iterator_tag[link /reference/iterator/iterator_tag.md]
  • addressof[link /reference/memory/addressof.md]
  • default_sentinel_t[link /reference/iterator/default_sentinel_t.md]
  • basic_istream[link /reference/istream/basic_istream.md]
  • char_traits[link /reference/string/char_traits.md]

バージョン

言語

  • C++20

処理系

  • Clang: 13.0.0 [mark verified]
  • GCC: 10.1.0 [mark verified]
  • ICC: ?
  • Visual C++: 2019 Update 10 [mark verified]

関連項目

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

参照