some, any

some - opaque type

특정 프로토콜을 준수하는 것을 나타내는 불투명 유형을 만들기 위해 프로토콜과 함께 사용된다.

불투명 유형의 기본 유형은 변수 scope 내에서 하나로 고정되어야 합니다. 

같은 구체 타입의 새로운 인스턴스를 변수에 할당하는 것도 금지되어 있습니다.

배열이나 리턴타입에서도 하나의 구체 타입으로 고정되어야 합니다.

any - existential type

Existential Type (Existentials, 실존타입, 실존유형)
protocol과 associated type을 이용하여 특정 바운더리로 제약시키는 방법

Swift 5.7부터 실존 타입에는 any를 쓰는 것이 필수다. 왜냐하면 실존타입을 사용하는 것이 동적 타입 결정으로 인한 성능 저하를 불러올 수 있음에도 너무 쉽게 사용할 수 있었기 때문이다.

위의 예제에서 some을 모두 any로 바꾸면 모든 에러가 해결된다.

이를 이용해 dynamic dispatch를 구현할 수 있다.

그러나 실존 타입끼리 == 연산자는 사용할 수 없다(불투명 타입끼리는 가능). 각 실존타입의 기본 구체 유형이 항상 같다고 보장할 수 없기 때문이다.

실존 타입은 불투명 타입에 비해 덜 효율적이다. 가능하다면 제네릭으로 대체하는 것이 좋다.

 

출처

https://swiftsenpai.com/swift/understanding-some-and-any/

Understanding the "some" and "any" keywords in Swift 5.7 - Swift Senpai

https://swiftsenpai.com/swift/dynamic-dispatch-with-generic-protocols/

How to Achieve Dynamic Dispatch Using Generic Protocols in Swift 5.7 - Swift Senpai

https://www.donnywals.com/what-is-the-any-keyword-in-swift/

What is the “any” keyword in Swift? – Donny Wals

https://www.donnywals.com/generics-in-swift-explained/

Generics in Swift explained – Donny Wals