Type Casting Overview - Type Casting

Type Casting 은 두 가지를 가리킵니다.

 

1. 인스턴스의 타입을 확인하는 수단입니다.

  여기에는 ` is ` 키워드를 사용합니다.

 

2. 인스턴스를 그 클래스의 상속계층의 Superclass 혹은 Subclass로 취급하게 합니다.

  여기에는 ` as ` 키워드를 사용합니다.

 

여기서 다른 타입으로 취급한다 (treat) 는 의미는, 기존 인스턴스의 타입을 변경하는 것과는 차이가 있습니다.

전자는 Type Casting 을 가리키고, 후자는 Type Conversion을 가리킵니다.

 

추가적으로 프로토콜도 하나의 독립적인 타입이고, 상속이 가능하여 상속계층이 형성되므로 Type Casting을 활용할 수 있습니다.

결국 Type Casting 은 Class 와 Protocol에 한정하여 사용할 수 있습니다.

 

---

 

Defining a Class Hierarchy for Type Casting

 

다음 코드는 주어진 상황입니다.

class Transportation {
    var fare: Int
    init(fare: Int) {
        self.fare = fare
    }
}

/* Transportaion 의 Subclass */
class Metro: Transportation {
    var lineNumber: Int
    init(fare: Int, lineNumber: Int) {
        self.lineNumber = lineNumber
        super.init(fare: fare)
    }
}

/* Transportaion 의 또 다른 Subclass */
class Bus: Transportation {
    var busNumber: Int
    init(fare: Int, busNumber: Int) {
        self.busNumber = busNumber
        super.init(fare: fare)
    }
}

아~주 간단한 상속 계층 구조도

 

아래 코드는 타입 선언 없이 배열에 Trasnportation 의 Subclass 두 개의 인스턴스를 무작위로 집어넣고 있습니다.

 

이 경우, list 는 [Transportation] 타입으로 타입 추론 (Type Inference) 됩니다.

Swift's type checker is able to deduce that two subclasses have a common superclass of Transportation.

 

let list = [
    Metro(fare: 1000, lineNumber: 3),
    Bus(fare: 700, busNumber: 6617),
    Metro(fare: 1100, lineNumber: 9),
    Bus(fare: 900, busNumber: 700),
    Bus(fare: 2700, busNumber: 100)
]

// 타입 추론 되어 list는 [Transportation] 타입이 됨

 

멤버들도 모두 Transportaion 타입으로 캐스팅된 것입니다!

엄밀히 말하면 업캐스팅 되었습니다.

 

 

 

끝!

---

다음 글: Checking Type & Downcasting - Type Casting

Checking Type & Downcasting - Type Casting