Self Type - General

" 컴파일러가 컨텍스트에 의해 추론하는 타입 "

*Self Type 은 타입 입니다. 속성 self 와는 다른 개념입니다. 

 

extension Int {
  static let zero: Self = 0 // Int 로 추론됩니다.
  
  var zero: Self {  // Int 로 추론됩니다.
    return 0
  }
  
  func makeZero() -> Self {
    return Self()  // Int 로 추론되어 Int 인스턴스를 반환합니다.
  }
}

 

Extension, Struct, Class, Enum, Protocol 에서 사용 가능합니다.

Protocol 의 경우,  Protocol 을 구현한 타입을 Self Type 으로 추론합니다.

 

 Self Type 의 장점은, 타입에 의존하지 않는 범용적인 코드를 만들 수 있다는 것입니다.

 

예를 들어, 위의 extension Int 블록의 코드를  extension Double 블록에 그대로 Copy&Paste 해보겠습니다.

 

extension Double {
  static let zero: Self = 0 // Double 로 추론됩니다.
  
  var zero: Self {  // Double 로 추론됩니다.
    return 0
  }
  
  func makeZero() -> Self {
    return Self()  // Double 로 추론되어 Double 인스턴스를 반환합니다.
  }
}

 

같은 코드이지만, 컴파일러는 컨텍스트에 의해  Self Type 을 추론하므로, 이번에는 Double Type 으로 추론합니다.

 

 

 

끝.

---

 

이전 글 : Property Observer - Property

Property Observer - Property