op_constructor.md

コンストラクタ

• ranges[meta header]
• std::ranges[meta namespace]
• single_view[meta class]
• function[meta id-type]
• cpp20[meta cpp]

single_view()
  requires default_initializable<T> = default; // (1) C++20

constexpr explicit single_view(const T& t)
  requires copy_constructible<T>;              // (2) C++20

constexpr explicit single_view(T&& t);         // (3) C++20

template <class... Args>
  requires constructible_from<T, Args...>
constexpr explicit single_view(in_place_t, Args&&... args); // (4) C++20

概要

single_viewオブジェクトを構築する。

• (1) : デフォルト構築
• (2) : tをコピーして、*thisに保持する
• (3) : tをムーブして、*thisに保持する
• (4) : 型Tのコンストラクタ引数args...を転送してT型オブジェクトを内部で構築し、*thisに保持する

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

• (1) : 型Tがデフォルト構築可能であること
• (2) : 型Tがコピー構築可能であること
• (4) : 型TがArgs...で構築可能であること

効果

• (2) : value_をtで初期化する
• (3) : value_をstd::move(t)で初期化する
• (4) : value_{in_place, std::forward<Args>(args)...}で初期化する

例

#include <iostream>
#include <ranges>
#include <string>

int main() {
  // (2) コピー構築
  {
    std::string s1 = "hello";
    for (const std::string& x : std::views::single(s1)) {
      std::cout << x << std::endl;
    }
  }

  // (3) ムーブ構築
  {
    std::string s1 = "hello";
    for (const std::string& x : std::views::single(std::move(s1))) {
      std::cout << x << std::endl;
    }
  }

  // (4) コンストラクタ引数から構築
  {
    for (const std::string& x : std::ranges::single_view<std::string>(std::in_place, 3, 'a')) {
      std::cout << x << std::endl;
    }
  }
}

• std::ranges::single_view[color ff0000]
• std::views::single[color ff0000]

出力

hello
hello
aaa

バージョン

言語

• C++20

処理系

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

参照

• N4861 24.7.4 Filter view
• N4950 26.7.8 Filter view