مرجع TypeScript

آخر تحديث: 2026-10-22

مرجع TypeScript

قائمة أبجدية بـ 70 عنصراً من أنواع TypeScript: الأنواع الأساسية وتركيب الأنواع والدوال والأصناف والأنواع العامة والتضييق والتأكيدات والأنواع المساعدة والإعداد.

#
!	يخبر التأكيد غير الفارغ (اللاحقة !) المترجم بأن «هذه القيمة قطعًا ليست null/undefined الآن...
"a" \| "b"	ترفع الأنواع الحرفية "القيمة نفسها" إلى نوع: فـ "up" و 1 و true كلها أنواع. استخدامها منفر...
(arg) => R	الدوال السهمية تحمل صيغة تعليق مدمجة: نقطتان بعد المعاملات، والتعبير هو قيمة الإرجاع. وعند...
(arg: T) => R	تصف تعبيرات أنواع الدوال «شكل فئة من الدوال»: قائمة معاملات + => + نوع إرجاع ((value: stri...
...rest: T[]	تجمع المعاملات الباقية باستخدام ...اسم كل المعاملات المتبقية في مصفوفة حقيقية (...scores: ...
.d.ts	ملفات التصريح (.d.ts) تصف «شكل مكتبة ما» دون أن تحوي أي تنفيذ، فيتمكن TypeScript من توفير ...
?: / readonly	تعلّم ? الخاصية كاختيارية (يجوز أن تكون غائبة)، بينما تعلّم readonly الخاصية كقراءة فقط (ل...
@decorator	الزخرفة صياغة خاصة توضع قبل الأصناف والمناهج والخصائص والمعاملات على الشكل @name: دالة غلا...
[K in keyof T]	أنواع المُعَيَّنة «تجتاز المفاتيح وتحوّل القيم»: [K in keyof T]: boolean تولّد لكل مفتاح K...
[key: string]: T	تصف توقيعات الفهرسة الكائنات التي تكون أسماء مفاتيحها غير ثابتة لكن نوع قيمها موحّد، مثل ا...
[T, U]	الصف (tuple) نوع مصفوفة بطول ثابت ولكل موضع نوعه الخاص، وهو مناسب للبيانات التي يحمل فيها ...
`${T}`	تجري أنواع القوالب النصية سَلسَلة السلاسل على مستوى الأنواع: فالتعبير `${A}-${B}` يعدّد كل...
A
A & B	يدمج النوع التقاطعي A & B خصائص أنواع متعددة في واحد: فالقيمة يجب أن تحقق A و B معًا. وهو ...
A \| B	يعني النوع الاتحادي A \| B أن "القيمة واحدة من A أو B". ويجب تضييق قيمة الاتحاد قبل استخدام...
abstract class	الفئة المجردة (abstract class) «فئة أساس غير مكتملة»: يمكنها أن تحمل تنفيذًا فعليًا، وأن ت...
any	يعني any "التخلي عن فحص الأنواع": أي قيمة يمكن إسنادها إليه، وهو نفسه يمكن إسناده إلى أي ن...
arg?: T	تُعلّم العلامة ? المعاملَ الاختياري (يجوز عدم تمريره)، وتمنح العلامة = المعاملَ قيمةً افتر...
Array<T>	تصف أنواع المصفوفات "قائمة من العناصر من النوع نفسه"، وتُكتب بصيغتين متكافئتين تمامًا: T[]...
as	تأكيد النوع (as) هو قولك للمترجم «أنا أعرف نوع هذه القيمة أفضل منك — عاملها بوصفها T». فهو...
as const	يجمّد as const الحرفي بأكمله في أعمق نوع ثابت ممكن: تصبح كل الخصائص readonly، وتضيق كل الق...
assertNever	فحص الاستنفاد تأمين في وقت الترجمة يضمن «معالجة كل عضو من أعضاء النوع الاتحادي». جوهره حيل...
Awaited<T>	يحاكي Awaited<T> الأثر النوعي لـ await: فك Promise<T> للحصول على T مع فك الـ Promise المتد...
B
boolean	يمتلك boolean قيمتين فقط هما true و false، ويُستخدم لمفاتيح الميزات وشروط التحقق ونتائج ال...
C
class	تجمّع الفئة البيانات والسلوك معًا: الحقول تخزن الحالة، والمُنشئ يبدئها، والطرق تعرّف السلو...
class<T>	تربط الفئة العامة (class Stack<T>) «بنية الفئة» بنوع البيانات المخزنة: فنسخة Stack<number>...
contextual	النوع السياقي: عندما يقع كدالة مجهولة في «موضع نوعه معروف مسبقًا» (تعليق متغير، استدعاء را...
E
enum	تجمع التعدادات مجموعة من الثوابت المترابطة تحت مساحة اسم واحدة، فأعضاؤها نوع وقيمة معًا. ا...
Exclude<T, U>	يستبعد Exclude<T, U> من النوع الاتحادي T الأعضاء «القابلين للإسناد إلى U»، ويُستعمل عادة ل...
F
function <T>	تحول الدوال العامة معامل النوع <T> «النوعَ» إلى معامل: نفس المنطق يتكيف مع أنواع متعددة مع...
H
HTMLElement/Event	كل أنواع برمجة DOM تأتي من مكتبة DOM المدمجة في TS: فالعناصر تشكل سلسلة وراثة (EventTarget...
I
implements	يجعل implements الفئة «تطالب» بواجهة: يتحقق المترجم بندًا بندًا من أن الفئة توفر كل الأعضا...
import/export	وحدات ES Modules هي معيار JavaScript الرسمي للوحدات، ويستخدم TypeScript صياغتي export/impo...
in	يتحقق معامل in من وجود اسم خاصية على كائن ما، ويستغل TypeScript ذلك ليضيّق النوع الاتحادي ...
in / out	تصف التغايرية «كيف يؤثر معامل النوع داخل النوع المركب على التوافق الكلي»: قيم الإرجاع متغا...
infer	تقوم infer في فرع الصواب للنوع الشرطي بـ«التقاط» النوع: T extends Array<infer U> ? U : nev...
instanceof	يُستخدم حارس instanceof مع اتحادات «الأصناف» (classes): يتحقق مما إذا كانت القيمة نسخةً من...
interface	تسمّي interface بنية كائن باسم واحد: تحدد الخصائص والدوال الموجودة وأنواع كل منها. وهي توج...
interface<T>	تعلّق الواجهة العامة معاملات النوع بعد اسمها (interface ApiResult<T>) وتفصل «شكل الحاوية» ...
K
keyof	يأخذ keyof T جميع أسماء المفاتيح في نوع الكائن T ويعطي اتحاد قيم حرفية: فـ keyof Settings ...
kind	يربط النوع الاتحادي القابل للتمييز (ويُسمى أيضًا tagged union) مجموعة أنواع بحقل تمييز مشت...
N
name(arg: T): R	توضّح تعليقات الدوال أنواعَ المعاملات وقيمة الإرجاع: يرى المستدعي بنظرة واحدة «ماذا يمرر و...
narrowing	يجمع النوع الاتحادي (union type) عدة احتمالات في متغير واحد، لذا يجب قبل استخدامه أن تعرف ...
never	يعني never "لن تكون هناك قيمة أبدًا": تُعيده الدوال التي ترمي استثناءات أو تدور بلا نهاية؛...
new () => T	يصف توقيع الإنشاء new (name: string) => T «أن هذه القيمة يمكن إنشاء T منها بـ new». تحتاجه...
NonNullable<T>	يستبعد NonNullable<T> من النوع T كلاً من null وundefined. وهو مناسب للحالات التي «يُسمح في...
null / undefined	تعني null "الفراغ المتعمَّد"، بينما تعني undefined "لم تُسند قيمة بعد / غير موجود". بعد تف...
number	يجمع number بين الأعداد الصحيحة والكسور في نوع واحد — فجافاسكربت لا تملك سوى هذا النوع الر...
O
object type	يصف نوع الكائن بنية الكائن بأزواج "اسم الخاصية: النوع"؛ اكتبه داخل السطر للاستخدام مرة واح...
Omit<T, K>	يستبعد Omit<T, K> من T الخصائص المسماة في K ويبقي الباقي نوعًا جديدًا. من استخدامه النموذج...
overloads	تمنح تعريفات التحميل الزائد الدالةَ الواحدة «أوراق توقيع» متعددة: يحصل المستدعي على نوع إر...
P
Parameters<T>	يستخرج Parameters<T> قائمة معاملات نوع الدالة T بوصفها نوع صف (tuple). وبه يمكنك تخزين «حز...
Partial<T>	يجعل Partial<T> كل خصائص T اختيارية: وهو مثالي لسيناريو «التحديث الجزئي» (مسودات النماذج، ...
Pick<T, K>	يقطف Pick<T, K> من T الخصائص المسماة في K ليؤلف منها نوعًا جديدًا. عندما تحتاج إلى شريحة ص...
Promise<T>	تدور الأنواع غير المتزامنة حول Promise<T>: فنوع إرجاع الدالة async يُغلَّف تلقائيًا بطبقة ...
public / private / protected	تتحكم محددات الوصول في ظهور الأعضاء: public (الافتراضي، متاح داخليًا وخارجيًا) وprivate (د...
R
Readonly<T>	يجعل Readonly<T> كل خصائص T للقراءة فقط: إعادة إسناد قيمة لخاصية بعد إنشاء الكائن خطأ في ا...
Record<K, V>	يبني Record<K, V> نوع كائن «مفاتيحه K وقيمه V». ويمكن أن يكون K اتحادًا حرفيًا (جداول التع...
ReturnType<T>	يستخرج ReturnType<T> نوع القيمة المرجعة لنوع الدالة T. والصيغة الأشيع هي ReturnType<typeof...
S
string	يمثّل string القيم النصية. استخدمه لتعليق كل بيانات توجد في صورة محارف، مثل الأسماء والرسا...
symbol / bigint	ينشئ symbol قيمًا فريدة عالميًا لا تتكرر، وهو مناسب لمفاتيح الكائنات والمعرّفات الثابتة؛ أ...
T
T = Default	يمكن لمعاملات الأنواع أن تملك قيمًا افتراضية (<T = string>): عند عدم التحديد يُعتمد النوع ...
T extends U	يرسم القيد (extends) «حدودًا» لمعامل النوع: <T extends HasId> يعد بأن «T لديه على الأقل id...
T extends U ? X : Y	تجعل الأنواع الشرطية النوع «يختار»: T extends U ? X : Y — عند تحقق الشرط تُختار X وإلا تُخ...
try / catch	في معالجة أخطاء TS نقطة ألم بارزتان: الأولى أن err في catch من نوع unknown في الوضع الصارم...
tsconfig.json	ملف tsconfig.json هو «مفتاح التحكم الكامل» لمشروع TypeScript: يوضع في جذر المشروع ويخبر ال...
type	تمنح type أي نوع اسمًا: الكائنات والاتحادات والصفوف والدوال والحرفيات كلها قابلة للتسمية، ...
typeof	حارس typeof هو أكثر حراسات الأنواع شيوعًا: في وقت التشغيل يعيد typeof سلسلة تصف نوع القيمة...
U
unknown	النوع unknown هو "any الآمن": يمكن إسناد أي قيمة إليه، لكن يجب تضييقه أو التأكيد عليه قبل ...
V
void	يعني void أن "الدالة لا تملك قيمة مُعادة ذات معنى". يُستخدم عادةً لتعليق دوال السجل ووحدات...
X
x is T	عندما لا تكفي الحراسات المدمجة (typeof/instanceof/in) يمكنك كتابة دالة حارسة للنوع بنفسك: ...

فريق Web-Tutorial التقني

منصة دروس برمجية يديرها عدة مطورين. كل درس يتم كتابته ومراجعته بواسطة مطورين متخصصين في المجال. نعمل على ضمان دقة وموثوقية المحتوى — إذا لاحظت أي مشكلة، فيرجى إخبارنا.

من نحن