정적타입의 장점과 타입을 세분화

https://www.yes24.com/Product/Goods/122890814

타입으로 견고하게 다형성으로 유연하게 - 예스24

책을 읽고 공부한 것을 정리한 내용입니다.

 

 

 

 

정적 타입은 실행하기 이전에 타입을 체크해서 실행시간이 짧은 장점이 있다. 대표적인 예로는 C/C++, 자바, 러스트등이 있다.

 

타입 검사를 할때 타입만 체크해서 예외 상황들이 발생하는데 예를 들면 예시 코드에서 보이는 타입과 상관없는 계산에 의한 실수, null참조같은 오류들은 발견하지 못한다 그래서가장 에러가 많이 나는 것은 세밀하게 분류, 가장 에러가 적게나는 것은 대강 분류하면서 타입을 체크하는것이 좋다.

 

 

 

0으로나눠서 에러 

class Main {
  public static void main(String[] args) {
    int x = 1 / 0;
    System.out.println(x);
  }
}

 

 

 

null참조에러 

class Main {
  public static void main(String[] args) {
    String s = null;
    s.contains("a");
  }
}