런타임에 다운캐스팅을 수행한다거나 하는 상황을 마주하면 자바는 런타임에 타입 체크를 해야합니다. 이런 이유로 자바가 동적타입이고, 이때 발생하는게 예외죠
근본적으로 이 간극이 없다면 예외를 예외라고 부를 필요가 없습니다. throw는 throw하는 객체를 전역변수에 담아두고 goto하는 패턴의 문법설탕이 되겠죠