동등성

코틀린에는 두 가지 유형의 동등성이 있습니다:

• 구조적 동등성 (==) - equals() 함수 확인
• 참조 동등성 (===) - 두 참조가 동일한 객체를 가리키는지 확인

구조적 동등성

구조적 동등성은 두 객체가 동일한 내용 또는 구조를 갖는지 확인합니다. 구조적 동등성은 == 연산자와 그 반대 연산자인 !=에 의해 확인됩니다. 관례상, a == b와 같은 표현식은 다음과 같이 변환됩니다:

a?.equals(b) ?: (b === null)

a가 null이 아니면 equals(Any?) 함수를 호출합니다. 그렇지 않으면 (a가 null인 경우) b가 null과 참조적으로 동일한지 확인합니다:

fun main() {
    var a = "hello"
    var b = "hello"
    var c = null
    var d = null
    var e = d

    println(a == b)
    // true
    println(a == c)
    // false
    println(c == e)
    // true
}

null과 명시적으로 비교할 때 코드를 최적화할 필요가 없습니다. a == null은 자동으로 a === null로 변환됩니다.

코틀린에서 equals() 함수는 모든 클래스가 Any 클래스로부터 상속받습니다. 기본적으로 equals() 함수는 참조 동등성을 구현합니다. 하지만 코틀린의 클래스는 equals() 함수를 오버라이드하여 사용자 지정 동등성 로직을 제공하고, 이를 통해 구조적 동등성을 구현할 수 있습니다.

값 클래스(Value class)와 데이터 클래스(Data class)는 equals() 함수를 자동으로 오버라이드하는 두 가지 특정 코틀린 타입입니다. 이것이 기본적으로 구조적 동등성을 구현하는 이유입니다.

하지만 데이터 클래스의 경우, 부모 클래스에서 equals() 함수가 final로 지정된 경우, 해당 동작은 변경되지 않습니다.

이와 달리, 비-데이터 클래스(non-data class) (즉, data 변경자로 선언되지 않은 클래스)는 기본적으로 equals() 함수를 오버라이드하지 않습니다. 대신, 비-데이터 클래스는 Any 클래스로부터 상속받은 참조 동등성 동작을 구현합니다. 구조적 동등성을 구현하려면 비-데이터 클래스는 equals() 함수를 오버라이드하기 위한 사용자 지정 동등성 로직이 필요합니다.

사용자 지정 equals 확인 구현을 제공하려면 equals(other: Any?): Boolean 함수를 오버라이드하십시오:

class Point(val x: Int, val y: Int) {
    override fun equals(other: Any?): Boolean {
        if (this === other) return true
        if (other !is Point) return false

        // Compares properties for structural equality
        return this.x == other.x && this.y == other.y
    }
}

equals() 함수를 오버라이드할 때, 동등성과 해싱(hashing) 간의 일관성을 유지하고 이 함수들의 올바른 동작을 보장하기 위해 hashCode() 함수도 오버라이드해야 합니다.

동일한 이름과 다른 시그니처(예: equals(other: Foo))를 가진 함수는 == 및 != 연산자를 사용한 동등성 확인에 영향을 미치지 않습니다.

구조적 동등성은 Comparable<...> 인터페이스에 의해 정의된 비교와는 관련이 없으므로, 사용자 지정 equals(Any?) 구현만이 연산자의 동작에 영향을 줄 수 있습니다.

참조 동등성

참조 동등성은 두 객체의 메모리 주소를 확인하여 동일한 인스턴스인지 판별합니다.

참조 동등성은 === 연산자와 그 반대 연산자인 !==에 의해 확인됩니다. a === b는 a와 b가 동일한 객체를 가리킬 때만 true로 평가됩니다:

fun main() {
    var a = "Hello"
    var b = a
    var c = "world"
    var d = "world"

    println(a === b)
    // true
    println(a === c)
    // false
    println(c === d)
    // true

}

런타임에 기본 타입(예: Int)으로 표현되는 값의 경우, === 동등성 확인은 == 확인과 동일합니다.

코틀린/JS(Kotlin/JS)에서는 참조 동등성이 다르게 구현됩니다. 동등성에 대한 자세한 내용은 코틀린/JS 문서를 참조하세요.

부동 소수점 숫자 동등성

동등성 확인의 피연산자가 정적으로 Float 또는 Double (널 허용 여부와 무관하게)로 알려진 경우, 해당 확인은 IEEE 754 부동 소수점 연산 표준을 따릅니다.

피연산자가 정적으로 부동 소수점 숫자로 타입 지정되지 않은 경우에는 동작이 다릅니다. 이러한 경우 구조적 동등성이 구현됩니다. 결과적으로, 정적으로 부동 소수점 숫자로 타입 지정되지 않은 피연산자를 사용한 확인은 IEEE 표준과 다릅니다. 이러한 시나리오에서는 다음과 같습니다:

• NaN은 자기 자신과 같습니다.
• NaN은 다른 모든 요소(POSITIVE_INFINITY 포함)보다 큽니다.
• -0.0은 0.0과 같지 않습니다.

자세한 내용은 부동 소수점 숫자 비교를 참조하세요.

배열 동등성

두 배열이 동일한 순서로 동일한 요소를 가지고 있는지 비교하려면 contentEquals()를 사용하십시오.

자세한 내용은 배열 비교를 참조하세요.