반환 타입은 모든 정상 경로의 계약이다
컴파일러는 가능한 입력 경로마다 반환값 존재 여부를 확인합니다.
| 메서드 타입 | 허용 return | 본문 끝 도달 |
|---|---|---|
| void | return; | 허용 |
| int | return int식; | 불가 |
| String | return String식; | 불가 |
| boolean | return boolean식; | 불가 |
핵심: 반환값이 있는 메서드는 조건에 걸리지 않는 기본 경로도 값을 제공해야 합니다.
컴파일러는 가능한 입력 경로마다 반환값 존재 여부를 확인합니다.
| 메서드 타입 | 허용 return | 본문 끝 도달 |
|---|---|---|
| void | return; | 허용 |
| int | return int식; | 불가 |
| String | return String식; | 불가 |
| boolean | return boolean식; | 불가 |
핵심: 반환값이 있는 메서드는 조건에 걸리지 않는 기본 경로도 값을 제공해야 합니다.