java.util.stream API로 코딩하는 동안 \'공허한 진실\'을 항상 염두에 두세요.-java지도 시간-php.cn

java.util.stream API로 코딩하는 동안 \'공허한 진실\'을 항상 염두에 두세요.

王林

풀어 주다： 2024-09-03 15:52:21

원래의

586명이 탐색했습니다.

Keep

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

소개

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

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

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

문제 설명

목록의 모든 요소가 특정 조건을 충족하는지 확인하는 임무를 맡고 있다고 상상해 보세요. 그렇다면 특정 작업을 수행합니다. 예를 들어 다음 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<Integer> numbers) {
    return numbers.stream().allMatch(integer -> integer % 2 != 0);
  }

로그인 후 복사

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

공허한 진실을 입력하세요

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

공허한 진실의 수학적 정의

Wikipedia에 따르면:

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

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

프로그래밍에서 이것이 왜 중요한가요?

공허한 사실을 이해하는 것은 코드의 논리와 결과에 영향을 미칠 수 있기 때문에 프로그래밍에서 중요합니다. 특히 컬렉션, 스트림 또는 입력이 비어 있을 수 있는 모든 시나리오를 처리할 때 더욱 그렇습니다.

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

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

로그인 후 복사