4. single_view

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

履歴 編集

class template
<ranges>

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

namespace std::ranges {
  template<copy_constructible T>
    requires is_object_v<T>
  class single_view : public view_interface<single_view<T>> { …… }; // (1) C++20

  template<move_constructible T>
    requires is_object_v<T>
  class single_view : public view_interface<single_view<T>> { …… }; // (1) C++23

  namespace views {
    inline constexpr /*unspecified*/ single = /*unspecified*/; // (2)
  }
}

概要

Rangeコンセプト

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

効果

  • 式views::single(E)の効果はsingle_view<decay_t<decltype((E))>>(E)と等しい。

メンバ関数

名前 説明 対応バージョン
(constructor) コンストラクタ C++20
begin 先頭を指すイテレータを取得する C++20
end 番兵を取得する C++20
data 配列の先頭へのポインタを取得する C++20

静的メンバ関数

名前 説明 対応バージョン
size 要素数を取得する C++20

継承しているメンバ関数

名前 説明 対応バージョン
operator bool Rangeが空でないかどうかを判定する C++20
front 先頭要素への参照を取得する C++20
back 末尾要素への参照を取得する C++20
operator[] 要素へアクセスする C++20

推論補助

名前 説明 対応バージョン
(deduction_guide) クラステンプレートの推論補助 C++20

例

#include <ranges>
#include <iostream>

int main() {
  using namespace std;

  for(int n : views::single(1)) {
    cout << n;
  }
}

出力

1

実装例

namespace std::ranges {
  template<copy_constructible T>
    requires is_object_v<T>
  class single_view : public view_interface<single_view<T>> {
  private:
    copyable-box<T> value_;

  public:
    single_view() requires default_initializable<T> = default;
    constexpr explicit single_view(const T& t): value_(t) {
    }
    constexpr explicit single_view(T&& t): value_(t) {
    }
    template<class... Args>
      requires constructible_from<T, Args...>
    constexpr explicit single_view(in_place_t, Args&&... args): value_{in_place, forward<Args>(args)...} {
    }

    constexpr T* begin() noexcept {
      return data();
    }
    constexpr const T* begin() const noexcept {
      return data();
    }
    constexpr T* end() noexcept {
      return data() + 1;
    }
    constexpr const T* end() const noexcept {
      return data() + 1;
    }
    static constexpr size_t size() noexcept {
      return 1;
    }
    constexpr T* data() noexcept {
      return value_.operator->();
    }
    constexpr const T* data() const noexcept {
      return value_.operator->();
    }
  };

  template<class T>
    single_view(T) -> single_view<T>;
}

バージョン

言語

  • C++20

処理系

参照