Reactive Extensionsを使用してアプリで作業していて、次の問題が発生しました。
2つのオブザーバーPとQがあるとすると、3番目のオブザーバーRを作成し、Pの2つの値にQがない場合、Rは0を出力します。Pの後にQが来る場合、Rはそれらを渡すメソッドの結果を出力します。値、次のようなもの：
P0 Q0 -> R0 = f(P0,Q0)
P1 -> R1 = 0
P2 Q1 -> R2 = f(P2,Q1)
P3 -> R3 = 0
P4 -> R4 = 0
P5 Q2 -> R5 = f(P5,Q2)
(...)
そして、値は次の順序でオブザーバーに入ります。
P0 Q0 P1 P2 Q1 P3 P4 P5 Q2
ご協力いただきありがとうございます。
私はあなたのための解決策があると思います。
次のように定義されていると仮定した場合：
IObservable<int> ps = ...;
IObservable<int> qs = ...;
Func<int, int, int> f = ...;
最初に、最終的な値を計算するための関数の辞書を作成します。
var fs = new Dictionary<string, Func<int, int, int?>>()
{
{ "pp", (x, y) => 0 },
{ "pq", (x, y) => f(x, y) },
{ "qp", (x, y) => null },
{ "qq", (x, y) => null },
};
「p」と「q」のすべての組み合わせがあります。
次に、次のようにマージされたオブザーバブルを作成できます。
var pqs =
(from p in ps select new { k = "p", v = p })
.Merge(from q in qs select new { k = "q", v = q });
これで、どのシーケンスがどの値を生成したかがわかりました。
次に、ソースのオブザーバブルがホットかコールドかわからないため、結合リストを公開します。公開するとホットになります。次に、公開されたオブザーバブルをそれぞれ1と0をスキップしてzip形式で圧縮します。次に、値の各ペアと、それらが由来する元のオブザーバブルを知っています。その後、辞書関数を適用するのは簡単です（null値を除外します）。
ここにあります：
var rs =
from kvv in pqs.Publish(_pqs =>
_pqs.Skip(1).Zip(_pqs, (pq1, pq0) => new
{
k = pq0.k + pq1.k,
v1 = pq1.v,
v0 = pq0.v
}))
let r = fs[kvv.k](kvv.v0, kvv.v1)
where r.HasValue
select r.Value;
それはあなたのために働きますか？
一般的な考え方は単純です。PとQをマージし、BufferWithCount（2）を使用して値のペアを取得し、ロジックに従ってペアを処理します。
P.Merge(Q).BufferWithCount(2).Select(values =>
{
var first = values[0];
var second = values[1];
if (first is P && second is P ||
first is Q && second is Q)
{
return 0;
}
if (first is P)
{
return selector(first, second);
}
else // suppose Q, P is a valid sequence as well.
{
return selector(second, first);
}
});
ここで難しいのは、PとQが異なるタイプの場合はそれらをマージしてから、Selectでそれらを区別することです。それらが同じタイプである場合、Enigmativityによって提案されたアプローチのような単純なものを使用できます。
var pqs =
(from p in ps select new { k = "p", v = p })
.Merge(from q in qs select new { k = "q", v = q });
ここで難しいのは、それらが異なるタイプである場合、それらをマージするには、たとえばData.EitherfromHaskellのような一般的なラッパータイプが必要になることです。
public abstract class Either<TLeft, TRight>
{
private Either()
{
}
public static Either<TLeft, TRight> Create(TLeft value)
{
return new Left(value);
}
public static Either<TLeft, TRight> Create(TRight value)
{
return new Right(value);
}
public abstract TResult Match<TResult>(
Func<TLeft, TResult> onLeft,
Func<TRight, TResult> onRight);
public sealed class Left : Either<TLeft, TRight>
{
public Left(TLeft value)
{
this.Value = value;
}
public TLeft Value
{
get;
private set;
}
public override TResult Match<TResult>(
Func<TLeft, TResult> onLeft,
Func<TRight, TResult> onRight)
{
return onLeft(this.Value);
}
}
public sealed class Right : Either<TLeft, TRight>
{
public Right(TRight value)
{
this.Value = value;
}
public TRight Value
{
get;
private set;
}
public override TResult Match<TResult>(
Func<TLeft, TResult> onLeft,
Func<TRight, TResult> onRight)
{
return onRight(this.Value);
}
}
}
面白いことに、System.Reactive.dllにはすでに同様のEitherクラスがありますが、残念ながらそれは内部であるため、独自の実装が必要です。これで、PとQの両方をEitherに入れて、ソリューションなしで続行できます（少し一般化したので、intだけでなく任意の結果を返すことができます）。
public static IObservable<TResult> SmartZip<TLeft, TRight, TResult>(
IObservable<TLeft> leftSource,
IObservable<TRight> rightSource,
Func<TLeft, TRight, TResult> selector)
{
return Observable
.Merge(
leftSource.Select(Either<TLeft, TRight>.Create),
rightSource.Select(Either<TLeft, TRight>.Create))
.BufferWithCount(2)
.Select(values =>
{
// this case was not covered in your question,
// but I've added it for the sake of completeness.
if (values.Count < 2)
{
return default(TResult);
}
var first = values[0];
var second = values[1];
// pattern-matching in C# is really ugly.
return first.Match(
left => second.Match(
_ => default(TResult),
right => selector(left, right)),
right => second.Match(
left => selector(left, right),
_ => default(TResult)));
});
}
そして、これはこの恐ろしい醜いものすべての小さなデモです。
private static void Main(string[] args)
{
var psource = Observable
.Generate(1, i => i < 100, i => i, i => i + 1)
.Zip(Observable.Interval(TimeSpan.FromMilliseconds(10.0)), (i, _) => i);
var qsource = Observable
.Generate(1, i => i < 100, i => (double)i * i, i => i + 1)
.Zip(Observable.Interval(TimeSpan.FromMilliseconds(30.0)), (i, _) => i);
var result = SmartZip(
psource,
qsource,
(p, q) => q / p).ToEnumerable();
foreach (var item in result)
{
Console.WriteLine(item);
}
}
私があなたの質問を正しく理解しているなら、以下はそのような場合を扱うことができる一般的な関数です：
public static IObservable<T> MyCombiner<T>(IObservable<T> P, IObservable<T> Q, T defaultValue,Func<T,T,T> fun)
{
var c = P.Select(p => new { Type = 'P', Value = p })
.Merge(Q.Select(p => new { Type = 'Q', Value = p }));
return c.Zip(c.Skip(1), (a, b) =>
{
if (a.Type == 'P' && b.Type == 'P')
return new { Ok = true, Value = defaultValue };
if (a.Type == 'P' && b.Type == 'Q')
return new { Ok = true, Value = fun(a.Value, b.Value) };
else
return new { Ok = false, Value = default(T) };
}).Where(b => b.Ok).Select(b => b.Value);
}
2つの方法があるとします
この方法で問題はほぼ解決されます。
IObservable<TP> P = // observer P
IObservable<TQ> Q = // observer Q
var PP = P.Without((prev, next) => 0, Q);
var PQ = P.Before(Q, (p,q) => f(p,q)); // apply the function
var ResultSecuence = PP.Merge(PQ);
そしてここに2つの方法があります
public static class Observer
{
/// <summary>
/// Merges two observable sequences into one observable sequence by using the selector function
/// whenever the first observable produces an element rigth before the second one.
/// </summary>
/// <param name="first"> First observable source.</param>
/// <param name="second">Second observable source.</param>
/// <param name="resultSelector">Function to invoke whenever the first observable produces an element rigth before the second one.</param>
/// <returns>
/// An observable sequence containing the result of combining elements of both sources
/// using the specified result selector function.
/// </returns>
public static IObservable<TResult> Before<TLeft, TRight, TResult>(this IObservable<TLeft> first, IObservable<TRight> second, Func<TLeft, TRight, TResult> resultSelector)
{
var result = new Subject<TResult>();
bool firstCame = false;
TLeft lastLeft = default(TLeft);
first.Subscribe(item =>
{
firstCame = true;
lastLeft = item;
});
second.Subscribe(item =>
{
if (firstCame)
result.OnNext(resultSelector(lastLeft, item));
firstCame = false;
});
return result;
}
/// <summary>
/// Merges an observable sequence into one observable sequence by using the selector function
/// every time two items came from <paramref name="first"/> without any item of any observable
/// in <paramref name="second"/>
/// </summary>
/// <param name="first"> Observable source to merge.</param>
/// <param name="second"> Observable list to ignore.</param>
/// <param name="resultSelector">Function to invoke whenever the first observable produces two elements without any of the observables in the secuence produces any element</param>
/// <returns>
/// An observable sequence containing the result of combining elements
/// using the specified result selector function.
/// </returns>
public static IObservable<TResult> Without<TLeft, TResult>(this IObservable<TLeft> first, Func<TLeft, TLeft, TResult> resultSelector,params IObservable<object>[] second)
{
var result = new Subject<TResult>();
bool firstCame = false;
TLeft lastLeft = default(TLeft);
first.Subscribe(item =>
{
if (firstCame)
result.OnNext(resultSelector(lastLeft, item));
firstCame = true;
lastLeft = item;
});
foreach (var observable in second)
observable.Subscribe(item => firstCame = false);
return result;
}
}