Adopting a Protocol Using a Synthesized Implementation - Protocols

스위프트는 여러 간단한 클래스들에게 자동적으로 `Equatable`, `Hashable` 그리고 `Comparable` 프로토콜 순응(conformance) 을 제공합니다.

`conform to protocol`을 하기 위한 구현이 자동으로 제공된다는 의미입니다.

여러 간단한 클래스: Numbers, String  등이 있습니다.

  +) Numbers. String 은 Foundation Framework 의  primitive type 입니다.

 

이 통합된 구현을 사용한다는 것은 프로토콜 채택을 위한 별도의 반복적인 상용코드(boilerplate) 구현이 필요 없다는 것을 의미합니다.

통합된 구현 : synthesized implementation

프로토콜의 선언과 구현이 모두 되어있어서 채택하려는 타입에 선언만 하면 되므로, 통합되었다는 표현을 사용한 것 같습니다.

 

---

 

스위프트는 다음과 같은 종류의 Custom type에 대해  `Equatable` 통합된 구현을 제공합니다:

• 저장 속성만을 가지면서, 그 속성들이 모두 `Equatable`을 따르는(conform) 구조체

• `Equatable`을 따르는 associated type 만을 가지는 열거형

• associated type이 없는 열거형

`==`  연산자에 대한 통합된 구현을 받으려면, 원본 타입 선언에서 `Equatable` 채택을 선언해야 합니다.

 

그리고 직접 `==`  연산자를 구현하지 않아도 됩니다.

 

`Equatable` 프로토콜은 `!=` 연산자의 구현도 제공합니다.

 

아래 Vector3D 구조체 는 3차원 벡터 표현을 위한 (x, y, z) 저장 속성을 가지고 있습니다.

x, y, z 속성은 모두 `Equatable` 타입 이기 때문에, Vector3D 는 `==`  , `!=`  연산자(equivalence operators) 를 제공받습니다.

글 위쪽의 `저장속성만을 가지면서, 그 속성들이 모두 `Equatable`을 따르는(conform) 구조체`에 해당됩니다.

프로토콜은 타입이기 때문에, 그 프로토콜을 채택한 타입도 해당 프로토콜 타입으로 취급할 수 있습니다.

따라서 Vector3D는 `Equatable` 타입이라고 취급할 수 있습니다.

struct Vector3D: Equatable {
    var x = 0.0, y = 0.0, z = 0.0
}

let twoThreeFour = Vector3D(x: 2.0, y: 3.0, z: 4.0)
let anotherTwoThreeFour = Vector3D(x: 2.0, y: 3.0, z: 4.0)
if twoThreeFour == anotherTwoThreeFour {
    print("These two vectors are also equivalent.")
}
// Prints "These two vectors are also equivalent."

---

 

스위프트는 다음과 같은 종류의 Custom type에 대해  `Hashable` 통합된 구현을 제공합니다:

 

• 저장속성만을 가지면서, 그 속성들이 모두 `Hashable`을 따르는(conform) 구조체

• `Hashable`을 따르는 associated type 만을 가지는 열거형

• associated type이 없는 열거형

hash(into:) 연산자를 제공받으려면 해당 타입에 `Hashable` 채택 선언을 하면됩니다.

 

hash(into:)의 구현은 따로 필요 없습니다.

 

---

 

스위프트는 `raw value`를 가지지 않은 열거형에 `Comparable` 에 대한 통합된 구현을 제공합니다.

 

열거형이 `associated type`을 가지고 있다면 그 타입은 `Comparable` 프로토콜을 반드시 따라야 합니다.

예를 들어  associated type이 `Int`라면, `Int`는 `Comparable`을 따르므로 열거형은 `Comparable`을 따르게 됩니다.

 

`<`  연산자를 제공받으려면 해당 타입에 `Comparable` 채택을 해야 합니다.

 

`Comparable` 프로토콜 에 기본적으로  구현되어 있기 때문에 나머지 연산자 ( <=, >, >= ) 들도 함께 제공됩니다.

 

 

 

끝!

---