カスタム列挙子で無限再帰を避けるにはどうすればよいですか？

Question

コレクション内の連続する値の数を見つけるための拡張メソッドを作成しました。それは一般的なので、呼び出し元に "次の"値の存在をチェックするために値をインクリメントするFunc <>である "インクリメンタ"を定義することができます。

しかし、呼び出し元が不適切なインクリメンタ（x => x）を渡すと、無限の再帰的ループが発生します。これを防ぐためのきれいな方法に関する提案はありますか？

public static int CountConsecutive<T>(this IEnumerable<T> values, T startValue, Func<T, T> incrementor) 
{ 
    if (values == null) 
    { 
     throw new ArgumentNullException("values"); 
    } 
    if (incrementor == null) 
    { 
     throw new ArgumentNullException("incrementor"); 
    } 
    var nextValue = incrementor(startValue); 
    return values.Contains(nextValue) 
     ? values.CountConsecutive(nextValue, incrementor) + 1 
     : 1; 
} 

Answer 1

最も純粋な意味では、これはHalting Problemの試みであり、決めることはできません。最も単純な場合を除き、あなたのメソッドを呼び出す人を信用しなければなりません。

他の人が示したように、次の値が異なることを示す等価性の単純なチェックを行うことができます。訪問したすべての訪問者を保存するとTは機能しますが、メモリは、最終的にはと心配する必要があります。

ここでは簡単に実装されているStackOverflowExceptionがあるため、連続した値に多くのデータセットを注意する必要があります。

var x = Enumerable.Range(1, 100000).CountConsecutive(1, x => x+1); 

Answer 2

あなたは（あなたがIComparableをを実装するためにTが必要になります）のstartValueにnextValueメソッドを比較することができます。

これはこのバグを解決し、ループを返す厄介なインクリメンタルバグを解決しません - a1、a2、a3、...、an、a1。私は最も単純なケースに対処するために

Answer 3

かかわらず、あなたがこれを行うことができ、あなたはにこのケースを処理したいとは思わない：一般的なケースでは

var nextValue = incrementor(startValue); 
if (nextValue.Equals(startValue)) { 
    throw new ArgumentException("incrementor"); 
} 

を、次の操作を行います。

public static int CountConsecutive<T>(this IEnumerable<T> values, T startValue, Func<T, T> incrementor) { 
    if (values == null) { 
     throw new ArgumentNullException("values"); 
    } 
    if (incrementor == null) { 
     throw new ArgumentNullException("incrementor"); 
    } 
    ISet<T> seen = new HashSet<T>(); 
    return CountConsecutive(values, startValue, incrementor, seen); 
} 

private static int CountConsecutive<T>(IEnumerable<T> values, T startValue, Func<T, T> incrementor, ISet<T> seen) { 
    if (!seen.Add(startValue)) { 
     throw new ArgumentException("incrementor"); 
    } 
    var nextValue = incrementor(startValue); 
    return values.Contains(nextValue) 
     ? values.CountConsecutive(nextValue, incrementor) + 1 
     : 1; 
}