다형성

• 하나의 타입의 인스턴스를 여러가지 타입으로 취급할 수 있는 것.
• 메서드 호출시에 실제 타입을 찾아서 적절한 구현체를 호출할 수 있는 기능이 제공되어야한다. (method dispatch)

특징

• 자식 타입에 부모타입 인스턴스를 넣을 수는 없다.
• upper-casting 은 compile time 에 가능하다.
• 하방-casting 은 run time 에만 가능하다. (as? , as!)

스위프트에서의 다형성

• class 는 상속을 통해서 다형성을 구현할 수 있다. (프로토콜도 가능)

  • heap 영역 - type field
  • v-table

• struct, enum 은 프로토콜을 통해 다형성을 구현할 수 있다.

  • existention container
  • protocol-witness-table
  • value-witness-table

• [x] 프로토콜을 사용할 수 있는 타입은? 위 셋 말고 또 없나?

  The protocol can then be adopted  by a class, structure, or enumeration to provide an actual implementation of those requirements.

참고자료

코딩교육 티씨피스쿨

WWDC 16 Understanding Swift Performance