Kotlin은 정적 타입 안정성과 null 안전성을 핵심 원칙으로 삼는 언어입니다. 이 목표를 달성하기 위해 ?. — 즉 안전 호출 연산자(safe call operator)를 제공합니다. 이 연산자는 중첩된 객체 구조에서 null을 예방적으로 처리하며, 복잡한 null 체크 로직을 간결하고 선언적으로 표현할 수 있게 해줍니다.

기본 동작 원리

Kotlin에서 변수가 T? 형태로 선언되면, 해당 변수는 null일 수 있습니다. 이를 직접 참조하려면 ?.를 사용해야 합니다. 예를 들어:

data class Profile(val bio: String?, val avatar: Image?)
data class Image(val url: String, val size: Int)

val profile: Profile? = fetchProfile() // 결과가 null일 수 있음
val avatarUrl = profile?.avatar?.url

위 코드에서 profile이 null이거나 avatar가 null이면, 전체 식의 결과는 String? 타입의 null이 됩니다. 어떤 단계에서도 NPE(Null Pointer Exception)가 발생하지 않습니다.

Elvis 연산자와의 조합

안전 호출 후 기본값을 제공하려면 Elvis 연산자(?:)를 함께 사용합니다:

val displayUrl = profile?.avatar?.url ?: "https://example.com/default.png"
val displayName = profile?.bio?.takeIf { it.isNotBlank() } ?: "프로필 정보 없음"

두 번째 예시에서는 takeIf를 통해 빈 문자열도 필터링하고, 조건에 부합하지 않으면 대체 값을 반환합니다. 이처럼 ?.는 함수 호출, 속성 접근, 캐스팅 등 다양한 컨텍스트에서 유연하게 작동합니다.

실무 적용 사례

API 응답 파싱

REST API에서 받아온 JSON을 매핑한 데이터 클래스는 대부분 계층적이고 희소한 필드를 포함합니다:

data class ApiResponse(
    val metadata: Metadata?,
    val payload: Payload?
)

data class Metadata(val version: String?, val timestamp: Long?)
data class Payload(val items: List<Item>?)

fun extractVersion(apiResponse: ApiResponse): String {
    return apiResponse.metadata?.version ?: "v0.0.0"
}

fun firstItemId(apiResponse: ApiResponse): String? {
    return apiResponse.payload?.items?.firstOrNull()?.id
}

UI 상태 관리

Compose 또는 View 기반 UI에서 상태 객체가 부분적으로 초기화될 때도 유용합니다:

data class UserState(
    val user: User?,
    val isLoading: Boolean,
    val error: Throwable?
)

@Composable
fun UserProfileCard(state: UserState) {
    val userName = state.user?.name ?: "게스트"
    val userEmail = state.user?.contact?.email ?: "이메일 미등록"
    
    Text("이름: $userName | 이메일: $userEmail")
}

주의사항 및 최적화 팁

• 타입 추론 주의: a?.b?.c의 결과 타입은 항상 T?입니다. 따라서 이 값을 바로 non-null 컨텍스트에서 사용하려면 추가 검사(!! 또는 let 블록)가 필요합니다.
• 성능 고려: 각 ?.는 런타임에 null 체크를 수행합니다. 5단 이상의 체인은 가독성 저하뿐 아니라 불필요한 분기 오버헤드를 유발할 수 있으므로, 도메인 모델 설계 시 중간 객체의 null 허용 여부를 재고해보는 것이 좋습니다.
• 디버깅 지원: IntelliJ IDEA는 ?. 식을 클릭하면 각 단계의 타입과 null 가능성 여부를 인라인으로 표시해 주며, 디버그 모드에서 값 평가 시 null 전파 경로를 쉽게 추적할 수 있습니다.

대체 패턴 비교

전통적인 null 체크와 비교해 보겠습니다:

// 전통적 방식 (장황함)
val city: String?
if (user != null && user.address != null && user.address.city != null) {
    city = user.address.city
} else {
    city = "미정"
}

// Kotlin 안전 체인 (명확함)
val city = user?.address?.city ?: "미정"

후자의 경우 컴파일러가 타입 안전성을 보장하고, 실행 시점에서 null 전파를 자동으로 처리합니다. 이는 코드의 신뢰성과 유지보수성을 동시에 향상시킵니다.