Egy típusafirmáció azt mondja az fordítónak "higgj nekem, ez az érték X típusú", az as segítségével. Nem hajt végre futásidő-konverziót vagy ellenőrzést — csupán megváltoztatja, hogy a fordító hogyan kezeli az értéket.
el = .() ;
el. = ;
data = .(str) ;
Egy afirmáció felülírja a fordító ítéletét — ha tévedsz, futásidő összeomlást kapsz figyelmeztetés nélkül:
const x = "hello" as unknown as number; // double assertion — compiler stops complaining
x.toFixed(2); // 💥 runtime error: x.toFixed is not a function
Az afirmáció nem teszi az értéket azzá a típussá; csupán elhallgattatja az ellenőrzőt. Elvetted a fordítótól a helyesség felelősségét.
// 1. type guard — actually verify at runtime
if (typeof input === "string") { /* input is string, proven */ }
// 2. validation library (zod) for external data
const user = UserSchema.parse(data); // throws if shape is wrong
as const másconst point = { x: 1 } as const; // not a risky cast — narrows to literal/readonly
Az afirmációk néha szükségesek (DOM API-k, unknown szűkítése amelyet már ellenőriztél), de mindegyik olyan hely, ahol a fordító nem tudja megvédeni.
Válassz type guardokat vagy schema validációt a nem megbízható adatokra, és minden as-t egy kis, szándékos "jobban tudom"-ként kezeld, amelyről biztos vagy.