타입 안정성은 무엇이며 왜 중요할까요?

[sangjun121]

자바의 제네릭이나 Enum 클래스가 생겨난 각각의 배경 속에는 공통적으로 타입 안정성을 높이기 위한 목적도 포함되어 있습니다.

1. 타입 안정성은 무엇이며, 보장하지 않은 경우 어떤 문제가 발생할 수 있을까요?
2. 자바는 Enum과 제네릭을 도입해서, 타입 안정성을 어떻게 높일 수 있었나요?

[softmoca]

타입 안정성의 의미

저는 타입 안정성을 잘못된 타입의 값이 프로그램 안으로 들어오는 것을 가능한 한 컴파일 시점에 막아주는 성질이라고 이해했습니다.

즉, 타입 안정성이 높다는 것은 단순히 코드가 깔끔하다는 의미보다,
개발자가 의도하지 않은 값이나 객체가 들어와서 런타임에 터지는
상황을 줄여준다는 의미에 가깝다고 생각합니다.

초기 문제

예를 들어 제네릭이 없던 시절의 컬렉션은 Object 기반으로 값을 다뤘습니다.

List numbers = new ArrayList();

numbers.add(1);
numbers.add("문자열");

Integer number = (Integer) numbers.get(1);

위 코드는 컴파일은 될 수 있지만, 실제 실행 시점에 ClassCastException이 발생합니다.

문제는 잘못된 값이 들어간 시점과 문제가 터지는 시점이 다르다는 점입니다.
"문자열"이 들어갈 때 바로 막히지 않고,
나중에 Integer로 꺼내 쓰는 순간 문제가 발생합니다.

이런 코드는 규모가 커질수록 원인을 찾기 어려워지고,
테스트에서 놓치면 운영 중에 런타임 예외로 이어질 수 있습니다.

제네릭으로 해결

제네릭은 이 문제를 타입 파라미터로 해결합니다.

List<Integer> numbers = new ArrayList<>();

numbers.add(1);
numbers.add("문자열"); // 컴파일 에러

이제 List는 Integer만 담을 수 있는 컬렉션이라는 의도가 타입에 드러납니다.

덕분에 잘못된 타입의 값은 런타임이 아니라 컴파일 시점에 차단됩니다.
또한 값을 꺼낼 때도 불필요한 형변환이 줄어듭니다.

즉, 제네릭은 Object와 형변환에 의존하던 코드를 '타입 시스템' 안으로 끌어들여서,
타입 안정성을 높였다고 볼 수 있을 것 같습니다.

Enum

Enum도 비슷한 맥락이라고 생각합니다.

Enum이 없으면 특정 상태나 종류를 문자열 또는 정수 상수로 표현하는 경우가 많습니다.

static final String MONDAY = "MONDAY";
static final String TUESDAY = "TUESDAY";

void reserve(String day) {
    // ...
}

이 방식의 문제는 아무 문자열이나 들어올 수 있다는 점입니다.

• reserve("MONDY"); // 오타지만 컴파일 가능
• reserve("HELLO"); // 의미 없는 값도 컴파일 가능

즉, 메서드는 요일을 기대하지만 타입은 단순히 String이기 때문에,
컴파일러가 잘못된 값을 막아주지 못합니다.

Enum을 사용하면 허용 가능한 값의 범위를 타입으로 제한할 수 있습니다.

enum Day {
    MONDAY, TUESDAY, WEDNESDAY
}

void reserve(Day day) {
    // ...
}
----
reserve(Day.MONDAY);
reserve("MONDY"); // 컴파일 에러

이제 reserve()에는 Day 타입의 값만 전달할 수 있습니다.

즉, Enum은 “아무 문자열”이 아니라 정해진 후보 중 하나만 사용할 수 있는 타입을 만들어줍니다.
이 덕분에 오타, 잘못된 값, 의미 없는 값이 들어오는 것을 컴파일 시점에 막을 수 있습니다.

결국 제네릭과 Enum은 둘 다 개발자의 의도를 타입으로 표현한다는 공통점이 있다고 생각합니다.

List → 이 컬렉션에는 Integer만 들어간다.
Day enum → 이 값은 정해진 요일 중 하나여야 한다.

이처럼 타입으로 의도를 표현하면, 컴파일러가 그 의도를 함께 검증해줄 수 있습니다.

타입 안정성 보장 안할 경우의 문제들

타입 안정성을 보장하지 않으면 대표적으로 이런 문제가 생긴다고 생각합니다.

1. 런타임 예외 가능성이 커진다

