[Kotlin] Equality ==, ===

kotlinlang.org/docs/equality.html

Equality - Help | Kotlin

코틀린의 equality 타입에는 두 가지가 있다.

• 구조적 equality ( == : equals()로 확인한다.)
• 참조 equality (===: 같은 객체의 참조 포인트를 비교한다.)

구조적 equality 

구조적 equality는 == 연산으로 확인하고, 반대 연산은 != 으로 확인한다.
관례상, a == b 표현은 다음과 같이 전환된다.

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

a가 null이 아니면 equals(Any?)를 호출한다. a가 null이면 b의 참조가 null과 같은지 확인한다.

명시적으로 null 값과 동일한지 비교할 때는 최적화할 것은 없다. a == null은 자동적으로 a === null로 변환되기 때문이다.

커스텀 equals 체크 구현을 하고자 한다면 equals(other: Any?): Boolean을 오버라이드하면 된다. 같은 이름에 다른 signature를 쓰는 함수들은, 예를 들어서 equals(other: Foo)는 ==와 != 연산자를 쓰는 equality 확인에 영향을 주지 않는다.

구조적 equality는 Comparable<...>에 정의된 비교와 관련이 없고, 오직 커스텀 equals(Any?) 구현만이 연산의 동작에 영향을 줄 수 있다.

참조 equality 

참조 equality는 === 연산자로 확인하고, 반대 연산은 !== 연산자를 쓴다. a === b가 참일 경우, a, b 둘 다 같은 객체를 참조하는 경우이다. Int와 같인 기본 유형(primitive type)으로 런타임에 표시되는 값의 경우 === 확인은 == 연산과 동일하다.

Floating-point numbers(부동 소수점) equlity

Float 나 Double(nullable 하거나 아니거나)로 명확하게 정적으로 알려진 연산으로 비교하는 경우 IEEE 754 Standard for Floating-Point Arithmetic를 따라 확인한다.

그렇지 않다면(Any, Comparable<...>같은 경우) 구조적 equality가 사용되는데, 표준과 일치하지 않기 때문에 NaN은 자체와 같고, -0.0은 0.0과 같지 않다.