ما هو الكتابة البنيوية (Structural Typing) في TypeScript؟

Question

Accepted Answer

يستخدم TypeScript **الكتابة البنيوية** ("duck typing"): نوعان متوافقان إذا كان لديهما نفس **الشكل**، بغض النظر عن اسمهما أو مكان تعريفهما. وهذا يتناقض مع الكتابة *الاسمية* (Nominal typing) (Java, C#) حيث يعتمد التوافق على اسم النوع المعلن.

```ts
interface Point { x: number; y: number; }

function print(p: Point) { console.log(p.x, p.y); }

// No `: Point` annotation anywhere, but the shape matches:
const obj = { x: 1, y: 2, z: 3 };
print(obj); // ✅ works — obj has x and y (extra z is fine)
```

لم يتم التصريح عن `obj` بأنه `Point`، ومع ذلك يتم قبوله لأنه يرضي البنية *بشكل بنيوي*. يُسمح بالخصائص الإضافية عند تمرير متغير موجود.

## استثناء الفحص الزائد للخصائص

```ts
print({ x: 1, y: 2, z: 3 }); // ❌ Error: 'z' does not exist in type 'Point'
```

كائنات **الحرفيات** المُمررة مباشرة تحصل على فحص أكثر صرامة "فحص الخصائص الزائدة" لاكتشاف الأخطاء الإملائية — ولكن إذا أسندتها إلى متغير أولاً سيتم قبولها. هذا توازن متعمد بين المرونة والتقاط الأخطاء.

## لماذا يهم

الكتابة البنيوية تجعل TypeScript مرنة وسهلة الاستخدام — يمكنك رضا واجهة دون تنفيذها بشكل صريح، وهذا يناسب أسلوب JavaScript في الكائنات الحرفية.

المقابل: الأنواع التي تشترك في نفس الشكل قد تكون قابلة للتبديل حتى لو كانت غير مرتبطة بشكل مفاهيمي (السبب الذي يجعل الناس يستخدمون *الأنواع المميزة* عندما يحتاجون إلى تمايز يشبه الاسمي).