입력이 기술적으로 유효하지만 만족할 수 없을 때 예외 대 빈 결과 집합

공개 릴리스 용 라이브러리를 개발 중입니다. 여기에는 집합을 생성, 검사, 분할 및 새로운 형태로 투영하는 다양한 개체 집합에 대한 다양한 방법이 포함되어 있습니다. 관련이있는 경우 IEnumerableNuGet 패키지로 릴리스되는 LINQ 스타일 확장이 포함 된 C # 클래스 라이브러리 입니다.

이 라이브러리의 일부 메소드에는 만족할 수없는 입력 매개 변수가 제공 될 수 있습니다. 예를 들어, 조합 방법에는 m 개의 소스 세트로부터 구성 될 수있는 n 개의 모든 세트의 세트를 생성하는 방법이 있다 . 예를 들어 다음과 같이 설정하면

1, 2, 3, 4, 5

2의 조합을 요청하면 다음이 생성됩니다.

1, 2
1, 3
1, 4
등 ...
5, 3
5, 4

이제 3 개 항목 세트를 제공 한 다음 4 개 항목의 조합을 요청하는 동안 각 항목을 한 번만 사용할 수 있다는 옵션을 설정하는 등 수행 할 수없는 작업을 요청할 수 있습니다.

이 시나리오에서 각 매개 변수는 개별적으로 유효합니다.

• 소스 콜렉션이 널이 아니며 항목을 포함합니다.
• 요청 된 조합 크기는 0이 아닌 양의 정수입니다.
• 요청 된 모드 (각 항목을 한 번만 사용)는 올바른 선택입니다

그러나 매개 변수 상태를 합하면 문제가 발생합니다.

이 시나리오에서 메소드가 예외 (예 :)를 발생 InvalidOperationException시키거나 빈 콜렉션을 리턴 할 것으로 예상 하십니까? 나에게 유효한 것 같습니다 :

• 각 항목을 한 번만 사용할 수 있으면 n> m 인 m 항목 세트에서 n 항목의 조합을 생성 할 수 없으므로이 작업은 불가능한 것으로 간주 됩니다.InvalidOperationException
• n> m 이 빈 세트 일 때 m 개의 아이템 으로부터 생성 될 수있는 크기 n 의 조합 세트; 조합을 만들 수 없습니다.

빈 세트에 대한 인수

첫 번째 관심사는 알 수없는 크기의 데이터 집합을 처리 할 때 예외로 인해 관용적 인 LINQ 스타일의 메서드 체인이 방지된다는 것입니다. 즉, 다음과 같은 작업을 수행 할 수 있습니다.

var result = someInputSet
    .CombinationsOf(4, CombinationsGenerationMode.Distinct)
    .Select(combo => /* do some operation to a combination */)
    .ToList();

입력 세트의 크기가 가변적이면이 코드의 동작을 예측할 수 없습니다. 경우 .CombinationsOf()경우 예외를 throw someInputSet미만의 4 개 요소를 가지고,이 코드는 것입니다 때로는 몇 가지 사전 검사없이 런타임에 실패합니다. 위의 예에서이 검사는 사소한 것이지만 더 긴 LINQ 체인을 반쯤 호출하면 지루할 수 있습니다. 빈 세트를 반환하면 비어 result있을 것입니다.

예외에 대한 논쟁

두 번째 관심사는 빈 세트를 반환하면 문제를 숨길 수 있다는 것입니다. LINQ 체인의 절반 아래에서이 메소드를 호출하고 빈 세트를 조용히 반환하면 몇 단계 후에 문제가 발생하거나 비어있는 것으로 스스로를 찾을 수 있습니다 결과 집합이 있고 입력 집합에 확실하게 무언가가있는 경우 어떻게 발생했는지 분명하지 않을 수 있습니다.

당신은 무엇을 기대하고 그것에 대한 당신의 주장은 무엇입니까?

빈 세트 반환

다음과 같은 이유로 빈 세트를 기대합니다.

내가 각 숫자를 한 번만 사용할 수있는 경우 3 세트에서 4 개의 숫자 조합이 0입니다

확실하지 않은 경우 다른 사람에게 문의하십시오.

