[Swift] 타입캐스팅 : is, as

💡 타입캐스팅?

- 인스턴스의 타입을 확인하거나 인스턴스를 같은 계층(hierachy)에 있는 다른 superclass나 subclass로 취급하는 방법

 

 

is

• Checking Type
• 말 그대로, 특정 인스턴스의 타입을 확인할 수 있는 키워드
• 런타임 시점에 실제 체크가 이뤄짐
• 반환 형은 Bool

let exChar: Character = "A"

print(exChar is Character)	// true
print(exChar is Int)	// false

→ 이렇게 간단하게 타입을 확인할 수 있고

import Foundation

class Human { }
class Student: Human { }

let yejin: Student = .init()
print(yejin is Student)	// true

let mingyu: Human = .init()
print(mingyu is Student)	// false

→ 이렇게 상속되어 있는 class 를 통해, 표현식이 타입의 서브클래스인 경우에도 true를 반환한다.

→ yejin은 Human 클래스의 자식 클래스인 Student에 해당되어, 타입체크를 해보면 true

→ mingyu는 Human 클래스일 뿐이지 자식클래스인 Student에 해당되어 있지 않기 때문에, 타입체크를 해보면 false

 

 

 

as

• Up Casting
• 서브 클래스 인스턴스를 "슈퍼 클래스의 타입"으로 참조
• 업 캐스팅은 항상 성공함
• 컴파일 시점에 캐스팅 가능 여부를 결정

import Foundation

class Human {
    let name: String = "yejin"
}
class Student: Human {
    let major: String = "CE"
}

let yejin = Student.init() as Human

print(yejin.name)	// yejin
print(yejin.major)	// 🚫 Value of type 'Human' has no member 'major'

여기서 

let yejin = Student.init() as Human

은, "Student 타입으로 yejin 인스턴스를 생성하겠지만, Human 타입으로 업캐스팅해서 yejin에 저장" 이라는 의미!

→ 실제, yejin 타입은 업캐스팅된 Human 타입

→ yejin의 접근범위는 Human으로 한정됨.

 

따라서, 

print(yejin.name)	// yejin
print(yejin.major)	// 🚫 Value of type 'Human' has no member 'major'

이렇게 major에는 접근할 수 없게됨.

 

업캐스팅을 할 때는,

let yejin = Student.init() as Human
// 위처럼 해도 되고
// 아래처럼 Type Annotation을 사용해도 된다.
let yejin: Human = Student.init()

 

 

as? as!

• Down Casting
• up casting과는 반대로 슈퍼클래스 인스턴스를 서브클래스의 타입으로 참조함
• 업캐스팅된 인스턴스를 다시 원래 서브클래스 타입으로 참조할 때 사용
• upcasting처럼 항상 성공할 수 있는게 아니라서 as?, as! 키워드를 사용한다.

아까 업캐스팅 예제에서 

print(yejin.major)	// 🚫 Value of type 'Human' has no member 'major'

요로케 major 에는 접근할 수 없었는데 

업캐스팅된 yejin 인스턴스를 다시 원래 서브클래스 타입으로 참조하기 위해 다운캐스팅을 해준다!

let student: Student = yejin as! Student

print(student.name)	// yejin
print(student.major)	// CE

 

만약 as! 대신 as?를 쓴다면?

→ "런타임 시점"에 타입 캐스팅(다운 캐스팅)을 하며, 실패할 경우 nil을 리턴

 

→ as?는 실패할 경우를 대비! 아주 안전~!

→ nil을 리턴하기 때문에, Optional-Type으로 선언해야 한다.