Checking Type & Downcasting - Type Casting

Checking Type

이전 글에서 작성한 상속 구조

/* item 이 Transportation 타입으로 Upcasting 되어 있는 상황 */
...

if item is Metro {

} else if item is Bus {

}

...

Type check operator ` is ` 를 사용하여 인스턴스가 특정 subclass 타입인지 아닌지 확인합니다.

 

인스턴스가 특정 subclass 타입이 맞다면 true 를 , 아니라면  false 를 반환합니다.

 

Type Casting 은 타입을 다른 타입으로 아예 바꾸는 것이 아니라 다른 타입으로 취급만 하는 것이므로, is 연산자로 sublcass인지 아닌지를 확인 할 수 있겠습니다.

 

---

 

Downcasting

# as? # as!

 

어떤 수퍼 클래스 타입을 가진 인스턴스는 사실 서브클래스 인스턴스일 수도 있습니다.

 

즉, 사실은 서브 클래스 타입인데 업 캐스팅되어서 슈퍼클래스의 타입인 `척` 하는 상황입니다.

 

이런 상황에서 `Downcasting` 을 통해 서브클래스 타입으로 타입 캐스팅해줄 수 있습니다.

 

타입 캐스팅 연산자 ` as? ` 와  ` as! ` 를 통해서 가능합니다.

 

관련 글 : Optionals - Optionals

 

` as? `는 서브클래스를 옵셔널 타입으로 래핑하여 반환합니다. 즉, 성공 시에는 Optional(subclass) 를 반환하고, 실패 시 nil을 반환합니다.

따라서 보통 옵셔널 바인딩 패턴으로 처리합니다.

 

다운 캐스팅 성공 여부가 확실하지 않을 때에는 ` as? ` 연산자를 사용합니다.

 

` as! `는 다운 캐스팅한 옵셔널 타입을 강제 언래핑하여 반환합니다. 따라서 캐스팅 실패 시 앱 크래시가 발생합니다.

 

다운 캐스팅이 항상 성공한다면 ` as! ` 연산자를 사용합니다.

 

그렇다면 다운캐스팅이 실패하는 경우는 언제일까요?

 

1. 캐스팅하고 싶은 타입이 상속계층에 존재하지 않거나,

2. 수퍼클래스에서 분기하는 서브클래스 종류가 2개 이상일 경우입니다.

 

아래 그림은 2번 상황입니다.

 

Bus 타입을 업 캐스팅되어 Transportation 타입이 되었는데,

Metro 타입으로 다운 캐스팅을 시도한다면 실패하여 nil을 리턴할 것입니다.

이전 글에서 작성한 상속 구조

 

var bus: Bus = Bus(fare: 750, busNumber: 6617)

// 업캐스팅
var trans: Transportation = bus

/* 다운캐스팅 nil 반환되어, 바인딩 실패로 else 블록이 실행 됩니다 */
if let bus = trans as? Metro  {

    print("\(lineNumber)")
} else {

    print("fail")
}

// "fail"

---

N O T E

 

Type Casting 은 인스턴스 자체나 인스턴스 안의 값을 전혀 변경하지 않습니다.

 

인스턴스는 그대로 놔두고, 취급을 캐스팅된 타입으로 하는 것입니다.

 

인스턴스를 변경하는 Type Conversion과 구분해야 합니다.

 

---

---

 

Type Casting for Any and AnyObject

 

Any 타입은 함수 타입을 포함한 모든 타입의 인스턴스를 표현할 수 있는 타입입니다.

 

다시 말해서, 모든 타입은 Any 타입으로 캐스팅이 가능합니다

 

 

AnyObject 타입은 모든 클래스 타입을 표현할 수 있는 타입입니다.

 

다시 말해서, 모든 클래스 타입은 AnyObject 타입으로 캐스팅이 가능합니다.

 

var things = [Any]()

things.append(0)          // Int
things.append(0.0)        // Double
things.append(43)         // Int
things.append("🐶")       // String
things.append((3.0, 5,0)) // Tuple

Any 타입의 things 배열에 들어간 멤버들은 Any 타입으로 캐스팅되어 들어갑니다.

 

원래 타입으로 사용하려면 as? 혹은 as! 연산자로 캐스팅하여야 합니다.

 

예제에서는 for-in 순회하며 switch 문을 돌렸습니다. (생략)

 

 

끝!

---