프로그램이 타입의 안전성을 보장하는 케이스

비검사 형변환

개발자가 타입의 안전성을 보장하는 케이스

개발자는 어떻게 타입이 안전하다는 것을 보장해 줄 수 있을까?

private 선언

요소를 추가하는 메서드(push, add)를 통해 저장되는 원소의 타입이 항상 동일하다.