Tiplash kontekstida bog'langan tur tushunchasini tushuntirib bera olasizmi?

Ulashilgan tur (associated type) - bu tiplashda tushuncha bo'lib, odatda Swift kabi generiklar bilan ishlaydigan dasturlash tillarida uchraydi.

U protokol (interfeys) uchun tur uchun joy ajratishga imkon beradi, bu tur esa bu protokolni amalga oshiradigan aniq tur tomonidan belgilanishi mumkin. Bu moslashuvchanlikni ta'minlaydi va yanada abstrakt va qayta ishlatiladigan tuzilmalarni yaratishga imkon beradi.

Masalan, Swiftda:

protocol Container {
    associatedtype Item
    func append(_ item: Item)
    var count: Int { get }
    subscript(i: Int) -> Item { get }
}

Bu yerda Item - bog'langan tur bo'lib, aniq konteyner uni o'zi belgilaydi (masalan, massiv Item ni Int yoki boshqa tur sifatida belgilashi mumkin).

Shu tarzda, bog'langan tur protokollarning umumiy bo'lishiga imkon beradi, lekin ular ishlayotgan aniq turlar haqida ma'lumotni saqlab qoladi.