Skip to content

just.md

Latest commit

 

History

History
117 lines (92 loc) · 3.34 KB

just.md

File metadata and controls

117 lines (92 loc) · 3.34 KB
Raw

just

  • execution[meta header]
  • cpo[meta id-type]
  • std::execution[meta namespace]
  • cpp26[meta cpp]
namespace std::execution {
  struct just_t { unspecified };
  inline constexpr just_t just{};
}
  • unspecified[italic]

概要

justは、非同期操作の開始(start)で値完了関数を呼び出すSenderファクトリである。

効果

説明用のパックtsに対して、パックTsをdecltype((ts))とする。下記いずれかの条件をみたすとき、呼び出し式just(ts...)は不適格となる。

そうでなければ、呼び出し式just(ts...)は下記と等価。

make-sender(just, product-type{ts...})
  • make-sender[link make-sender.md]
  • product-type[link product-type.md]

Senderアルゴリズムタグ just

Senderアルゴリズム動作説明用のクラステンプレートimpls-forに対して、下記の特殊化が定義される。

namespace std::execution {
  template<>
  struct impls-for<decayed-typeof<just>> : default-impls {
    static constexpr auto start =
      [](auto& state, auto& rcvr) noexcept -> void {
        auto& [...ts] = state;
        set_value(std::move(rcvr), std::move(ts)...);
      };
  };
}
  • decayed-typeof[link /reference/functional/decayed-typeof.md]
  • impls-for[link impls-for.md]
  • default-impls[link impls-for.md]
  • set_value[link set_value.md]
  • std::move[link /reference/utility/move.md]

カスタマイゼーションポイント

Receiverとの接続(connect)時に、関連付けられた実行ドメインに対してexecution::transform_sender経由でSender変換が行われる。 デフォルト実行ドメインでは無変換。

例

#include <string>
#include <print>
#include <execution>
namespace ex = std::execution;
using namespace std::string_literals;

int main()
{
  // 空の値を送信するSender
  ex::sender auto snd0 = ex::just();
  std::tuple<> result0 = std::this_thread::sync_wait(snd0).value();
  std::println("result0={}", result0);

  // 値"C++"を送信するSender
  ex::sender auto snd1 = ex::just("C++"s);
  std::tuple<std::string> result1 = std::this_thread::sync_wait(snd1).value();
  std::println("result1={}", result1);

  // 値(123,'X')を送信するSender
  ex::sender auto snd2 = ex::just(123, 'X');
  std::tuple<int, char> result2 = std::this_thread::sync_wait(snd2).value();
  std::println("result2={}", result2);
}
  • ex::just[color ff0000]
  • ex::sender[link sender.md]
  • std::this_thread::sync_wait[link ../this_thread/sync_wait.md]
  • value()[link /reference/optional/optional/value.md]

出力

result0=()
result1=("C++")
result2=(123, 'X')

バージョン

言語

  • C++26

処理系

関連項目

参照