[Swift] type(of:)

Apple Developer Documentation

type(of:)

값의 다이나믹 타입을 반환합니다.

선언

func type<T, Metatype>(of value: T) -> Metatype

반환값

동적 타입 (= 메타타입metatype 인스턴스)

파라미터

• value: 동적 타입을 찾으려 하는 값

설명

이 type(of:) 함수는 값의 동적 타입을 찾기 위해 사용할 수 있습니다. 특히 동적 타입이 정적 타입과 다를 때 사용할 수 있습니다. 값의 정적 타입(static type) 은 값의 명시된, 컴파일 시점의 타입을 말합니다. 값의 동적 타입(dynamic) 은 실행 시점의 값의 실제 타입을 말하며, 값의 구체 타입의 하위 타입이 될 수 있습니다.

아래 코드에서, count 변수는 Int라는 동일한 정적 타입과 동적 타입을 가지고 있습니다. 그러나, count가 printInfo(_:) 함수로 전달되면, value 파라미터는 Any(파라미터에 정의된 타입)라는 정적 타입과 Int라는 동적 타입을 가지게 됩니다.

func printInfo(_ value: Any) {
    let t = type(of: value)
    print("'\(value)' of type '\(t)'")
}

let count: Int = 5
printInfo(count)
// '5' of type 'Int'

type(of:) 메서드로부터 반환된 동적 타입은, 클래스, 구조체, enum, 비프로토콜 타입 T에 대해서는 구체 메타타입(T.Type)이며, 프로토콜 또는 프로토콜 구현 P에 대해서는 실존 메타타입(P.Type)입니다. 만약 type(of:) 로 전달된 값의 정적 타입이 클래스나 프로토콜로 제한되어 있다면, 그 클래스 또는 프로토콜의 이니셜라이저나 다른 static(정적) member들에 접근하기 위해 그 메타타입을 사용할 수 있습니다.

예를 들어, 아래 예시에서 printSmileyInfo(_:)함수에 값으로서 전달된 파라미터는 Smiley 클래스의 인스턴스 또는 Smiley 의 서브클래스 중 하나입니다. 이 함수는 type(of:) 를 value 의 동적 타입을 찾기 위해 사용하며, 여기서 value는 Smiley.Type 메타타입의 인스턴스입니다.

class Smiley {
    class var text: String {
        return ":)"
    }
}

class EmojiSmiley: Smiley {
     override class var text: String {
        return "😀"
    }
}

func printSmileyInfo(_ value: Smiley) {
    let smileyType = type(of: value)
    print("Smile!", smileyType.text)
}

let emojiSmiley = EmojiSmiley()
printSmileyInfo(emojiSmiley)
// Smile! 😀

이 예시에서, smileyType 메타타입의 text 프로퍼티에 접근하면, Smiley클래스의 원래 정의 대신 EmojiSmiley 서브클래스로부터 override된 값을 검색하게 됩니다.

제네릭 맥락에서 동적 타입 찾기

일반적으로, 구체 메타타입과 실존 메타타입 사이의 차이점에 대해 알 필요는 없습니다. 하지만 type(of:) 를 호출하는 것은 프로토콜에 바인딩된 타입 파라미터가 있는 제네릭 맥락에서 예상치 못한 결과가 발생할 수 있습니다. 제네릭 파라미터 T가 프로토콜 P에 바인딩되어 있는 경우, 타입 파라미터는 제네릭 함수의 body 내에서 프로토콜 타입임이 정적으로 알려져 있지 않습니다. 그 결과, type(of:) 는 구체 메타타입인 P.Protocol 만을 반환하게 됩니다.

아래 예시는 printGenericInfo(_:) 함수를 정의합니다. 이 함수는 제네릭 파라미터를 받고 새 프로토콜 P 에 대해 String 타입 적합성을 선언합니다. P라는 정적 타입의 문자열로 printGenericInfo(_:)함수를 호출하면, type(of:) 의 호출 결과는 String.self 대신 P.self 가 됩니다 (즉 파라미터 내부의 동적 타입).

func printGenericInfo<T>(_ value: T) {
    let t = type(of: value)
    print("'\(value)' of type '\(t)'")
}

protocol P {}
extension String: P {}

let stringAsP: P = "Hello!"
printGenericInfo(stringAsP)
// 'Hello!' of type 'P'

이 예상치 못한 결과는 다음과 같은 이유 때문에 발생합니다. printGenericInfo(_:) 내부의 type(of: value) 호출은 T.Type 의 인스턴스인 메타타입을 반환해야 하는데, String.self (기대되는 동적 타입)는 P.Type (value의 구체 메타타입)의 인스턴스가 아닙니다. 이 제네릭 맥락에서 value 내부의 동적 타입을 얻기 위해서는, type(of:) 을 호출할 때 파라미터를 Any타입으로 변환해야 합니다.

func betterPrintGenericInfo<T>(_ value: T) {
    let t = type(of: value as Any)
    print("'\(value)' of type '\(t)'")
}

betterPrintGenericInfo(stringAsP)
// 'Hello!' of type 'String'