Ar galima naudoti tipo patvirtinimo operatorių su bendriniais tipais TypeScript?

Klausimas susijęs su TypeScript, tačiau modulis nurodytas kaip Golang, todėl paaiškinsiu apie TypeScript.

TypeScript'e, tipo teiginio operatorius (Type Assertion) leidžia kompiliatoriui nurodyti, kad išraiška turi tam tikrą tipą. Tai taip pat įmanoma su generiniais tipais.

Pavyzdžiui, jei turite bendrinę funkciją:

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

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

Čia, as Wrapper<T> yra tipo teiginio operatorius su generiniu tipu.

Svarbu suprasti, kad tipo teiginys nekeičia objekto vykdymo metu, jis tik veikia tipų patikrinimą kompiliacijos metu.

Todėl, tipo teiginio operatorius gali būti naudojamas su generiniais tipais TypeScript be apribojimų.