some View — SwiftUI에서 불투명 타입이란

SwiftUI에서 some View란?

some View는 Swift 5.1에서 도입된 불투명 타입 구문입니다. View 프로토콜의 body 속성의 반환 타입으로 사용됩니다. some View 표기는 "함수 또는 속성이 View 프로토콜을 준수하는 어떤 구체적인 타입을 반환하지만, 호출 코드는 그 타입이 무엇인지 알지 못하고 알 필요도 없다"는 것을 의미합니다.

불투명 타입의 개념은 제네릭 프로그래밍의 반대 측면입니다. 제네릭이 호출 코드가 타입을 결정할 수 있게 하는 반면, 불투명 타입은 구현이 타입을 결정하고 호출자로부터 숨길 수 있게 합니다. 이는 개발자가 계약을 변경하지 않고 내부 구현을 변경할 자유를 제공합니다.

Swift Evolution SE-0244에 따르면, 불투명 타입은 SwiftUI와 이 구조 없이는 반환 타입으로 사용할 수 없는 연관 타입(PAT)을 가진 프로토콜 패턴을 지원하기 위해 추가되었습니다.

some View가 필요한 이유

some View가 없으면 body 시그니처는 불가능합니다. View 프로토콜에는 View를 준수하는 연관 타입 Body가 있습니다. 만약 body가 단순히 View(프로토콜로서)를 반환한다면, Swift는 반환 위치에서 Self 요구사항이 있는 프로토콜로 작업할 수 없습니다. some View는 구체적이지만 숨겨진 타입을 제공하여 이 문제를 해결합니다.

불투명 타입: 작동 메커니즘

불투명 타입은 컴파일러에게는 구체적으로, 개발자에게는 추상적으로 동작하는 특별한 종류의 타입입니다. 컴파일러가 some View를 보면 구현을 분석하고 정확한 반환 타입을 결정합니다. 이 타입은 고정되어 동적 디스패치 없이 코드 생성에 사용됩니다.

struct SimpleView: View {
    var body: some View {
        Text("안녕하세요")
    }
}
// 컴파일러가 보는 것: body -> Text, not some View

작동 원리: Swift 컴파일러는 구현에서 구체적인 타입을 추론합니다. 위의 예에서 body는 Text만 포함하므로, 시그니처가 some View로 작성되었더라도 컴파일러는 body가 정확히 Text를 반환한다는 것을 알고 있습니다. 이는 가상 메서드 테이블 없이 직접 호출과 인라인 가능성이라는 두 가지 최적화를 제공합니다.

body의 구현이 변경되면(예: Text 대신 Text와 Button의 VStack이 반환되는 경우), 컴파일러는 구체적인 타입을 재정의합니다. 그러나 호출 코드(SwiftUI)의 경우 시그니처는 동일하게 유지됩니다 — some View입니다. 이것이 제네릭의 반대 측면입니다: 호출 코드는 구현 변경에 의존하지 않습니다.

타입 고정과 안정성

불투명 타입의 핵심 규칙 중 하나: some View를 반환하는 함수나 속성은 항상 동일한 구체적인 타입을 반환해야 합니다. 한 if 분기에서 Text를 반환하고 다른 분기에서 Image를 반환할 수 없습니다. 이 제한은 컴파일러에 의해 확인되며 호출 코드에 대한 보장으로 작용합니다.

struct BadView: View {
    var flag: Bool
    var body: some View {
        if flag {
            Text("참")   // 오류: Text vs VStack
        } else {
            VStack {
                Text("거짓")
                Image(systemName: "xmark")
            }
        }
    }
}

이 문제를 해결하기 위해 @ViewBuilder가 사용되며, 서로 다른 분기를 ConditionalContent 조건부 컨테이너로 래핑합니다. body 위의 @ViewBuilder 어노테이션은 SwiftUI의 표준 관행이며, body가 단일 표현식만 포함하는 경우 암시적일 수 있습니다.

some View vs AnyView: 비교

AnyView는 View의 구체적인 구현을 지우는 타입(타입 이레이저)입니다. 모든 View를 단일 래퍼로 감싸서 서로 다른 타입의 View를 동일한 컨테이너에 저장할 수 있게 합니다. some View와 달리 AnyView는 런타임에 작동하며 래핑 및 언래핑에 오버헤드가 추가됩니다.

