Swift-da Protocol — nima, sintaksis va imkoniyatlar

Swift-da Protocol nima?

Protocol — bu tip nima qila olishi kerakligini belgilaydigan, lekin buni qanday qilishini ko'rsatmaydigan mavhum interfeysdir. Swift-da protokol Java yoki Go-dagi interfeyslarning analogidir, ammo qo'shimcha imkoniyatlar bilan.

Protokol talab qilishi mumkin:

• Metodlar namuna va tip (statik)
• Xususiyatlar { get } yoki { get set } bilan
• Initilizatorlar
• Subskriptlar
• Associated types (protokol darajasida generiklar)

WWDC 2015 ma'lumotlariga ko'ra, Apple Protocol-Oriented Programming-ni Swift ilovalari arxitekturasiga fundamental yondashuv sifatida taqdim etdi. OOP-dan farqli o'laroq, sinf merosi qattiq ierarxiyalar yaratadi, POP esa protokollar kompozitsiyasini taklif qiladi. Bu moslashuvchanlik beradi: bir tip bir nechta protokollarga mos kelishi mumkin, ularning talablari va implementatsiyalarini extensions orqali oladi.

Protokollarni e'lon qilish sintaksisi

Protocol protocol kalit so'zi bilan nom va tana bilan e'lon qilinadi.

protocol Drawable {
    func draw(context: CGContext)
    var boundingBox: CGRect { get }
}

Tip protokolni nomdan keyin ikki nuqta orqali qabul qiladi:

struct Circle: Drawable {
    let center: CGPoint
    let radius: CGFloat

    func draw(context: CGContext) {
        context.addArc(center: center, radius: radius, ...)
    }

    var boundingBox: CGRect {
        CGRect(x: center.x - radius, y: center.y - radius,
               width: radius * 2, height: radius * 2)
    }
}

Bir tip vergul bilan ajratilgan bir nechta protokollarni qabul qilishi mumkin: struct MyType: ProtocolA, ProtocolB. Kompilyator har bir protokolning barcha talablari bajarilganligini tekshiradi.

Metod va xususiyat talablari

Property requirements var kalit so'zi va { get } yoki { get set } kirish spesifikatorlari bilan ko'rsatiladi.

protocol UserProtocol {
    var name: String { get }
    var age: Int { get set }
    static var maxAge: Int { get }
    mutating func updateName(_ newName: String)
}

Protokolda mutating kalit so'zi metod self-ni o'zgartirishi mumkinligini bildiradi. Strukturalar bunday metodni mutating sifatida implementatsiya qilishi kerak, sinflar esa buni o'tkazib yuborishi mumkin. Method requirements parametr teglarini ham o'z ichiga olgan to'liq imzo bilan ko'rsatiladi.

Protokollarning meros olishi

Protocol boshqa protokolni meros olib, yangi talablar qo'shishi mumkin. Bu sinflarga qattiq bog'lanmagan kontrakt iyerarxiyasini yaratadi.

protocol Vehicle {
    var speed: Double { get set }
    func move()
}

protocol Flyable: Vehicle {
    var altitude: Double { get set }
    func takeOff()
}

Flyable-ni qabul qiluvchi tip ikkala protokolning — ham Vehicle, ham Flyable-ning talablarini bajarishi kerak. Swift protokollarning ko'p meros olishini qo'llab-quvvatlaydi: protocol A: B, C.

Protocol Composition

Protocol Composition — bu tip bir vaqtning o'zida bir nechta protokollarga mos kelishi kerakligini belgilash mexanizmi, yangi kombinatsiya protokolini yaratmasdan.

func render(_ item: Drawable & Animatable) {
    item.draw(context: ...)
    item.animate(duration: 0.3)
}

Composition (&) funksiya parametrlarida, o'zgaruvchilarda va generic cheklovlarida ishlaydi. Kompilyator uzatilgan tipning bir vaqtning o'zida barcha protokollarni qondirishini tekshiradi. Composition SwiftUI-da tez-tez ishlatiladi: some View — bu composition bilan generic.

Protocol Composition meros iyerarxiyasi yaratishdan afzal: protocol A: B, C o'rniga to'g'ridan-to'g'ri B & C qabul qilinishi mumkin. Bu moslashuvchanlik beradi va bog'liqlikni kamaytiradi. Composition ayniqsa funksiya parametrlarida va generic cheklovlarida qulay, bu erda vaqtinchalik talablarni oraliq protokol yaratmasdan birlashtirish kerak. Bu koddagi yordamchi tiplar sonini kamaytiradi.

Protocol tip sifatida

Protocol o'zgaruvchi tipi, funksiya parametri yoki kolleksiya elementi sifatida ishlatilishi mumkin. Bu existential type deb ataladi.

var drawableItem: Drawable
let items: [Drawable] = [Circle(...), Rectangle(...)]

func process(drawables: [any Drawable]) {
    for item in drawables {
        item.draw(context: ...)
    }
}

any (Swift 5.6+) kalit so'zi existential-ni aniq ko'rsatadi. any bo'lmasa, kompilyator ogohlantirish beradi. Swift shuningdek some (opaque types) ni qo'llab-quvvatlaydi, bu aniq tipni protokol orqasida yashirish uchun — SwiftUI-dagi standart texnika.

Protokollar bilan odatiy xatolar

Protocol bilan ishlaganda, dasturchilar tez-tez bir nechta takrorlanuvchi xatolarga yo'l qo'yishadi.

• Unutilgan mutating — protokolda metod mutating deb belgilangan, ammo struktur uni kalit so'zsiz implementatsiya qiladi
• Generic o'rniga Protocol as type — aniq tip kerak bo'lgan joyda <T: Drawable> o'rniga Drawable ishlatish
• Circular protocol reference — associated type orqali o'ziga murojaat qiluvchi protokol, to'g'ri hal qilinmagan
• Class-only protocol — ehtiyojsiz AnyObject ishlatish, struct va enum-ni istisno qiladi