예제 함수는 Python과 매우 유사 itertools.combinations합니다. 그것이 어떻게 작동하는지 봅시다 :

>>> import itertools
>>> input = [1, 2, 3, 4, 5]
>>> list(itertools.combinations(input, 2))
[(1, 2), (1, 3), (1, 4), (1, 5), (2, 3), (2, 4), (2, 5), (3, 4), (3, 5), (4, 5)]
>>> list(itertools.combinations(input, 5))
[(1, 2, 3, 4, 5)]
>>> list(itertools.combinations(input, 6))
[]

그리고 그것은 나에게 완벽하게 기분이 좋다. 나는 반복 할 수있는 결과를 기대하고 있었고 하나를 얻었다.

그러나, 당신이 어리석은 것을 요구한다면 분명히 :

>>> list(itertools.combinations(input, -1))
Traceback (most recent call last):
  File "<stdin>", line 1, in <module>
ValueError: r must be non-negative

따라서 모든 매개 변수의 유효성이 검사되지만 결과가 빈 세트이면 빈 세트가 반환되면 유일한 방법은 아닙니다.

의견에서 @Bakuriu 가 말했듯 이 이것은 같은 SQL쿼리 에서도 동일합니다 SELECT <columns> FROM <table> WHERE <conditions>. 만큼 <columns>, <table>, <conditions>잘 형성 및 기존 이름을 참조 형성되고, 당신은 서로를 배제하는 일련의 조건을 구축 할 수 있습니다. 결과 쿼리는를 던지는 대신 행을 생성하지 않습니다 InvalidConditionsError.

평신도의 관점에서 :

• 오류가 있으면 예외를 제기해야합니다. 오류가 발생한 위치를 정확히 파악하기 위해 단일 연결 호출 대신 단계적으로 작업을 수행해야 할 수 있습니다.
• 오류가 없지만 결과 집합이 비어 있으면 예외를 발생시키지 말고 빈 집합을 반환하십시오. 빈 세트는 유효한 세트입니다.

나는 Ewan의 대답에 동의 하지만 구체적인 추론을 추가하고 싶습니다.

수학적 연산을 다루고 있으므로 동일한 수학적 정의를 고수하는 것이 좋습니다. 수학적 관점에서의 수 R에 의 -sets N 개의 -set (즉 NCR은 )도 모두 R의 정의> N> = 0은 제로이다. 따라서 빈 세트를 반환하는 것은 수학적 관점에서 예상되는 경우입니다.

예외 사용 여부를 결정하는 좋은 방법을 찾고 사람들이 거래에 참여하고 있다고 상상하는 것입니다.

파일 내용을 예로 들어 오기 :

1. "does n't exist.txt"파일 내용을 가져 오십시오.

   에이. "내용은 다음과 같습니다 : 빈 문자 모음"

   비. "음, 문제가 있는데 그 파일이 존재하지 않습니다. 어떻게해야할지 모르겠습니다!"

2. 파일의 내용을 가져 오십시오. "존재하지만 비어 있습니다 .txt"

   에이. "내용은 다음과 같습니다 : 빈 문자 모음"

   비. "음, 문제가 있습니다.이 파일에는 아무 것도 없습니다. 어떻게해야할지 모르겠습니다!"

의심 할 여지없이 일부 사람들은 동의하지 않을 것이지만 대부분의 사람들에게 파일이 존재하지 않을 때는 "문제가 있습니다"라는 말이 의미가 있고 파일이 비어 있으면 "빈 문자 모음"을 반환합니다.

따라서 동일한 접근법을 예제에 적용하십시오.

3. 에 대한 4 가지 항목의 모든 조합을 알려주십시오. {1, 2, 3}

   에이. 아무것도 없습니다. 여기에 빈 세트가 있습니다.

   비. 문제가 있습니다. 어떻게해야할지 모르겠습니다.

다시 말해, "문제가있다"는 예를 들어 null아이템 세트로 제공된 경우 에는 의미가 있지만 "여기서 빈 세트"는 위의 요청에 대한 합리적인 응답으로 보입니다.

