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