🧐학습배경

SwiftUI를 사용하다보면 some View라는 반환 타입을 많이 보게된다. body의 반환 타입도 그렇고 뷰를 분리해서 따로 변수로 만들 때도 타입을 some View를 사용해서 반환하게 된다.

나는 그 동안 some이 호출 시점에 타입이 확정되어 고정된 타입으로 사용할 수 있게 해주는 키워드라고 생각했다. 그러다가 하나의 함수에서 분기 처리에 따라 여러 종류의 뷰 타입을 리턴할 수 있는 함수를 만들 때 단순히 some View로 반환해주면 리턴 타입에서 문제가 없을 거라고 생각했다. 해당 코드는 아래와 같다.

private func destinationView(type: ViewType) -> some View {
    switch type {
    case ViewType.original:
        AsyncImageView(imageViewModel: imageViewModel)
    case ViewType.first:
        ImageScrollView(imageViewModel: imageViewModel)
    case ViewType.second:
        ResizedImageView(imageViewModel: imageViewModel)
    case ViewType.third:
        ResizeInBgView(imageViewModel: imageViewModel)
    case ViewType.fourth:
        ThumbnailView(imageViewModel: imageViewModel)
    }
}

하지만 위와 같이 작성하면 리턴 타입을 확정할 수 없다는 컴파일 에러가 발생한다. 나는 그 동안 some의 고정 타입이 호출 시점에서 확정된다고 생각했기에 오류가 나는 원인을 알 수 없었다. 알고보니 some의 타입은 컴파일 과정에서 확정이 된다고 한다. 그래서 위와 같은 경우에는 컴파일 과정에서 고정 타입을 알 수 없기 때문에 오류가 나는 것이다.

(위의 경우에는 @ViewBuilder 를 붙여주는 것으로 해결할 수 있다.)

문제를 해결하고 보니 몇 가지 의문점이 생겼다.

1. 컴파일 과정에서 구체 타입으로 고정된다면 애초에 반환 타입을 구체 타입으로 설정하는 것과 무엇이 다른지?
2. 자주 보이는 any와 some은 어떤 관계인지?

그래서 해당 궁금증을 해결하기 위해 WWDC22 영상과 다른 블로그 글들을 보면서 공부해봤다.

📄 컨텐츠

some과 any는 ****제너릭과 프로토콜을 사용하다보면 자주 보게되는 친구들이다. 둘 다 추상화된 타입을 사용할 때 적용하는 키워드들이다.

간단하게 표현하자면 some은 컴파일 과정에서 단일 고정 타입을 요구하고 any는 모든 타입을 수용할 수 있는 추상화된 형식이다. some은 타입을 제한시키는 느낌이고 any는 반대로 추상화시켜서 사용할 수 있는 느낌이다. 아래의 예시로 간단하게 확인해보자

protocol Shape {
    var angleCount: Int { get }
}

struct CircleShape: Shape {
    var angleCount: Int = 0
}

struct TriangleShape: Shape {
    var angleCount: Int = 3
}

struct RectangleShape: Shape {
    var angleCount: Int = 4
}

//anyShapes는 오류가 나지 않지만 someShape는 컴파일 에러가 발생한다.
var anyShapes: [any Shape] = [CircleShape(), TriangleShape(), RectangleShape()]
var someShapes: [some Shape] = [CircleShape(), TriangleShape(), RectangleShape()]

위의 코드는 원, 삼각형, 사각형을 Shape라는 프로토콜을 이용해 추상화하고 이를 두 개의 배열에 담고 있다. 하나는 any Shape를 받고 하나는 some Shape를 받는다. 다음과 같은 상황에서 any는 정상적으로 동작하지만 some의 경우 컴파일 에러가 발생한다. 이는 some Shape가 하나의 단일 타입을 추론해야 하는데 Shape를 채택하는 여러 타입들이 배열에 있어 단일 타입을 추론하지 못해 생기는 에러이다.

추가적으로 WWDC22에 나왔던 예시를 보도록 하자