AnyView 사용 시기: 런타임에 동적 타입 변경이 필요하여 some View가 불가능한 상황에서만 사용합니다. 예를 들어, 딕셔너리에서 View를 반환하거나 각 수준에서 구체적인 타입이 변경되어야 하는 재귀적 구조의 경우입니다. AnyView는 각 래핑이 SwiftUI 최적화를 비활성화하므로 최소화해야 합니다.

일반적인 오해: AnyView는 body의 서로 다른 타입 문제를 해결하지 않습니다 — @ViewBuilder가 이를 해결합니다. AnyView는 타입을 지우지만 컴파일러가 단일 타입을 추론하는 데 도움을 주지 않습니다. 조건부 로직에는 @ViewBuilder를, 동적 디스패치에만 AnyView를 사용하세요.

some View와 @ViewBuilder: 협력

@ViewBuilder는 some View와 함께 작동하도록 특별히 설계된 result builder입니다. 단일 반환 타입을 유지하면서 body에서 조건부 로직(if/else, switch)과 여러 표현식을 사용할 수 있게 합니다. ViewBuilder는 자동으로 여러 표현식을 TupleView로, 조건부 분기를 ConditionalContent로 래핑합니다.

struct ProfileView: View {
    let user: User?

    @ViewBuilder
    var body: some View {
        if let user {
            UserCard(user: user)
            Text("온라인")
                .font(.caption)
        } else {
            ProgressView("Loading...")
        }
    }
}

작동 방식: @ViewBuilder는 코드 블록을 분석하고 적절한 buildBlock, buildOptional 또는 buildEither 호출을 생성합니다. 조건부 로직의 경우 ConditionalContent가 생성됩니다 — 분기 내의 구체적인 타입을 숨기면서 컴파일러에게는 단일 타입으로 작동하는 공통 타입입니다. 이는 서로 다른 구체적인 타입의 문제를 해결합니다.

@ViewBuilder가 없으면, 여러 표현식이나 조건부 로직을 포함하는 body 속성은 컴파일 오류를 발생시킵니다. 이것이 SwiftUI가 body에 @ViewBuilder를 암시적으로 적용하는 이유이며, 사용자 정의 속성과 함수에서는 명시적으로 추가해야 합니다.

@ViewBuilder 중첩

@ViewBuilder는 중첩될 수 있습니다: 한 ViewBuilder가 다른 ViewBuilder 안에 있을 수 있습니다. 이를 통해 다양한 수준에서 조건이 있는 복잡한 계층 구조를 만들 수 있습니다. 그러나 깊은 중첩은 가독성을 떨어뜨리므로 중첩된 조건을 별도의 View 컴포넌트로 추출하는 것이 좋습니다.

some View 실용 예제

예제 1: 계산된 속성에서 사용자 정의 View 반환하기. 속성은 some View를 반환하여 내부 구성을 숨길 수 있습니다. 이를 통해 공개 인터페이스를 변경하지 않고 코드를 재구성할 수 있습니다.

struct ArticleView: View {
    var body: some View {
        CardView {
            HeaderView()
            ContentView()
            FooterView()
        }
    }
}

struct CardView<Content: View>: View {
    let content: Content

    var body: some View {
        content
            .padding(16)
            .background(.white)
            .cornerRadius(12)
            .shadow(radius: 4)
    }
}

예제 2: @ViewBuilder를 통해 View를 클로저로 전달하기. 이 패턴은 표준 SwiftUI 컨테이너(VStack, HStack, List)에서 사용되며 사용자 정의 컴포넌트에서 구현할 수 있습니다.

struct CustomContainer<Content: View>: View {
    @ViewBuilder let content: () -> Content

    var body: some View {
        VStack(alignment: .leading) {
            content()
        }
        .padding(20)
    }
}

예제 3: some View를 반환하는 팩토리 함수. 구현을 드러내지 않고 매개변수에 따라 View를 만들 수 있습니다. 이는 라이브러리와 재사용 가능한 컴포넌트에 특히 유용합니다.

func makeIcon(for status: Status) -> some View {
    switch status {
    case .success:
        Image(systemName: "checkmark.circle.fill")
            .foregroundColor(.green)
    case .error:
        Image(systemName: "xmark.circle.fill")
            .foregroundColor(.red)
    case .pending:
        ProgressView()
    }
}