Result Builder — คืออะไร ไวยากรณ์ และการประยุกต์ใช้

Result Builder คืออะไร?

Result Builder (เดิมรู้จักในชื่อ function builders) เป็นกลไกของ Swift ที่ช่วยให้เปลี่ยนลำดับของนิพจน์ที่คั่นด้วยการขึ้นบรรทัดใหม่เป็นค่าเดียว ถูกประกาศโดยใช้แอตทริบิวต์ @resultBuilder ที่ใช้กับโครงสร้างซึ่ง implement เมธอดการแปลงแบบสแตติก

ก่อนมี result builders ไวยากรณ์แบบประกาศของ SwiftUI body เป็นไปไม่ได้ แทนที่จะเป็นรายการ view ที่กะทัดรัด นักพัฒนาจะต้องเขียนการเรียก TupleView ด้วยตนเอง Result Builder จะห่อหุ้มแต่ละนิพจน์โดยอัตโนมัติ รองรับการแยกสาขาและลูป ซ่อนความซับซ้อนของการประกอบจากนักพัฒนา

ตาม Swift Evolution SE-0289 ที่ได้รับการยอมรับในปี 2022 result builder คือวิวัฒนาการของแนวคิด function builders (SE-0258, Swift 5.1) การเปลี่ยนแปลงหลัก: การเปลี่ยนชื่อจาก @_functionBuilder เป็น @resultBuilder และขยายไปยังพารามิเตอร์ของฟังก์ชัน ทำให้สามารถใช้ builders สำหรับอาร์กิวเมนต์ closure ใด ๆ ไม่ใช่แค่บอดีของ view

ใช้ result builders เมื่อคุณต้องการให้ผู้ใช้ไลบรารีของคุณมีไวยากรณ์แบบประกาศสำหรับสร้างโครงสร้างที่ซับซ้อน — การกำหนดค่า, คำสั่งค้นหา, ส่วนประกอบ UI — โดยไม่ต้องเขียนโค้ดประกอบแบบ'imperative

Result Builder ทำงานอย่างไร

คอมไพเลอร์ Swift แปลงแต่ละบล็อกโค้ดที่ทำเครื่องหมายด้วย @resultBuilder เป็นลำดับของการเรียกเมธอดสแตติกของ builder มาดู builder ง่าย ๆ ที่เชื่อมสตริง:

@resultBuilder
struct StringBuilder {
    static func buildBlock(_ parts: String...) -> String {
        parts.joined(separator: " ")
    }
}

การใช้ builder นี้ — แต่ละสตริงในบรรทัดแยกกันจะถูกเชื่อมด้วยช่องว่าง:

@StringBuilder
func greeting() -> String {
    "Hello"
    "World"
    "from"
    "Swift"
}
// คอมไพเลอร์แปลงค่านี้เป็น:
// StringBuilder.buildBlock("Hello", "World", "from", "Swift")
// ผลลัพธ์: "Hello World from Swift"

คอมไพเลอร์จัดกลุ่มนิพจน์ที่ต่อเนื่องกันและส่งเป็นพารามิเตอร์ variadic ไปยัง buildBlock หากมี if ปรากฏระหว่างนิพจน์ คอมไพเลอร์จะเรียก buildOptional หรือ buildEither สำหรับการแยกสาขา สำหรับลูป for-in มันจะเรียก buildArray ดังนั้น โค้ด Swift ปกติจะถูกแปลงเป็นห่วงโซ่การเรียกที่สร้างค่าสุดท้าย

เมธอดของ builder: buildBlock, buildOptional, buildEither

แต่ละ result builder กำหนดชุดเมธอดสแตติกที่คอมไพเลอร์เรียกระหว่างการแปลง เมธอดหลัก:

การ implement ขั้นต่ำต้องการเพียง buildBlock ที่มีพารามิเตอร์ variadic — เพียงพอสำหรับบล็อกที่ไม่มีการแยกสาขา การเพิ่ม buildOptional และ buildEither รวมถึงการรองรับโครงสร้างแบบมีเงื่อนไข และ buildArray สำหรับลูป ตามเอกสาร Swift (2025) แนะนำให้ implement ทุกเมธอดเพื่อความยืดหยุ่นสูงสุดของ DSL

buildExpression อนุญาตให้รับนิพจน์ประเภทต่าง ๆ และแปลงเป็นประเภท builder เดียว ตัวอย่างเช่น ใน @ViewBuilder buildExpression รับ Text, Image, Button และแปลงเป็นประเภท View ทั่วไป

การสร้าง Result Builder ที่กำหนดเอง

มาดูการสร้าง builder สำหรับสร้างสตริง HTML กัน DSL นี้จะช่วยให้เขียน HTML แบบประกาศได้โดยตรงใน Swift:

@resultBuilder
enum HTMLBuilder {
    static func buildBlock(_ components: String...) -> String {
        components.joined()
    }

