Swift-də Protocol Extension: bu nədir və necə istifadə etməli

Protocol Extension nədir?

Protocol Extension — bu, mövcud protokola metodların və hesablanan xassələrin tətbiqini əlavə etmək yoludur. Extensionsiz protokol yalnız tələbləri müytəyyən edir və hər tip onları müstəqil şəkildə tətbiq edir.

Protocol Extension kod təkrarlanması problemini həll edir: əgər beş strukturnər eyni protokolu qəbul edir və eyni metodu tətbiq edirsə, extension standart tətbiqi bir dəfə təmin edir.

Swift Evolution proposal SE-0186-ya görə, protocol extensions POP-un uğurunu müytəyyən edən açar imkanlardan biridir. Onlar baza sinifləri yaratmadan və tək məsuliyyət prinsipini pozmadan ümumi davranış əlavə etməyə imkan verir.

Protocol extension sintaksisi

Protocol Extension adi extension kimi elan edilir, lakin tipin adı əvəzinə protokolun adı ilə.

protocol Greetable {
    var name: String { get }
    func greet() -> String
}

extension Greetable {
    func greet() -> String {
        return "Hello, \(name)!"
    }
}

Indi Greetable qəbul edən istənilən tip avtomatik olaraq greet tətbiqini alır:

struct Person: Greetable {
    let name: String
}
// Person avtomatik olaraq greet() var

let user = Person(name: "Alice")
print(user.greet()) // “Hello, Alice!”

Protocol Extension hesablanan xassələr ehtiva edə bilər, lakin stored properties yox (protokollar yaddaşı müytəyyən edə bilməz). Siz həmçinin extension vasitəsilə subscripts və iç-içə tiplər əlavə edə bilərsiniz.

Standart metodların tətbiqi

Default implementation — protocol extension-ın əsas tətbiqi. Tip öz versiyasını təmin edərək metodu əvəz edə bilər.

protocol Loggable {
    func log(message: String)
}

extension Loggable {
    func log(message: String) {
        print("[Default] \(message)")
    }
}

struct ConsoleLogger: Loggable {}
// Standart tətbiqdən istifadə edir

struct FileLogger: Loggable {
    func log(message: String) {
        // Xüsusi tətbiq standartı əvəz edir
        writeToFile(message)
    }
}

Sinif mirasından vacib fərq: əgər tip protokolun metodunu özü tətbiq edirsə, onun tətbiqi çağrılır. Yoxdursa — extension-dan standart istifadə olunur. Bu statik dispetçerizasiyadır, qərar kompilyasiya mərhələsində verilir.

Protocol extension-da where məhdudiyyətləri

Where clause protocol extension-ı yalnız əlavə şərtlərə cavab verən tiplərlə məhdudlaşdırmağa imkan verir. Bu, ixtisaslaşdırılmış davranış əlavə etmək üçün güclü bir mexanizmdir.

protocol Printable {
    var content: String { get }
}

extension Printable where Self: CustomStringConvertible {
    func debugPrint() -> String {
        return "[Printable] \(content)"
    }
}

Burada debugPrint yalnız həm Printable, həm də CustomStringConvertible tətbiq edən tiplər üçün mövcuddur. Swift standart kitabxanası bu nümunədən geniş istifadə edir — məsələn, Collection where Element üçün extension.

Xüsusilə tip bərabərliyi məhdudiyyəti olan where clauses faydalıdır:

extension Collection where Element == String {
    func commaJoined() -> String {
        return self.joined(separator: ", ")
    }
}

let words = ["Swift", "Kotlin", "Java"]
print(words.commaJoined()) // “Swift, Kotlin, Java”

Bu mexanizm protocol extension-ı seçici edir: commaJoined metodu yalnız sətir kolleksiyaları üçün mövcuddur, lakin ədədi kolleksiyalar üçün yox. Kompilyator məhdudiyyətləri statik olaraq yoxlayır.

Where constraints yoxlaya bilər:

• Uyğunluq protokola: where Self: Equatable
• Məhdudiyyət tipi: where Element == String
• Kombinasiyalar: where Element: Numeric, Element: Comparable

Bu, protocol extension-ı protokolun ümumi tətbiqini çirklənmədən ixtisaslaşdırılmış davranış əlavə etmək üçün güclü bir mexanizm edir.

Protocol Extensions vs miras

Bir çox tərtibatçı sual verir: nə vaxt protocol extensions, nə vaxt isə sinif mirası istifadə edilməlidir? Cavab arxitektura paradiqmasından asılıdır.

Apple protocol + extension ilə başlamağı və yalnız paylaşılan vəziyyət və ya identity (reference semantics) lazım olduqda siniflərə keçməyi tövsiyə edir. Protocol extensions miras əvəzinə kompozisiya təmin edir — daha çevik və test edilə bilən yanaşma.

Təcrübədə protocol extensions tez-tez protokol tələbləri üzərində rahat sarıcı metodlar əlavə etmək üçün istifadə olunur. Məsələn, əgər protokol validate metodunu tələb edirsə, extension tam versiya əsasında məntiqi dəyər qaytaran isValid metodu əlavə edə bilər. Bu, protokol müqaviləsini dəyişdirmədən müştəri kodunu sadələşdirir. Bu nümunə «default implementation ilə derived API» adlanır və Swift standart kitabxanasında və məşhur üçüncü tərəf freymvorklarda geniş istifadə olunur. Bu, təsirdə olan protokol-yönümlü proqramlaşdırmanın açar texnikalarından biridir və çevik arxitekturanın əsasıdır.