📚[Java] 런타임에러(Runtime Error)

제네릭에 대한 학습 중 생긴 의문

제네릭을 공부하면서 한 가지 의문이 생겼다.
"타입 안정성을 보장한다"는 말은 과연 무엇을 의미하는 걸까?
처음에는 이 말이 좀 막연하게 들렸고 그 의문은 꼬리에 꼬리를 물고 이어져
런타임에러 에 대해 공부하게 되는 계기가 되었다.

---

제네릭 사용 예시

//제네릭 클래스
public class GenericBox<T> {
    private T item;

    public GenericBox(T item){
        this.item = item;
    }

    public T getItem() {
        return this.item;
    }
}

//메인 클래스
public class Main {
    public static void main(String[] args) {
      //제네릭은 참조형(Reference Type)만 허용한다.(기본형 Primitive Type은 허용하지 않음)
      //기본형을 사용하려면 대응되는 래퍼 클래스를 타입 인자로 넣어야 한다.
      //(예: int → Integer, double → Double 등 / String은 애초에 참조형이므로 그대로 사용 가능)
      GenericBox<String> strGBox = new GenericBox<>("item1");
      GenericBox<Integer> intGBox = new GenericBox<>(100);
      GenericBox<Double> doubleGBox = new GenericBox<>(1.5);

      //타입 안정성 보장
      //제네릭 인스턴스는 다운캐스팅을 자동으로 진행해준다.
      String str1 = strGBox.getItem();
      System.out.println("str1 = " + str1);
      Object num1 = intGBox.getItem();
      System.out.println("num1 = " + num1);
}

여기까지는 일반적인 제네릭의 사용법을 설명하는 예시이다.
그런데 아래처럼 코드를 작성한다면 어떨까? 내 의문점은 이 부분에서 시작한다.

Integer num2 = strGBox.getItem(); //컴파일 에러 item은 String 타입

물론 해당 상황은 IDE 가 오류를 캐치해주고 실행시 컴파일 에러를 발생시킨다.
하지만 타입 불일치 시 에러가 발생하는건 기존의 클래스와 동일한데 제네릭을 사용하면서 얻는다는 타입 안정성 보장이라는 말이 무슨 의미인지 궁금했다.
이런 의문을 갖고 검색을 하다 보니 '타입 안정성 보장' 이라는 말이 컴파일 타임에 에러를 잡아주는 것이라는 사실을 알게 되었다.
컴파일 타임에 에러를 잡아줘서 런타임에러를 방지할 수 있다는 게 왜 그렇게 중요한걸까?
"런타임에러? 그냥 프로그램이 강제종료 되는거 아닌가...?"

---

런타임 에러가 무서운 진짜 이유

런타임에러와 이로 인해 발생하는 프로그램의 강제 종료가 왜 무서운지에 대해 찾아보았다.

1. 사용자가 직접 마주친다.

• 컴파일 에러는 개발 중 확인하고 수정할 수 있다.
• 런타임 에러를 놓쳐 배포가 진행된다면 사용자 앞에서 에러가 터질 수 있다.
• 갑작스러운 프로그램의 비정상적 종료는 고객의 신뢰도를 떨어뜨린다.

  1. 은행 앱에서 송금을 누른 순간 런타임 에러 발생
  2. 앱 강제종료
  3. 사용자는 돈이 송금됐는지 아닌지 모름

2. 재현이 어렵다.

• 특정 조건, 타이밍, 상황에서만 터지는 런타임에러도 존재한다.
• 사용환경에 따라 발생조건이 달라질 수 도 있어 디버깅이 힘들어진다.

3. 데이터 손실

• 파일 저장 혹은 DB 쓰기 도중에 런타임에러 발생
• 저장중이던 데이터가 날아가거나 잘못된 데이터가 저장될 수 있다.

4. 보안 취약점

• 런타임 예외 중 일부는 보안 공격에 악용될 수 있다.

  상황 예시
  unchecked null : null 상태를 악용해 인증 우회나 접근 제어 우회 시도가 가능하다.
  buffer overrun : 버퍼 범위를 넘어서 메모리를 덮어쓰며 곡격자가 임의의 코드를 삽입하거나 실행시킬 수 있다.

5.서비스 전체 장애 가능성

• 서버 애플리케이션에서 예외가 처리되지 않으면 전체 서비스가 다운될 수 있다.
• 하나의 런타임 에러가 전체 시스템에 연쇄적인 영향을 미칠 수 있다.

---

지금까지의 작업이 개발 단계에 그쳤기에 나는 런타임 에러를 단순히 개발 중 마주치는 가벼운 예외쯤으로만 여겼다.
하지만 제네릭의 타입 안정성에 대해 고민하면서 '왜 컴파일 타임에 에러를 잡는 게 중요할까?' 라는 질문을 스스로에게 던지게 되었고 그 과정에서 런타임 에러가 사용자에게 직접적인 피해를 줄 수 있다는 사실을 깨닫게 되었다.

결국 타입 안정성 보장을 통해 런타임 에러를 방지한다는 것은 사용자가 신뢰할 수 있는 안정적인 실행환경을 만든다는 의미였다.

좋은 프로그램이란 단순한 구동을 넘어 사용자가 불편함 없이 안심하고 쓸 수 있는 것이어야 한다.

결론: 제네릭 최고!