CH3-2 · MODEL

비교와 논리 연산의 성공과 실패 증거

&&는 첫 조건이 거짓이면 뒤 메서드를 호출하지 않아 null 접근을 막습니다.

성공 출력

관찰 가능한 결과

usable=false / same object=false

실패 경계

왜 실패하는가

&&는 첫 조건이 거짓이면 뒤 메서드를 호출하지 않아 null 접근을 막습니다.

선택 기준

코드에 남길 계약

좋은 조건식은 비교 대상, 단락 평가 순서, 경계값을 코드만 보고도 설명할 수 있습니다.

관찰 증거 좋은 조건식은 비교 대상, 단락 평가 순서, 경계값을 코드만 보고도 설명할 수 있습니다.