`satisfies` آپریٹر کیا کرتا ہے?

Question

Accepted Answer

`satisfies` (TS 4.9+) یہ تصدیق کرتا ہے کہ ایک قدر **ایک قسم سے **بغیر چوڑا کیے** منطبق ہے**۔ یہ ایک پابندی کے خلاف تصدیق کرتا ہے جبکہ بعد میں استعمال کے لیے درست، لفظی قسم کو برقرار رکھتا ہے — تشریح اور استدلال کے بہترین حصے۔ ## یہ جو مسئلہ حل کرتا ہے ```ts type Config = Record; // annotation widens — you lose the specific keys/values const a: Config = { host: "localhost", port: 3000 }; a.port.toFixed(2); // ❌ port is string | number, .toFixed may not exist // satisfies — validates AND keeps the narrow inferred type const b = { host: "localhost", port: 3000 } satisfies Config; b.port.toFixed(2); // ✅ port is known to be number b.host.toUpperCase(); // ✅ host is known to be string // b.hsot; // ✅ compile error — only real keys exist ``` تشریح کے ساتھ، `b` وسیع `Config` کے طور پر ٹائپ کیا جائے گا۔ `satisfies` کے ساتھ، `b` اپنی درست شکل `{ host: string; port: number }` *اور* درست `Config` کے طور پر تصدیق شدہ رہتا ہے۔ ## ایک اور کلاسیکی: ایک ٹائپ شدہ تلاش جس کی کلیدیں آپ ابھی بھی بالکل درست چاہتے ہیں ```ts const routes = { home: "/", user: "/users/:id", } satisfies Record; type RouteName = keyof typeof routes; // "home" | "user" — exact keys preserved ``` ## satisfies بمقابلہ `as` بمقابلہ تشریح - **`: T`** — چیک کرتا ہے، لیکن `T` تک چوڑا کرتا ہے (تفصیلات کھو دیتا ہے)۔ - **`as T`** — قسم کو مجبور کرتا ہے، *کوئی* حقیقی چیک نہیں (غیر محفوظ)۔ - **`satisfies T`** — `T` کے خلاف چیک کرتا ہے، تنگ سمجھی ہوئی قسم کو برقرار رکھتا ہے (محفوظ + درست)۔ ## یہ کیوں اہم ہے `satisfies` آپ کو یہ تصدیق کرنے دیتا ہے کہ ایک چیز ایک انٹرفیس/پابندی سے منطبق ہے جبکہ خود مکمل کرنے، سکیڑنے اور `keyof` کے لیے درست لفظی اقسام حاصل کرتے ہیں۔ یہ ترتیب کی اشیاء، راستہ کے نقشوں، تھیم پیلیٹس، اور مستقل تلاشوں کے لیے بہترین ہے جہاں آپ صحیح *اور* درست استدلال دونوں چاہتے ہیں۔

یہ جو مسئلہ حل کرتا ہے

ایک اور کلاسیکی: ایک ٹائپ شدہ تلاش جس کی کلیدیں آپ ابھی بھی بالکل درست چاہتے ہیں

satisfies بمقابلہ as بمقابلہ تشریح

یہ کیوں اہم ہے

satisfies بمقابلہ `as` بمقابلہ تشریح