• 소개
• 공허한 진실이란 무엇입니까?
  • 문제 설명
  • 공허한 진실을 입력하세요
    • 공허한 진실의 수학적 정의
  • 프로그래밍에서 이것이 왜 중요한가요?
  • 참고자료

소개

프로그래밍에서 목록이나 스트림의 모든 요소가 특정 조건을 충족하는지 확인해야 하는 시나리오를 접한 적이 있습니까? 이는 코딩의 일반적인 패턴이지만 목록이 비어 있으면 어떻게 될까요? 여기서 공허한 진실이라는 개념이 작용하게 됩니다.

공허한 진실이란 무엇입니까?

수학적 정의에 대해 알아보기 전에, 공허한 진실이 무엇인지 이해하기 위해 코드의 실제 예부터 시작하겠습니다.

문제 설명

목록의 모든 요소가 특정 조건을 충족하는지 확인하는 임무를 맡고 있다고 상상해 보세요. 그렇다면 특정 작업을 수행합니다. 예를 들어 다음 Java 코드 조각을 고려해 보세요.

  public static void main(String[] args) {
    // Example - 1, expected to do something
    if (allNumbersAreOdd(Arrays.asList(1, 3, 5))) {
      System.out.println("do something 1");
    }
    // Example - 2, NOT expected to do anything because NOT all numbers are odd
    if (allNumbersAreOdd(Arrays.asList(1, 2, 3, 4, 5))) {
      System.out.println("do something 2");
    }
    // Example - 3, NOT expected to do anything because list is empty so there is no odd number.
    /* This is the surprising element which is known as "Vacuous truth" and it will print "do something".
     * It is applicable to both allMatch(Predicate super T> predicate) 
     * and noneMatch(Predicate super T> predicate) */
    if (allNumbersAreOdd(Collections.emptyList())) {
      System.out.println("do something 3");
    }
  }

  private static boolean allNumbersAreOdd(@Nonnull List numbers) {
    return numbers.stream().allMatch(integer -> integer % 2 != 0);
  }

세 ​​번째 예는 특히 흥미롭습니다. 목록이 비어 있는데 왜 "모든 숫자가 홀수임"을 반환합니까?

공허한 진실을 입력하세요

이런 행동은 공허한 진실의 한 예입니다. 수학적 논리에서는 빈 집합의 모든 요소에 대해 무언가를 주장하는 진술이 참으로 간주됩니다. 그 이유는 집합에 진술에 모순되는 요소가 없기 때문입니다.

공허한 진실의 수학적 정의

위키피디아에 따르면:

"공허한 진실은 빈 집합의 모든 구성원이 특정 속성을 가지고 있다고 주장하는 진술입니다. 이러한 진술은 빈 집합에 반례가 없기 때문에 참으로 간주됩니다."

즉, "집합 S의 모든 요소에는 속성 P가 있습니다."라고 말하고 S가 비어 있는 경우 S에는 속성 P를 잠재적으로 위반할 수 있는 단일 요소가 없기 때문에 이 진술은 공허하게 참입니다. &&&]

다음에 목록이나 스트림의 모든 요소가 조건을 충족하는지 확인하는 함수를 작성할 때 공허한 진실의 개념을 기억하세요. 입력이 비어 있을 때 코드가 예기치 않은 방식으로 작동할 수 있는 이유를 설명합니다. 이를 알고 있으면 더욱 강력하고 예측 가능한 프로그램을 작성하는 데 도움이 될 수 있습니다.
빈 목록/스트림에 대한 요구 사항이 true로 평가되어서는 안 되는 경우 목록/스트림에 대한 추가 확인을 고려해야 합니다.

  private static boolean allNumbersAreOdd(@Nonnull List numbers) {
    return !numbers.isEmpty() && numbers.stream().allMatch(integer -> integer % 2 != 0);
  }