빈 값을 반환하면 문제 (예 : 누락 된 파일, a null)가 마스킹 되는 경우 일반적으로 예외를 사용해야합니다 (선택한 언어가 option/maybe유형을 지원하지 않는 경우 에는 때때로 더 의미가 있습니다). 그렇지 않으면, 빈 값을 반환하면 비용을 단순화 할 수 있고 놀랍게도 최소화 할 수 있습니다.

범용 라이브러리이므로 최종 사용자가 선택하도록하십시오.

우리가 가지고 Parse()있고 TryParse()사용할 수있는 것과 마찬가지로 함수에서 필요한 출력에 따라 사용할 수있는 옵션을 가질 수 있습니다. 단일 버전의 함수를 선택하는 것보다 예외를 발생시키기 위해 함수 래퍼를 작성하고 유지 관리하는 데 시간이 덜 걸립니다.

함수가 호출 될 때 제공된 인수의 유효성을 검증해야합니다. 사실, 잘못된 인수를 처리하는 방법을 알고 싶습니다. 여러 인수가 서로 의존한다는 사실은 인수의 유효성을 검증한다는 사실을 보완하지 않습니다.

따라서 사용자가 무엇이 잘못되었는지 이해하는 데 필요한 정보를 제공하는 ArgumentException에 투표합니다.

예를 들어 public static TSource ElementAt<TSource>(this IEnumerable<TSource>, Int32)Linq 의 기능을 확인하십시오 . 인덱스가 0보다 작거나 소스의 요소 수보다 크거나 같은 경우 ArgumentOutOfRangeException이 발생합니다. 따라서 인덱스는 호출자가 제공 한 열거 가능 항목과 관련하여 검증됩니다.

다음 중 하나를 수행해야합니다 (음수 조합과 같은 기본 문제가 계속 발생 함).

1. 두 가지 구현을 제공하십시오. 하나는 입력이 함께 의미가 없을 때 빈 세트를 리턴하고 다른 하나는 던집니다. 그들을 호출 시도 CombinationsOf하고 CombinationsOfWithInputCheck. 또는 원하는대로. 입력을 확인하는 이름이 더 짧은 이름이고 목록이 이름이되도록 이것을 반대로 바꿀 수 있습니다 CombinationsOfAllowInconsistentParameters.

2. Linq 메소드의 경우, IEnumerable당신이 설명한 정확한 전제 에서 공란 을 반환하십시오 . 그런 다음 Linq 메소드를 라이브러리에 추가하십시오.

   public static class EnumerableExtensions {
      public static IEnumerable<T> ThrowIfEmpty<T>(this IEnumerable<T> input) {
         return input.IfEmpty<T>(() => {
            throw new InvalidOperationException("An enumerable was unexpectedly empty");
         });
      }
   
      public static IEnumerable<T> IfEmpty<T>(
         this IEnumerable<T> input,
         Action callbackIfEmpty
      ) {
         var enumerator = input.GetEnumerator();
         if (!enumerator.MoveNext()) {
            // Safe because if this throws, we'll never run the return statement below
            callbackIfEmpty();
         }
         return EnumeratePrimedEnumerator(enumerator);
      }
   
      private static IEnumerable<T> EnumeratePrimedEnumerator<T>(
         IEnumerator<T> primedEnumerator
      ) {
         yield return primedEnumerator.Current;
         while (primedEnumerator.MoveNext()) {
            yield return primedEnumerator.Current;
         }
      }
   }

   마지막으로 다음과 같이 사용하십시오.

   var result = someInputSet
      .CombinationsOf(4, CombinationsGenerationMode.Distinct)
      .ThrowIfEmpty()
      .Select(combo => /* do some operation to a combination */)
      .ToList();

   또는 이와 같이 :

   var result = someInputSet
      .CombinationsOf(4, CombinationsGenerationMode.Distinct)
      .IfEmpty(() => _log.Warning(
         $@"Unexpectedly received no results when creating combinations for {
            nameof(someInputSet)}"
      ))
      .Select(combo => /* do some operation to a combination */)
      .ToList();

   linq 체인이 나중에 열거 될 때가 아니라 생성 될 때 던지기 또는 동작 동작이 발생하도록하려면 공개 메소드와 다른 개인 메소드가 필요합니다. 당신 은 그것이 바로 던져지기를 원합니다 .

   그러나 물론 항목이 있는지 확인하려면 적어도 첫 번째 항목을 열거해야합니다. 이것은 미래의 모든 시청자가 ThrowIfEmpty메서드 가 적어도 하나의 항목을 열거 해야한다는 것을 쉽게 추론 할 수 있다는 사실에 의해 잠재적으로 단점이 있다고 생각 합니다 . 그래서 그렇게 놀라지 않아야 합니다. 그러나 당신은 모른다. 이를보다 명확하게 만들 수 ThrowIfEmptyByEnumeratingAndReEmittingFirstItem있습니다. 그러나 그것은 엄청난 과잉처럼 보입니다.

