ما هي أنواع الاتحاد (Union) والتقاطع (Intersection)؟

Question

Accepted Answer

**الاتحاد** (`A | B`) يعني "إما A **أو** B." **التقاطع** (`A & B`) يعني "كل من A **و** B في نفس الوقت."

```ts
// Union — value is one of several types
type Status = "loading" | "success" | "error"; // string literal union
let s: Status = "loading"; // only these three allowed

function id(x: string | number) { /* x is string OR number */ }
```

## العمل مع الاتحادات: يمكنك فقط استخدام ما هو مشترك

```ts
function format(x: string | number) {
  // x.toFixed(2); // ❌ toFixed doesn't exist on string
  if (typeof x === "number") return x.toFixed(2); // ✅ narrowed to number
  return x.toUpperCase();                          // ✅ here it's a string
}
```

حتى تقوم بـ **تضييق** اتحاد، يمكنك الوصول فقط إلى الأعضاء الموجودة على *كل* عضو من أعضاء الاتحاد — المترجم يحميك.

## التقاطع — دمج الأشكال

```ts
type Name = { name: string };
type Age = { age: number };
type Person = Name & Age; // must have BOTH name and age

const p: Person = { name: "Ann", age: 30 }; // both required
```

التقاطعات رائعة لتكوين/مزج أنواع الكائنات (مثل إضافة خصائص إلى نوع موجود).

## لماذا يهم

الاتحادات تمثل "أحد عدة احتمالات" — أساس نمذجة الحالة الآمنة (مثل الاتحادات المميزة لحالة المخفض)، وحمل الدوال، والأنواع القابلة للقيمة الفارغة (`T | null`).

التقاطعات تجمع الأنواع معاً.

معاً يجعلان نظام نوع TypeScript معبراً بما يكفي لعكس البيانات الحقيقية بدقة.