sled/3party/rxcpp/operators/rx-switch_on_next.hpp

248 lines
8.5 KiB
C++
Raw Normal View History

2024-03-14 20:50:17 +08:00
// Copyright (c) Microsoft Open Technologies, Inc. All rights reserved. See License.txt in the project root for license information.
#pragma once
/*! \file rx-switch_on_next.hpp
\brief Return observable that emits the items emitted by the observable most recently emitted by the source observable.
\tparam Coordination the type of the scheduler (optional).
\param cn the scheduler to synchronize sources from different contexts (optional).
\return Observable that emits the items emitted by the observable most recently emitted by the source observable.
\sample
\snippet switch_on_next.cpp switch_on_next sample
\snippet output.txt switch_on_next sample
*/
#if !defined(RXCPP_OPERATORS_RX_SWITCH_ON_NEXT_HPP)
#define RXCPP_OPERATORS_RX_SWITCH_ON_NEXT_HPP
#include "../rx-includes.hpp"
namespace rxcpp {
namespace operators {
namespace detail {
template<class... AN>
struct switch_on_next_invalid_arguments {};
template<class... AN>
struct switch_on_next_invalid : public rxo::operator_base<switch_on_next_invalid_arguments<AN...>> {
using type = observable<switch_on_next_invalid_arguments<AN...>, switch_on_next_invalid<AN...>>;
};
template<class... AN>
using switch_on_next_invalid_t = typename switch_on_next_invalid<AN...>::type;
template<class T, class Observable, class Coordination>
struct switch_on_next
: public operator_base<rxu::value_type_t<rxu::decay_t<T>>>
{
//static_assert(is_observable<Observable>::value, "switch_on_next requires an observable");
//static_assert(is_observable<T>::value, "switch_on_next requires an observable that contains observables");
typedef switch_on_next<T, Observable, Coordination> this_type;
typedef rxu::decay_t<T> source_value_type;
typedef rxu::decay_t<Observable> source_type;
typedef typename source_type::source_operator_type source_operator_type;
typedef source_value_type collection_type;
typedef typename collection_type::value_type collection_value_type;
typedef rxu::decay_t<Coordination> coordination_type;
typedef typename coordination_type::coordinator_type coordinator_type;
struct values
{
values(source_operator_type o, coordination_type sf)
: source_operator(std::move(o))
, coordination(std::move(sf))
{
}
source_operator_type source_operator;
coordination_type coordination;
};
values initial;
switch_on_next(const source_type& o, coordination_type sf)
: initial(o.source_operator, std::move(sf))
{
}
template<class Subscriber>
void on_subscribe(Subscriber scbr) const {
static_assert(is_subscriber<Subscriber>::value, "subscribe must be passed a subscriber");
typedef Subscriber output_type;
struct switch_state_type
: public std::enable_shared_from_this<switch_state_type>
, public values
{
switch_state_type(values i, coordinator_type coor, output_type oarg)
: values(i)
, source(i.source_operator)
, pendingCompletions(0)
, coordinator(std::move(coor))
, out(std::move(oarg))
{
}
observable<source_value_type, source_operator_type> source;
// on_completed on the output must wait until all the
// subscriptions have received on_completed
int pendingCompletions;
coordinator_type coordinator;
composite_subscription inner_lifetime;
output_type out;
};
auto coordinator = initial.coordination.create_coordinator(scbr.get_subscription());
// take a copy of the values for each subscription
auto state = std::make_shared<switch_state_type>(initial, std::move(coordinator), std::move(scbr));
composite_subscription outercs;
// when the out observer is unsubscribed all the
// inner subscriptions are unsubscribed as well
state->out.add(outercs);
auto source = on_exception(
[&](){return state->coordinator.in(state->source);},
state->out);
if (source.empty()) {
return;
}
++state->pendingCompletions;
// this subscribe does not share the observer subscription
// so that when it is unsubscribed the observer can be called
// until the inner subscriptions have finished
auto sink = make_subscriber<collection_type>(
state->out,
outercs,
// on_next
[state](collection_type st) {
state->inner_lifetime.unsubscribe();
state->inner_lifetime = composite_subscription();
// when the out observer is unsubscribed all the
// inner subscriptions are unsubscribed as well
auto innerlifetimetoken = state->out.add(state->inner_lifetime);
state->inner_lifetime.add(make_subscription([state, innerlifetimetoken](){
state->out.remove(innerlifetimetoken);
--state->pendingCompletions;
}));
auto selectedSource = state->coordinator.in(st);
// this subscribe does not share the source subscription
// so that when it is unsubscribed the source will continue
auto sinkInner = make_subscriber<collection_value_type>(
state->out,
state->inner_lifetime,
// on_next
[state, st](collection_value_type ct) {
state->out.on_next(std::move(ct));
},
// on_error
[state](rxu::error_ptr e) {
state->out.on_error(e);
},
//on_completed
[state](){
if (state->pendingCompletions == 1) {
state->out.on_completed();
}
}
);
auto selectedSinkInner = state->coordinator.out(sinkInner);
++state->pendingCompletions;
selectedSource.subscribe(std::move(selectedSinkInner));
},
// on_error
[state](rxu::error_ptr e) {
state->out.on_error(e);
},
// on_completed
[state]() {
if (--state->pendingCompletions == 0) {
state->out.on_completed();
}
}
);
auto selectedSink = on_exception(
[&](){return state->coordinator.out(sink);},
state->out);
if (selectedSink.empty()) {
return;
}
source->subscribe(std::move(selectedSink.get()));
}
};
}
/*! @copydoc rx-switch_on_next.hpp
*/
template<class... AN>
auto switch_on_next(AN&&... an)
-> operator_factory<switch_on_next_tag, AN...> {
return operator_factory<switch_on_next_tag, AN...>(std::make_tuple(std::forward<AN>(an)...));
}
}
template<>
struct member_overload<switch_on_next_tag>
{
template<class Observable,
class Enabled = rxu::enable_if_all_true_type_t<
is_observable<Observable>>,
class SourceValue = rxu::value_type_t<Observable>,
class SwitchOnNext = rxo::detail::switch_on_next<SourceValue, rxu::decay_t<Observable>, identity_one_worker>,
class Value = rxu::value_type_t<SourceValue>,
class Result = observable<Value, SwitchOnNext>
>
static Result member(Observable&& o) {
return Result(SwitchOnNext(std::forward<Observable>(o), identity_current_thread()));
}
template<class Observable, class Coordination,
class Enabled = rxu::enable_if_all_true_type_t<
is_observable<Observable>,
is_coordination<Coordination>>,
class SourceValue = rxu::value_type_t<Observable>,
class SwitchOnNext = rxo::detail::switch_on_next<SourceValue, rxu::decay_t<Observable>, rxu::decay_t<Coordination>>,
class Value = rxu::value_type_t<SourceValue>,
class Result = observable<Value, SwitchOnNext>
>
static Result member(Observable&& o, Coordination&& cn) {
return Result(SwitchOnNext(std::forward<Observable>(o), std::forward<Coordination>(cn)));
}
template<class... AN>
static operators::detail::switch_on_next_invalid_t<AN...> member(AN...) {
std::terminate();
return {};
static_assert(sizeof...(AN) == 10000, "switch_on_next takes (optional Coordination)");
}
};
}
#endif