როგორ ხორციელდება მეთოდების დისპეჩერიზაცია, რომლებიც დამატებულია Extension-ის საშუალებით პროტოკოლებში?

Swift პროტოკოლებში გაფართოებით დამატებული მეთოდები განთავსებულია სტატიკური განაწილებით. ეს ნიშნავს, რომ ამ მეთოდების გამოძახება განსაზღვრულია კომპილაციის ეტაპზე, არა შესრულების დროს. განსხვავებით მეთოდებისგან, რომლებიც პირდაპირ გამოაცხადეს პროტოკოლში (რომლებიც იყენებენ დინამიკურ განაწილებას ვირტუალურ მეთოდთა ცხრილის საშუალებით), გაფართოებიდან მოდის მეთოდები ვერ შეიძლება გადაწერილ იქნას კონკრეტულ ტიპებში და პირდაპირ გამოიძახება იმ ტიპის მიხედვით, რომელიც კომპილაციის დროს არის ცნობილი.

მაგალითად, თუ გაქვთ პროტოკოლი და გაფართოება მეთოდით, და შემდეგ ტიპი, რომელიც ამ პროტოკოლს ახორციელებს, გაფართოებიდან მეთოდის გამოძახება ყოველთვის გამოიყენებს გაფართოებიდან იმ რეალიზაციას, მიუხედავად იმისა, რომ ტიპი იმავე სახელით მეთოდს ახორციელებს. ეს დაკავშირებულია იმასთან, რომ გაფართოებები არ ემატება მეთოდებს პროტოკოლის ვირტუალურ გამოძახების ცხრილში:

protocol MyProtocol {}

extension MyProtocol {
    func greet() {
        print("გამარჯობა გაფართოებიდან")
    }
}

struct MyStruct: MyProtocol {
    func greet() {
        print("გამარჯობა MyStruct-დან")
    }
}

let obj: MyProtocol = MyStruct()
obj.greet() // გამოიტანს: გამარჯობა გაფართოებიდან

let obj2 = MyStruct()
obj2.greet() // გამოიტანს: გამარჯობა MyStruct-დან

ამიტომ, პროტოკოლის გაფართოებების მეთოდები იძახება სტატიკურად, რაც მნიშვნელოვანია არქიტექტურის დიზაინში გათვალისწინებული იყოს.