Vai TypeScript ar var izmantot tipa apgalvojuma operatoru ar ģeneriskiem tipiem?

Jautājums attiecas uz TypeScript, bet modulis ir norādīts kā Golang, tāpēc es skaidrošu par TypeScript.

TypeScript operators Tipa apgalvošanai (Type Assertion) ļauj kompilatoram norādīt, ka izteiksme ir noteikta tipa. Tas ir iespējams arī ar ģeneriskiem tipiem.

Piemēram, ja jums ir ģeneriska funkcija:

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

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

Šeit, as Wrapper<T> ir tipa apgalvošanas operators ar ģenerisku tipu.

Svarīgi saprast, ka tipa apgalvojums nemaina objektu izpildes laikā, tas tikai ietekmē tipu pārbaudi kompilācijas laikā.

Tādēļ, tipa apgalvojuma operators var tikt izmantots ar ģeneriskiem tipiem TypeScript bez ierobežojumiem.