ชนิดดำรงอยู่ด้วย any และการลบชนิด

ประเภทอัตถิภาวะคืออะไร

protocol Drawable { func draw() }
struct Line: Drawable { func draw() { print("Line") } }
let d: any Drawable = Line()
d.draw()

คีย์เวิร์ด any

func render(_ shape: any Drawable) {
  shape.draw()
}
render(Line())

ต้นทุนของประเภทอัตถิภาวะ

// Existential – dynamic dispatch, potential heap alloc
var shapes: [any Drawable] = [Line(), Line()]
// Generic – static dispatch, no boxing
func drawGeneric<T: Drawable>(_ s: T) { s.draw() }

ปัญหาของ PAT และประเภทอัตถิภาวะ

protocol Container { associatedtype Item }
// var c: any Container // Swift 5.7 allows with "any" but loses Item info

รูปแบบการลบชนิดข้อมูล

struct AnyDrawable: Drawable {
  private let _draw: () -> Void
  init<D: Drawable>(_ d: D) { _draw = d.draw }
  func draw() { _draw() }
}

AnySequence และ AnyPublisher

import Combine
let subject = PassthroughSubject<Int, Never>()
let pub: AnyPublisher<Int, Never> = subject.eraseToAnyPublisher()

eraseToAnyPublisher()

func fetch() -> AnyPublisher<String, Error> {
  URLSession.shared.dataTaskPublisher(for: URL(string: "https://example.com")!)
    .map { String(data: $0.data, encoding: .utf8) ?? "" }
    .eraseToAnyPublisher()
}

เมื่อใดจึงควรใช้ชนิดอัตถิภาวะ

var widgets: [any Drawable] = [] // mixed concrete types OK

เลือกใช้เจเนอริกแทนชนิดอัตถิภาวะ

// Prefer this:
func draw<T: Drawable>(_ item: T) { item.draw() }
// Over this:
func draw(_ item: any Drawable) { item.draw() }

การเปิดชนิดอัตถิภาวะ

func drawGeneric<T: Drawable>(_ d: T) { d.draw() }
let d: any Drawable = Line()
drawGeneric(d) // compiler opens the existential automatically

การลบชนิดข้อมูลเทียบกับชนิดข้อมูลทึบ

let erased: any Drawable = Line()   // runtime type unknown
let opaque: some Drawable = Line()   // compile-time fixed type

ตรวจสอบความเข้าใจ

ทบทวนบทเรียน