    static func buildOptional(_ component: String?) -> String {
        component ?? ""
    }

    static func buildEither(first component: String) -> String {
        component
    }

    static func buildEither(second component: String) -> String {
        component
    }

    static func buildArray(_ components: [String]) -> String {
        components.joined()
    }
}

การใช้ builder ที่กำหนดเองเพื่อสร้าง HTML:

func div(@HTMLBuilder _ content: () -> String) -> String {
    "<div>\(content())</div>"
}

func p(_ text: String) -> String {
    "<p>\(text)</p>"
}

let page = div {
    p("Hello")
    p("World")

    if showFooter {
        p("ส่วนท้าย")
    }
}
// ผลลัพธ์: <div><p>Hello</p><p>World</p><p>Footer</p></div>

ตามบทความ “Building Custom Result Builders in Swift” จาก Swift.org (2025) builders ที่กำหนดเองถูกใช้ในไลบรารีเพื่อสร้างไฟล์การกำหนดค่า ส่วนประกอบ UI การแมปข้อมูล และแม้แต่คำสั่งค้นหาฐานข้อมูล — ทุกที่ที่ต้องการไวยากรณ์แบบประกาศพร้อมการรองรับการแยกสาขา

@ViewBuilder ใน SwiftUI

@ViewBuilder คือ result builder ที่สร้างใน SwiftUI ซึ่งใช้กับพารามิเตอร์ content ของ view คอนเทนเนอร์ส่วนใหญ่: VStack, HStack, ZStack, Group, List และคุณสมบัติ body เอง มันช่วยให้เขียนหลาย view ในบรรทัดแยกกันโดยไม่ต้องใช้เครื่องหมายจุลภาคหรือตัวห่อหุ้ม

@ViewBuilder implement ทุกเมธอดของ result builder รวมถึงการรองรับ if-else, switch และ for-in เมื่อเงื่อนไขเป็นจริง buildEither(first:) จะคืนค่า view หนึ่ง เมื่อเป็นเท็จ buildEither(second:) จะคืนค่าอีก view หนึ่ง ทั้งสองสาขาต้องคืนค่าประเภทเดียวกัน แต่ SwiftUI ใช้ AnyView ภายในหรือการลบประเภทผ่าน ConditionalContent

struct GreetingView: View {
    let isLoggedIn: Bool

    var body: some View {
        VStack {
            Image(systemName: "person.circle")
            Text("โปรไฟล์")
                .font(.title)

            if isLoggedIn {
                Text("ยินดีต้อนรับกลับ!")
                    .foregroundColor(.green)
            } else {
                Button("เข้าสู่ระบบ") { }
            }
        }
    }
}

หากไม่มี @ViewBuilder โค้ดเดียวกันจะต้องใช้ Group สำหรับแต่ละส่วนแบบมีเงื่อนไขหรือใช้ AnyView ซึ่งทำให้ประสิทธิภาพลดลง @ViewBuilder จะเลือกการแสดงผลที่มีประสิทธิภาพที่สุดโดยอัตโนมัติ — ConditionalContent หรือ TupleView — สำหรับแต่ละชุดค่าผสม

ข้อจำกัดของ Result Builder

ข้อจำกัดแรกคือ จำนวนนิพจน์สูงสุด ใน buildBlock ไลบรารีมาตรฐาน Swift กำหนดโอเวอร์โหลดของ buildBlock สำหรับ 2–10 นิพจน์ หากบล็อกมีมากกว่า 10 นิพจน์ คอมไพเลอร์จะแสดงข้อผิดพลาด วิธีแก้ไขคือการจัดกลุ่มผ่าน Group หรือ VStack เพื่อแบ่งเป็นบล็อกย่อย

ข้อจำกัดที่สองคือ การขาดการรองรับ ตัวแปรและการกำหนดค่าภายในบล็อก builder ไม่สามารถประกาศ let x = 5 ภายใน @ViewBuilder นิพจน์ทั้งหมดต้องเป็นนิพจน์ที่คืนค่าประเภทของ builder สำหรับการคำนวณระหว่างกลาง ให้ใช้การคำนวณนอก builder หรือ buildExpression ที่รองรับประเภทต่าง ๆ

ข้อจำกัดที่สามคือ ความซับซ้อนในการดีบัก ข้อผิดพลาดการคอมไพล์ภายใน result builder มักสร้างข้อความที่สับสน โดยเฉพาะเมื่อประเภทไม่ตรงกันในสาขา if/else ใช้ประเภทส่งคืนที่ชัดเจนและ AnyView สำหรับการดีบัก แม้ว่าอย่างหลังจะลดประสิทธิภาพ ตาม Hacking with Swift (2025) คำแนะนำเชิงปฏิบัติ — เริ่มต้นด้วย builder ง่าย ๆ โดยไม่มีการแยกสาขาและค่อย ๆ เพิ่มการรองรับโครงสร้างแบบมีเงื่อนไข