# 2는 꽤 훌륭합니다. 이제 힘은 호출 코드에 있으며 다음 코드 리더는 코드가 수행하는 작업을 정확히 이해하므로 예기치 않은 예외를 처리 할 필요가 없습니다.

두 유스 케이스 모두에 대한 인수를 볼 수 있습니다. 다운 스트림 코드가 데이터를 포함하는 세트를 기대하는 경우 예외가 좋습니다. 반면, 이것이 예상된다면 단순히 빈 세트가 좋습니다.

나는 이것이 오류이거나 수용 가능한 결과 인 경우 발신자의 기대에 달려 있다고 생각하므로 선택을 발신자에게 이전합니다. 옵션을 소개 하시겠습니까?

.CombinationsOf(4, CombinationsGenerationMode.Distinct, Options.AllowEmptySets)

명확한 답이 없는지 결정하는 두 가지 방법이 있습니다.

• 첫 번째 옵션을 가정하고 다른 옵션을 가정하여 코드를 작성하십시오. 실제로 가장 효과적인 방법을 고려하십시오.

• "엄격한"부울 매개 변수를 추가하여 매개 변수를 엄격하게 검증할지 여부를 표시하십시오. 예를 들어, Java 에는 형식과 완전히 일치하지 않는 입력 구문 분석을 시도 SimpleDateFormat하는 setLenient메소드가 있습니다. 물론, 기본값이 무엇인지 결정해야합니다.

자체 분석을 기반으로 빈 세트를 반환하는 것이 옳은 것처럼 보입니다. 사용자가 실제로 사용하기를 원하고 사용자가 사용하기를 원하지 않기 때문에 일부 사용을 금지하는 함정에 빠지지 않은 것으로 식별했습니다. 그런 식으로.

일부 사용자가 비어 있지 않은 반품을 강요하고 싶을 경우, 모든 사용자에게 해당 행동을 강요하는 대신 그 행동 을 요구할 수있는 방법을 제공하십시오 . 예를 들어 다음을 수행 할 수 있습니다.

• 사용자에 대한 조치를 수행하는 모든 오브젝트에서 구성 옵션으로 만드십시오.
• 사용자가 선택적으로 함수에 전달할 수있는 플래그로 지정하십시오.
• AssertNonempty그들이 체인에 넣을 수 있는 수표를 제공하십시오 .
• 비어 있지 않은 것과 그렇지 않은 것을 두 가지 함수로 만듭니다.

그것은 실제로 사용자가 기대하는 것에 달려 있습니다. 코드가 나누기를 수행하는 경우 (약간 관련이없는) 예제의 경우 예외를 던지거나 반환 Inf하거나 NaN0으로 나눌 때. 그러나 옳고 그른 것도 아닙니다 :

• Inf파이썬 라이브러리로 돌아 오면 사람들이 오류를 숨기고 공격합니다.
• Matlab 라이브러리에서 오류가 발생하면 누락 된 값을 가진 데이터를 처리하지 못한 사람들이 사용자를 공격합니다.

귀하의 경우 최종 사용자에게는 가장 놀라운 솔루션을 선택합니다. 세트를 다루는 라이브러리를 개발하고 있기 때문에 빈 세트는 사용자가 처리 할 것으로 예상되는 것처럼 보이므로 반환하는 것이 현명한 일처럼 들립니다. 그러나 나는 틀릴 수 있습니다 : 당신은 여기의 다른 사람보다 컨텍스트를 훨씬 잘 이해하고 있습니다. 따라서 사용자가 세트에 항상 의존하지 않기를 기대한다면 예외를 즉시 던져야합니다.

