อธิบาย protocol-oriented programming ด้วย protocol และ extension

Question

IT Interview Practice · Accepted Answer

**Protocol-oriented programming (POP)** คือวิธีที่ Swift นิยมใช้ในการแบ่งปันพฤติกรรม: แทนที่จะสืบทอดจาก base class ต่าง ๆ type จะ **conform กับ protocol** และ **protocol extension** จะให้ default implementation ที่นำกลับมาใช้ซ้ำได้ วิธีนี้ให้ทั้งการประกอบ (composition) และการนำโค้ดมาใช้ซ้ำโดยไม่มีความแข็งกระด้างของการสืบทอดเดี่ยว (single inheritance)

## วิธีการทำงาน

protocol ประกาศข้อกำหนด ส่วน extension บน protocol นั้นให้พฤติกรรมเริ่มต้นที่ตัว conform ใด ๆ ได้รับไปใช้ฟรี

```swift
protocol Identifiable {
    var id: String { get }          // requirement
}

protocol Describable {
    var name: String { get }
}

// Default implementation shared by ALL conformers
extension Describable {
    func describe() -> String { "Item: \(name)" }
}

struct Product: Identifiable, Describable {   // composes multiple protocols
    let id: String
    let name: String
}

Product(id: "1", name: "Book").describe()     // => "Item: Book" (free)
```

## Protocol extension เทียบกับการสืบทอด class

- **struct และ enum ก็ conform ได้** — POP ทำงานกับ value type ขณะที่การสืบทอด class ทำไม่ได้
- **conform ได้หลายตัว**: type หนึ่งรับเอาได้หลาย protocol ส่วน class มี superclass ได้เพียงตัวเดียว
- **constrained extension** เพิ่มพฤติกรรมเฉพาะที่มันสมเหตุสมผลเท่านั้น:

```swift
extension Collection where Element: Numeric {
    func total() -> Element { reduce(0, +) }   // only for numeric collections
}
[1, 2, 3].total()   // => 6
```

## ข้อควรระวัง

- **Static เทียบกับ dynamic dispatch:** method ที่นิยามไว้ *เฉพาะ* ใน extension (ไม่ได้อยู่ใน protocol) จะถูก dispatch แบบ static ตาม type ที่ประกาศของตัวแปร — ดังนั้นการ override มันในตัว conform อาจไม่ถูกเรียกผ่าน reference ที่มี type เป็น protocol ให้ประกาศมันไว้ใน protocol เพื่อให้ได้ dynamic dispatch

## ทำไมจึงสำคัญ

POP คือกระดูกสันหลังของ standard library ของ Swift (`Equatable`, `Collection`, `Codable`) และของสถาปัตยกรรมที่ทดสอบได้ — คุณพึ่งพา protocol แล้วสลับตัว conform เป็น mock ได้ ผู้สัมภาษณ์เจาะเรื่องนี้เพื่อดูว่าคุณประกอบพฤติกรรมด้วย protocol แทนที่จะสร้างลำดับชั้น class ที่ลึกและเปราะบางหรือไม่

วิธีการทำงาน

Protocol extension เทียบกับการสืบทอด class

ข้อควรระวัง

ทำไมจึงสำคัญ

คำถามที่เกี่ยวข้อง