https://docs.swift.org/swift-book/documentation/the-swift-programming-language/opaquetypes/#Differences-Between-Opaque-Types-and-Protocol-Types

The Problem That Opaque Types Solve

• [ ] 모듈을 만들 때 필요 없는 부분을 노출하는 것을 막을 수 있다고 한다.
• Exposing detailed information
• Shape (예시 타입) 을 사용하는 모듈 밖 코드는 상세 구현을 고려하게 해서는 안된다. (알필요가 없다)
• JoinedShape, FlippedShape 와 같은 래핑 타입은 모듈 사용자에게 중요하지 않고, 보일 필요도 없다.

Returning an Opaque Type

• the reverse of a generic type.
• 제네릭 타입을 뒤집은 것
  • 제네릭 타입은 caller 가 타입을 정한다.
  • 이것은 함수의 구현을 추상화시킨다. (타입은 관계없게 만들어버리므로 이렇게 표현한 것 같다.)
    • 재사용성 (Int 만 사용할 수 있는 add 함수 vs 모든 숫자 타입에 사용할수 있는 add 함수)
    • 코드 의도 명확

generic 에서 caller 의 역할

func max<T>(_ x: T, _ y: T) -> T where T: Comparable { ... }

1. caller 가 전달한 x 와 y 의 값이 T 의 concrete type 을 결정한다.

   concrete type? → type(of:)

2. caller 는 Comparable 을 채택한 타입들만 사용할 수 있다. (constraint)

3. The implementation of max(_:_:) uses only functionality that all Comparable types share.

opaque return type 의 역할