"엄격한"매개 변수 추가와 같이 사용자가 선택할 수있는 솔루션 은 원래 질문을 새로운 동등한 질문으로 대체하기 때문에 결정적이지 않습니다. "어떤 값이 strict기본값이어야합니까?"

세트에서 요소를 선택할 때 요소를 찾을 수 없으므로 빈 세트를 얻는 것이 일반적인 개념입니다 (수학에서) . 물론 이런 식으로 가면 수학과 일관성이 있어야합니다.

공통 세트 규칙 :

• Set.Foreach (predicate); // 빈 세트의 경우 항상 true를 반환합니다.
• Set.Exist (predicate); // 빈 세트의 경우 항상 false를 반환합니다.

귀하의 질문은 매우 미묘합니다.

• 이 함수의 입력이 가지고있을 수 존중하는 계약 : 함수는 일반 매개 변수 아래 작동하지 않는 경우, 그거야, 유효하지 않은 입력이 예외를 발생해야하는 경우입니다.

• 함수 입력이 정확히 set과 동일 하게 작동 해야하므로 빈 세트를 반환 할 수 있어야합니다.

내가 당신 안에 있다면 "Set"방식으로 갈 것입니다. 그러나 큰 "BUT"이 있습니다.

"가설에 의해"여학생 만 있어야하는 컬렉션이 있다고 가정 해 봅시다.

class FemaleClass{

    FemaleStudent GetAnyFemale(){
        var femaleSet= mySet.Select( x=> x.IsFemale());
        if(femaleSet.IsEmpty())
            throw new Exception("No female students");
        else
            return femaleSet.Any();
    }
}

이제 계약서가 있기 때문에 귀하의 컬렉션은 더 이상 "순수한 세트"가 아니므로 예외로 계약을 시행해야합니다.

"set"함수를 순수한 방식으로 사용하는 경우 빈 세트의 경우 예외를 발생시키지 말고 더 이상 "순수한 세트"가 아닌 컬렉션이있는 경우 적절한 곳에 예외를 발생 시켜야합니다 .

당신은 항상 더 자연스럽고 일관된 느낌을 유지해야합니다. 나에게는 세트가 정해진 규칙을 준수해야하지만 세트가 아닌 것은 적절하게 생각 된 규칙을 가져야합니다.

귀하의 경우에는 다음을 수행하는 것이 좋습니다.

List SomeMethod( Set someInputSet){
    var result = someInputSet
        .CombinationsOf(4, CombinationsGenerationMode.Distinct)
        .Select(combo => /* do some operation to a combination */)
        .ToList();

    // the only information here is that set is empty => there are no combinations

    // BEWARE! if 0 here it may be invalid input, but also a empty set
    if(result.Count == 0)  //Add: "&&someInputSet.NotEmpty()"

    // we go a step further, our API require combinations, so
    // this method cannot satisfy the API request, then we throw.
         throw new Exception("you requsted impossible combinations");

    return result;
}

그러나, 우리는 약간의 내부를 제외하고 이동할 수 있는지 우리가 우리가 그것을 제거 할 수없는 문제에 암시 적이다 그러나 임의의 순간에서 런타임에 occurr 수 있습니다 지금은 유효하지 않은 상태를 가지고, 정말 좋은 생각이 아니다 유틸리티 메소드를 (정확히입니다 동일한 코드, 다른 장소로 이동), 그러나 틀렸고 기본적으로 할 수있는 가장 좋은 방법은 규칙적인 규칙을 따르는 것 입니다.

실제로 linq 쿼리 메소드를 작성할 수 있음을 보여주기 위해 새로운 복잡성을 추가하면 문제에 가치가없는 것 같습니다 .OP 가 도메인에 대해 더 많이 알려줄 수 있다면 예외가 실제로 필요한 지점을 찾을 수있을 것입니다. 전혀 문제가 전혀 예외를 요구하지 않을 수도 있습니다).