0
나의 질문은 짧다. 컴파일러가 메소드 전제 조건 및 사후 조건을 시행합니까?자바 - 방법 전제 조건 및 사후 조건 시행
A
답변
1
Contracts for Java을 보시면 어노테이션을 통해 사전 조건과 사후 조건을 비롯하여 불변 조건을 적용하는 데 도움이됩니다. 하지만 컴파일 타임 검사는 없으며, 내가 아는 한 런타임 만 있습니다.
3
아니요. Java는 (예를 들어) Ada와 같은 계약 별 사전/사후 조건을 명시 적으로 지원하지 않습니다. the java docs
간단한 예제를 통해 무엇을 의미하는지 명확히해야합니다. – assylias
질문은 실제로 촬영되었습니다. 사전 조건과 사후 조건은 거의 모든 것이 될 수 있으며 컴파일러가 마음을 읽을 수있는 방법은 없습니다. – chrylis
이것은 학습 가이드에 대한 잘못된 질문입니다. 매우 혼란 스럽습니다. – JungleJeem