ما الذي يفعله عامل التشغيل 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` مقابل التعليق