잘못된 타입의 값이 컴파일 시점에 걸러지지 않기 때문에,
실행 중에 ClassCastException 같은 예외가 발생할 수 있습니다.

2. 잘못된 값이 들어와도 바로 알아차리기 어렵다

문제가 발생한 지점과 원인이 된 지점이 멀어질 수 있습니다.
예를 들어 잘못된 값은 컬렉션에 들어갈 때 발생했는데,
예외는 나중에 꺼내 쓸 때 발생할 수 있습니다.

3. 코드의 의도가 타입에 드러나지 않는다

String status만 보면 어떤 값이 들어와야 하는지 알기 어렵습니다.
반면 ReservationStatus status처럼 Enum을 사용하면,
이 값이 예약 상태 중 하나라는 사실이 타입만 봐도 드러납니다.

최종 정리

그래서 저는 타입 안정성을 이렇게 정리할 수 있을 것 같습니다.

타입 안정성은 잘못된 값이 들어올 가능성을 타입 시스템을 통해 줄이고,
런타임 문제가 아니라 컴파일 시점의 문제로 앞당기는 성질이다.

제네릭은 컬렉션이나 클래스 내부에서 다룰 값의 타입을 명확히 제한해 타입 안정성을 높였고,
Enum은 정해진 값의 집합을 별도의 타입으로 표현함으로써,
문자열/정수 상수보다 안전하게 값을 다룰 수 있게 해줬다고 생각합니다.

[haeyoon1]

모카가 자세히 설명해주셨네요!
타입안정성에 대한 설명은 생략하고 아래 질문에대한 의견을 남겨놓겠습니다.

자바는 Enum과 제네릭을 도입해서 타입 안정성을 어떻게 높일 수 있었나요?

• Generic이란?
  제네릭은 클래스 내부에서 사용할 타입을 파라미터로 받는 기능입니다. 아래 코드에서 <> 가 이에 해당합니다.

  List<Integer> list = new ArrayList<>();
  

• Enum이란?
  enum은 서로 관련 있는 상수들을 모아놓은 클래스입니다.

두 기능 모두 의도한 형태의 데이터만 허용한다는 특징이 있습니다.
예를 들어 Generic은 선언 시 설정한 자료형의 값들만, Enum은 Enum 클래스 내부에 선언된 값들만 허용하고
그 외의 데이터들은 컴파일 시점에서 오류를 터트려 방어합니다.

그렇게되면 의도하지 않은 값들을 방어해 해당 자료형의 변수를 믿고 사용할 수 있다는 장점이 있는 것 같아요.
만일 타입 안정성이 보장되지 않았다면 자료형 검증 등의 검증 로직이 너무 많아질 것 같습니다.

---

(추가) 자바에서 타입안정성을 높이는 다른 방법

추가로 자바에서 타입안정성을 높이는 방법에 대해 찾아보았을 때 VO를 사용하는 방법도 있다고 하네요!

원시 타입이나 String을 그대로 쓰면 의미가 같은 타입끼리 섞일 위험이 있지만 VO로 분리하면 이를 컴파일 단계에서 방지할 수 있습니다.

예를 들어 long userId와 long orderId는 컴파일러 입장에서 구분이 안 됩니다.

public record UserId(long value) {}
public record OrderId(long value) {}

위와 같이 다른 클래스로 해당 값을 감싸게되면,

public Order findOrder(UserId userId, OrderId orderId) { ... }

인자 순서를 바꾸었을 때 컴파일되지 않기에 타입 안정성을 보장할 수 있다고합니다!

추가 학습 키워드: Primitive Obsession 안티패턴

[koreaioi]

타입 안정성은 무엇이며, 보장하지 않은 경우 어떤 문제가 발생할 수 있을까?

1. 런타임 시 문제가 발생할 수 있다.

   • 컴파일 시 문제는 컴파일 시점에 즉각적으로 알 수 있지만, 런타임 시 문제는 언제 발생하지 모르기에 원인을 파악하기 힘들다.

2. 어떤 타입을 다뤄야하는 지 알 수 있다.

   • List a = new List(); 같은 Raw Type은 어떤 타입을 다루는 지 명확하지 않아, 개발자의 혼돈을 야기한다.
   • List<Integer> a = new List<>();는 해당 리스트가 숫자를 다루는 지 명확히 다루고 있기 때문에 협업과 유지보수에 유리하다.

---

자바는 Enum과 제네릭을 도입하여, 타입 안정성을 어떻게 높일 수 있을까?

제네릭 - 문제파악을 컴파일 시점으로 당김, 타입을 보존.
Enum - 가능한 값을 제한.

