장: 분석법 설계

• 초점: 분석법 설계의 유용성, 견고성 및 유연성.
• 범위: 매개변수 및 반환 값 처리, 메소드 서명 설계 및 문서화.

항목 49: 매개변수 유효성 확인

- 매개변수 제한사항:
메서드와 생성자는 일반적으로 매개변수 값(예: 음수가 아닌 인덱스, null이 아닌 참조)에 대한 제한이 있습니다.
이러한 제한 사항은 메서드 시작 부분에서 문서화되고 확인되어야 합니다.

- 인증의 중요성:
메서드에서 예기치 않은 오류나 잘못된 동작을 방지하려면 가능한 한 빨리 오류를 감지하세요.
매개변수를 확인하지 않는 메서드는 디버그하기 어려운 충돌을 일으킬 수 있습니다.

- 예외 문서:
제약 조건 위반 시 발생하는 예외를 문서화하려면 @throws Javadoc 태그를 사용하세요.
일반적인 예외: IllegalArgumentException, IndexOutOfBoundsException, NullPointerException.

매개변수 확인 예:

public static int mod(int x, int y) {
    if (y 



- Objects.requireNonNull 사용:

Java 7에서 도입되었으며 객체의 null 허용 여부를 확인하는 데 사용됩니다.

확인 후 전달된 값을 반환합니다: 


this.m = Objects.requireNonNull(m, "Parâmetro 'm' não pode ser nulo");





- 범위 확인(Java 9):

목록과 배열의 인덱스를 확인하기 위한 checkFromIndexSize, checkFromToIndex 및 checkIndex 메서드.

유연성이 떨어지며 주로 컬렉션에 사용됩니다.

**

• 비공개 메서드의 매개변수 검사:** 내보내지 않은 메서드의 경우 어설션을 사용하여 매개변수를 확인하세요.

assert x > 0 : "Valor de x deve ser positivo";

- 특별한 경우:
빌더는 나중에 사용할 수 있도록 저장된 매개변수의 유효성을 항상 확인해야 합니다.
계산 중에 검사가 암시적으로 수행되는 비용이 많이 드는 검사에 대해서는 예외가 있을 수 있습니다.

- 암시적 확인 예:
Collections.sort(List)는 객체가 상호 비교 가능하다고 가정합니다. 정렬 과정에서 확인이 이루어집니다.

- 예외 번역:
암시적 검사에서 잘못된 예외가 발생하는 경우 "예외 변환"을 사용하여 올바른 예외를 발생시킵니다.

- 제한의 유연성:
방법은 가능한 한 일반적으로 설계되어야 하며 필요한 만큼 제한을 적용해야 합니다.

- 결론:
메서드와 생성자에 대한 매개변수 유효성 검사를 문서화하고 구현합니다. 향후 오류를 방지하고 디버깅을 용이하게 하려면 연습이 필수적입니다.