[Swift] Type Alias (typealias) (타입 별칭 선언)

타입 별칭 선언 (Type alias Declaration) 이란, 기존 타입에 대한 새로운 이름을 프로그램에 추가하는 것이다.

typealias 키워드를 사용하여 선언하며, 다음과 같이 사용한다.

type alias가 선언되고 나면, 새롭게 생성된 이름 (name)은 기존 타입 (exisisting type) 대신에 프로그램에서 사용될 수 있다.

기존 타입은 명명된 타입 (named type) 또는 복합 타입 (compound type) 일 수 있다.

Type alias는 새 타입을 만드는 것이 아닌, 단순히 기존에 존재하는 타입을 참조할 수 있도록 새로운 이름을 허용하는 것이다.

 

type alias 선언은 generic parameter를 이용하여 기존의 generic type에 이름을 붙일 수 있다.

type alias는 기존 타입의 일부 또는 모든 generic parameter에 대한 구체적인 타입을 제공할 수 있다.

typealias StringDictionary<Value> = Dictionary<String, Value>

// The following dictionaries have the same type.
var dictionary1: StringDictionary<Int> = [:]
var dictionary2: Dictionary<String, Int> = [:]

 

type alias가 generic parameter로 선언되면, 파라미터의 제약 조건은 기존 타입 generic parameter의 제약조건과 완전히 일치해야한다.

type alias와 기존 타입은 서로 바꿔서 사용할 수 있기 때문에, type alias는 추가족안 generic constraint (제약 조건)을 적용할 수 없다.

typealias DictionaryOfInts<Key: Hashable> = Dictionary<Key, Int>

 

type alias는 선언에서 모든 generic parameter를 생략하여 기존 타입의 generic parameter를 전달할 수 있다. 

예를 들면, 아래에서 선언된 Diccionario type alias는 Dictionary와 동일한 generic parameter 및 제약 조건을 갖는다.

typealias Diccionario = Dictionary

 

 

프로토콜 선언 내에서 type alias는 자주 사용되는 타입에 더 짧고 편리한 이름을 제공할 수 있다.

만약 type alias가 없다면, sum 함수는 T.Element 대신에 T.Iterator.Element로 연관된 타입을 참조해야한다.

protocol Sequence {
    associatedtype Iterator: IteratorProtocol
    typealias Element = Iterator.Element
}

func sum<T: Sequence>(_ sequence: T) -> Int where T.Element == Int {
    // ...
}

 

 

요약

• Type alias는 기본 자료형에 새로운 이름을 추가하는 것이다. 
  • 새로운 자료형을 만드는 것이 아닌, 자료형에 별칭을 지정하는 것이다.
• Type alias를 사용하면 가독성이 높아진다.
• exisiting type은 UpperCamelCase를 사용하도록 한다.

typealias Size = Double

// Double 자료형의 이름으로 Double을 써도 되고, Size를 써도 된다.
let size: Double = 10.11

// 사이즈를 저장하는 상수라는 것이 명확해진다. 가독성이 높아진다.
let size2: Size = 10.12

 

• 프로토콜을 결합할 때 사용하기도 한다.

 

 

 

Declarations — The Swift Programming Language (Swift 5.6)

 

 

GRAMMAR OF A TYPE ALIAS DECLARATION

typealias-declaration → attributes opt access-level-modifier opt typealias typealias-name generic-parameter-clause opt typealias-assignment

typealias-name → identifier

typealias-assignment → = type