Оператори тасдиқи навъи бо намудҳои умумӣ дар TypeScript истифода бурда мешавад?

Пурсиш дар бораи TypeScript аст, аммо модул ҳамчун Golang нишон дода шудааст, бинобар ин ман дар бораи TypeScript равшан месозам.

Дар TypeScript, оператори эътимод ба навъи (Type Assertion) имкон медиҳад, ки компилятор нишон диҳад, ки израз дорои навъи муайян аст. Ин ҳам бо навъҳои умумӣ (generics) имконпазир аст.

Масалан, агар шумо функсияи умумӣ дошта бошед:

type Wrapper<T> = { value: T };

function unwrap<T>(wrapper: Wrapper<T>): T {
  return (wrapper as Wrapper<T>).value;
}

Ин ҷо, as Wrapper<T> оператори эътимод ба навъи бо навъи умумӣ мебошад.

Муҳим аст, ки фаҳмед, ки эътимод ба навъи объектро дар вақти иҷро тағйир намедиҳад, балки танҳо дар вақти компилятсия санҷиши навъҳоро таъсир мерасонад.

Аз ин рӯ, оператори эътимод ба навъи метавонад бо навъҳои умумӣ дар TypeScript бе маҳдудият истифода шавад.