Programming TypeScript

Kortejlar uchun tur xulosasini yaxshilash

TypeScript-da kortejni e'lon qilganingizda, TypeScript o'sha kortej turiga nisbatan yumshoq bo'ladi. U siz bergan narsangiz asosida eng umumiy mumkin bo'lgan turni aniqlaydi, sizning kortejingiz uzunligini va qaysi pozitsiyani qaysi turga ega ekanligini e'tiborsiz qoldiradi:
ruxsat bering a = [ 1 , rost ] // (raqam | mantiqiy)[]
a ni massiv sifatida emas, balki qattiq uzunlikdagi kortej sifatida ko'rib chiqadi . Siz, albatta, kortejni kortej turiga o‘tkazish uchun tur tasdiqidan foydalanishingiz mumkin (bu haqda ko‘proq ma’lumot 148-betdagi “Turni tasdiqlash” bo‘limida ). Yoki, kortej turini iloji boricha torroq qilib, uni faqat o'qish uchun belgilash uchun as const tasdiqidan ( "Const turi" 123-bet ) foydalanishingiz mumkin .
Agar siz kortejni kortej sifatida yozmoqchi bo'lsangiz, lekin tur tasdiqidan qochsangiz va const sizga beradigan tor xulosa va faqat o'qish uchun mo'ljallangan modifikatordan qochsangiz-chi? Buni amalga oshirish uchun siz TypeScript-ning dam olish parametrlari uchun turlarni aniqlash usulidan foydalanishingiz mumkin ( bu haqda ko'proq ma'lumot olish uchun 77-betdagi “Aritiyani modellashtirish uchun chegaralangan polimorfizmdan foydalanish” ga qayting):
funktsiyasi tuple <
T uzaytiradi noma'lum []
> (
... ts : T

) : T { qaytish ts } ruxsat a = kortej ( 1 , rost ) // [raqam, mantiqiy]
Biz kortej turlarini yaratish uchun foydalanadigan kortej funksiyasini e'lon qilamiz (o'rnatilgan [] sintaksisidan foydalanish o'rniga).

Biz bitta turdagi T parametrini e'lon qilamiz , bu noma'lum[] ning pastki turi ( T har qanday turdagi massiv degani).
tuple o'zgaruvchan sonli parametrlarni oladi, ts . T dam olish parametrini tavsiflaganligi sababli , TypeScript u uchun kortej turini aniqlaydi. kortej o'zi ts deb xulosa qilgan bir xil kortej tipidagi qiymatni qaytaradi .