Je možné použiť operátor Typového Vyhlásenia s generickými typmi v TypeScript?

Otázka sa týka TypeScript, ale modul je uvedený ako Golang, takže objasním ohľadom TypeScriptu.

V TypeScript-e operátor tvrdenia o type (Type Assertion) umožňuje kompilátoru naznačiť, že výraz má určitý typ. To je tiež možné s generickými typmi.

Napríklad, ak máte generickú funkciu:

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

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

Tu je as Wrapper<T> operátor tvrdenia o type s generickým typom.

Je však dôležité pochopiť, že tvrdenie o type nemení objekt počas behu, iba ovplyvňuje kontrolu typov počas kompilácie.

Preto je možné operátor tvrdenia o type používať s generickými typmi v TypeScript bez obmedzení.