사용자 지정 열거자를 사용하여 무한 재귀를 피하는 방법은 무엇입니까?

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

nextValue와 startValue를 비교할 수 있습니다 (IComparable을 구현하려면 T가 필요합니다).

이렇게하면이 버그를 해결할 수 있습니다. 즉 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; 
}