Generic, 그리고 Some (1/2)

Generic? Some?

보통 제네릭은 다른 언어를 쓰면서도 다룰 경우가 많이 있어 어느정도 알고 있지만, some 의 경우 SwiftUI를 공부하며 간간히 본 정도였다. 아직 완벽하게 이해를 한 건 아니지만, 이해가 된 만큼 내용을 이 포스팅에 적어본다.

위와 같은 struct가 존재한다고 하자.

Car와 Bus는 Vehicle 프로토콜을 준수하도록 만들어져 있다.

각기 차종에 따라 가스를 충전하는 방식을 나눠놓았다.

만약 이를 다른 클래스에서 세차를 한다고 가정하자.

위 코드처럼 wash(vehicle:)을 생성했다.

제네릭에 따라 파라미터로 Vehicle 프로토콜을 준수하는 것만 들어올 수 있다.

wash(vehicle: Car()) 식으로 실행할 수 있다.

이를 some으로 불투명한 타입으로 만들어서도 사용할 수 있다.

지금까지는, 제네릭을 좀 더 간결하게 표현하는 방식으로 사용할 수 있다고 이해했다.

그렇다면, 이제 전체 세차를 하는 함수를 만든다고 가정하자.

Swift 5.6부터는 파라미터에도 불투명한 타입을 쓸 수 있다.

하지만, 리스트내의 모든 값이 Vehicle을 만족한다 할 지라도 해당 코드는 에러가 난다.

some의 경우, 기본적으로 변수의 범위가 고정되어져야한다고 한다.

만약 Vehicle을 만족하면서도 모든 세차를 하고 싶어 한다면 어떻게 해야 할까?

답은 Any 키워드를 사용하는 것이다.

Any 키워드는 existential type이며, 위의 이미지는 some과 any를 이미지로 비교해준다.

상자를 특정 프로토콜이라 가정하면, any는 어떤 콘크리트 타입이라도 프로토콜을 준수하는 한 저장할 수 있도록 하는 역할을 해준다.

위처럼 any Vehicle로 변경하면, 해당 메소드는 정상적으로 동작한다.

전체적으로 어려운 개념이라 계속 써보며 이해해야 할 것 같다.