제네릭을 사용하면, 런타임시 발생할 수 있는 문제를 컴파일 시점으로 당겨 타입 안정성을 높입니다. 위 모카의 예시가 적절하겠네요.

또한 제네릭을 사용하면 타입을 보존합니다. Repository<Theme>는 들어온 Theme이라는 타입을 보존하여, 반환에서도 Theme을 그대로 사용할 수 있게합니다. (반환 타입을 T로)

Enum은 가능한 값을 미리 제한하여 타입 안정성을 높입니다.
이번 미션에서 Reservation 객체가 가질 수 있는 상태를 String이 아니라, RESERVED, CANCELED로 미리 제한하고, 해당 Enum이 아니라면 아예 사용할 수 없도록 합니다.

---

TMI

TMI

제네릭은 타입 안정성을 유지하며, 확장에 열려있도록 도와줍니다.

추상화를 효과적으로 다루려면, 외부에서 주입받는 대상으로 사용하는 게 좋습니다. 제네릭도 마찬가지로 외부에서 대상을 주입받는 구조이며, 그 대상이 타입인 것이죠 이 덕분에 확장에 열려있고, 타입 오류에는 닫혀있게 해줍니다.

간단한 예시로, Theme, Resevation 별로 InmemoryRespotiory를 일일이 만들 수 있지만, 이는 직접 클래스를 만들어야하는 불필요함이 생겨납니다.

new ThemeRepository();
new ReservationRepository();

그러나 여기에 제네릭을 적용하면, 추가 클래스 작성 없이, 확장성있는 코드를 적용할 수 있습니다.

public class Repository<T> {
    private final List<T> data = new ArrayList<>();

    public void save(T value) {
        data.add(value);
    }

    public T find() {
        return data.getFirst();
    }
}

// 사용 예시
Repository<Theme> themeRepository = new Repository<>();  
Repository<Reservation> reservationRepository = new Repository<>();

[sangjun121]

타입 안정성은 무엇이며, 보장하지 않은 경우 어떤 문제가 발생할 수 있을까?

타입 안정성은 넓은 의미에서 예상한 타입의 값만 다루도록 보장하는 것을 의미합니다. 예를 들어, String으로 정의된 변수에 int형 데이터가 들어오면 컴파일 단계에서 막히는 것 또한 타입 안정성이 보장된다고 말할 수 있습니다.

그렇다면 컬렉션의 경우는 어떨까요? 제네릭이 도입되기 이전에는 List의 원소의 타입을 코드 단계에서 정의하지 않고 사용할 수 있었습니다. (단순 Raw Type으로 사용)

List a = new List();

만약에 해당 리스트 a가 String을 담는 컬렉션이었는데, a.add(1)을 한다면 논리적 오류가 발생합니다. 여기서 문제는 이 오류의 발생을 컴파일 단계가 아닌 런타임 단계에서 발견할 수 있다는 점입니다. 따라서 타입 안정성이 중요한 이유는 런타임 단계에서 발생할 위험성을 컴파일단계에서 미리 체크하고 안정성을 높기 위함 입니다.

결국, 논리적인 연산 혹은 비교에서 각 피연산자들은 같은 종류여야 논리적으로 말이 됩니다. 이를 타입으로 강제하여 컴파일 단계에서 확인하자는 매커니즘입니다.

자바는 Enum과 제네릭을 도입하여, 타입 안정성을 어떻게 높일 수 있을까?

1. 제네릭

• 우선 제네릭은 앞서 살펴보았듯이, 컬렉션이나 객체에 미리 코드레벨에서 타입을 지정하여 타입안정성을 보장하였습니다.

2. Enum

• 사실 넓은 범위에서 타입 안정성은 비교연산도 포함합니다. 예를 들어 어플리케이션 상수를 다음과 같이 int형으로 정의하였다고 가정해봅시다. (APPLE = 1 과 YELLOW =1) 이때 APPLE == YELLOW를 실행하면 true가 나옵니다. 하지만 논리적으로 사과와 노란색은 같은 종류가 아니기 때문에 비교 대상이 될수 없습니다. 이런 개발자의 휴먼 에러속에서 다른 종류의 타입이 비교 혹은 연산되는 것을 방지하기 위해 상수를 타입으로 강제하자라고 등장한 개념이 Enum 클래스입니다. 따라서, Enum은 넓은 범위의 타입안정성인 상수 비교,연산 속 논리적 오류를 방지하기 위해 타입으로 강제하여 해결한 케이스입니다.