// Non-null — null 불가
val name: String = "Kotlin"
// name = null   // 컴파일 오류!

// Nullable — null 가능
val nickname: String? = null
val email: String? = "user@example.com"

// 함수 매개변수와 반환값에도 적용
fun findUser(id: Int): String? {     // 사용자가 없으면 null 반환
    return if (id == 1) "홍길동" else null
}

val name: String? = getName()

// 안전 호출
val length = name?.length      // name이 null이면 null, 아니면 Int

// 연쇄 안전 호출
val city = user?.address?.city  // user나 address가 null이면 null

// null 체크 없이 직접 호출 — 컴파일 오류
val len = name.length   // 오류: String? 타입에 직접 접근 불가

// 명시적 null 체크
val len = if (name != null) name.length else null

// 안전 호출 — 더 간결
val len = name?.length

val email: String? = getEmail()

email?.let { addr ->
    println("이메일 전송: $addr")
    sendEmail(addr)
}
// email이 null이면 블록 전체를 건너뜁니다

val name: String? = getUserName()

// 기본값 제공
val displayName = name ?: "익명"

// 함수 반환값에 적용
fun getLength(s: String?): Int = s?.length ?: 0

// 예외 발생으로 조기 탈출
fun requireName(s: String?): String =
    s ?: throw IllegalArgumentException("이름은 필수입니다")

// 함수에서 조기 리턴
fun processUser(id: Int) {
    val user = findUser(id) ?: return   // null이면 함수 종료
    println("처리 중: ${user.name}")
}

val name: String? = "Kotlin"
val length = name!!.length   // name이 null이면 NullPointerException!

val obj: Any = "Hello"

// 안전 캐스팅
val str = obj as? String        // "Hello"
val num = obj as? Int           // null (변환 실패)

// Elvis와 조합
val length = (obj as? String)?.length ?: 0

val obj: Any = 42

// 일반 캐스팅 — 실패 시 ClassCastException
val str = obj as String   // 예외 발생!

// 안전 캐스팅 — 실패 시 null
val str = obj as? String  // null 반환

fun printLength(s: String?) {
    if (s != null) {
        // 이 블록 안에서 s는 String (non-null) 으로 추론됨
        println(s.length)   // 안전하게 호출 가능
    }
}

// is 체크도 스마트 캐스트 적용
fun describe(obj: Any) {
    if (obj is String) {
        println(obj.length)  // obj가 String으로 스마트 캐스트
    }
    if (obj is Int) {
        println(obj + 1)     // obj가 Int로 스마트 캐스트
    }
}

// Java 메서드 호출 — 반환값이 null일 수 있음
val name: String = System.getenv("APP_NAME")   // 위험! null일 수 있음
val safeName: String? = System.getenv("APP_NAME")  // 안전
val result = System.getenv("APP_NAME") ?: "기본값"  // Elvis로 방어

package com.example.nullsafety

data class Address(val city: String?, val zipCode: String?)
data class User(val name: String, val email: String?, val address: Address?)

fun main() {
    val user: User? = User(
        name = "홍길동",
        email = null,
        address = Address(city = "서울", zipCode = null)
    )

    // 연쇄 안전 호출
    val city = user?.address?.city
    println("도시: $city")   // 도시: 서울

    // Elvis로 기본값
    val email = user?.email ?: "이메일 없음"
    println("이메일: $email")   // 이메일: 이메일 없음

    // 우편번호 — null이 여러 단계
    val zip = user?.address?.zipCode ?: "우편번호 없음"
    println("우편번호: $zip")   // 우편번호: 우편번호 없음

    // let으로 null이 아닐 때만 실행
    user?.email?.let { addr ->
        println("이메일 전송: $addr")
    }
    // 아무것도 출력하지 않음 (email이 null)

    // 안전 캐스팅
    val values: List<Any> = listOf(1, "hello", 3.14, null)
    val strings = values.filterIsInstance<String>()
    println("문자열만: $strings")   // 문자열만: [hello]

    // requireNotNull 패턴
    try {
        val name = requireNotNull(user?.name) { "사용자 이름 필수" }
        println("이름: $name")
    } catch (e: IllegalArgumentException) {
        println("오류: ${e.message}")
    }
}