1. 태크 클래스(tagged class)

• 하나의 클래스 안에서 타입을 구분하기 위해 type과 같은 tag 필드를 사용하는 클래스

class Car(
    val type: CarType,        // enum 태그 (SPORTS, FAMILY)
    val name: String,
    val maxSpeed: Int?,       // Sports car만 필요
    val turboEngine: Boolean?, // Sports car만 필요
    val seatingCapacity: Int?, // Family car만 필요
    val trunkSize: Int?        // Family car만 필요
) {
    enum class CarType {
        SPORTS,
        FAMILY
    }

    fun describe() = when(type) {
        CarType.SPORTS -> "${name}은 최고속도 ${maxSpeed}km/h의 스포츠카입니다."
        CarType.FAMILY -> "${name}은 ${seatingCapacity}인승 패밀리카입니다."
    }
}

// 사용
val porsche = Car(
    type = Car.CarType.SPORTS,
    name = "911",
    maxSpeed = 300,
    turboEngine = true,
    seatingCapacity = null,  // 불필요
    trunkSize = null         // 불필요
)

2. 태크 클래스의 문제점

• 불필요한 nullable 프로퍼티들이 많아짐
  • 이를 처리하기 위한 boilerplate가 추가되어야 함
    • 특정 타입에만 필요한 필드들을 모두 nullable로 만들어야 함
    • null 체크 로직이 불필요하게 많아짐
  • 응집도 저하
    • 서로 관련 없는 속성들이 하나의 클래스에 모여있음
    • 코드 이해와 유지보수가 어려워짐
• 잘못된 데이터 조합 가능성
  • 타입에 맞지 않는 데이터 조합을 컴파일 타임에 막을 수 없음
  • 런타임 에러 발생 위험
• 확장성 제한
  • 새로운 타입 추가 시 기존 클래스를 수정해야 함
  • OCP(Open-Closed Principle) 위반
  • 코드 수정 범위가 넓어짐

3. sealed 한정자

• 클래스의 상속을 제한하는 한정자
• *sealed: 봉인된

주요 특징

1. 상속 제한
   • 모든 하위 클래스가 한 파일에 있어야 함

sealed class Car    // sealed로 선언

// 같은 파일 안에서만 Car를 상속할 수 있음
class SportsCar(val maxSpeed: Int) : Car() // OK
class FamilyCar(val seatingCapacity: Int) : Car() // OK

// 다른 파일(OtherCars.kt)에서는 상속 불가능
class ElectricCar(val batteryCapacity: Int) : Car() // 컴파일 에러!

1. 하위 클래스를 컴파일 타임에 알 수 있음

   • 같은 파일에서만 상속이 가능하기 때문에 컴파일러가 모든 하위 타입을 파악할 수 있음
   • 따라서 when절에 모든 하위 타입에 대한 분기를 작성했다면 else절이 필요없음
   • 이때, 하위 타입이 신규로 추가되었다면 when절에서의 누락을 컴파일 타임에 인지할 수 있음

   sealed class Car
   class SportsCar(val maxSpeed: Int) : Car()
   class FamilyCar(val seatingCapacity: Int) : Car()
   
   fun processCar(car: Car) = when(car) {
       is SportsCar -> "최고속도: ${car.maxSpeed}km/h"
       is FamilyCar -> "좌석수: ${car.seatingCapacity}인승"
       // 다른 타입이 없다는 것을 컴파일러가 알고 있어서
       // else나 다른 케이스가 필요 없음
   }
   

• 일반 open 클래스는 컴파일러가 모든 하위 타입을 알지 못하므로 else절이 필수임
• when에서의 분기 누락 가능성이 존재
  • 신규로 자식 클래스가 추가될 때 자동으로 else로 처리됨
  • 신규 클래스에 대한 특별한 처리가 필요해도 알아차리기 어려움
  • 컴파일러가 경고하지 않음

open class Car  // 일반 open 클래스
class SportsCar : Car()
class FamilyCar : Car()

fun processCar(car: Car) = when(car) {
    is SportsCar -> "스포츠카"
    is FamilyCar -> "패밀리카"
    else -> "다른 차량"  // else 필수! (다른 하위 클래스가 추가될 수 있음)
}