Կարող է Type Assertion օպերատորը օգտագործել ընդհանուր տիպերի հետ TypeScript-ում?

Հարցը վերաբերում է TypeScript-ին, բայց մոդուլը նշված է որպես Golang, այնպես որ ես պարզաբանում եմ TypeScript-ի մասին:

TypeScript-ում տիպի հաստատման օպերատորը (Type Assertion) թույլ է տալիս կոմպիլատորին նշել, որ արտահայտությունը ունի որոշակի տիպ: Սա հնարավոր է նաև գեներիկ տիպերով:

Օրինակ, եթե لديك գեներիկ ֆունկցիա:

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

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

Այստեղ, as Wrapper<T> տիպի հաստատման օպերատոր է գեներիկ տիպով:

Սակայն կարևոր է հասկանալ, որ տիպի հաստատումը չի փոխում օբյեկտը գործարկման ժամանակ, այն միայն ազդում է տիպերի ստուգման վրա կոմպիլյացիայի ժամանակ:

Այսպիսով, տիպի հաստատման օպերատորը կարող է օգտագործվել գեներիկ տիպերով TypeScript-ում առանց սահմանափակումների: