ما الفرق بين أنواع القيمة (Value Types) وأنواع المرجع (Reference Types)؟

Question

Accepted Answer

تنقسم أنواع C# إلى فئتين أساسيتين: **أنواع القيمة** (تخزن البيانات مباشرة) و**أنواع المرجع** (تخزن مرجعاً/مؤشراً للبيانات في الـ heap). تختلف هذه الأنواع في كيفية تخزينها ونسخها ومقارنتها — وهو تمييز حاسم يؤثر على السلوك في جميع أنحاء اللغة.

## الفئتان الأساسيتان

```text
Value types     → struct, int, double, bool, char, enum, DateTime, decimal
                  Stored INLINE (stack for locals); copied BY VALUE.
Reference types → class, string, array, object, interface, delegate
                  Variable holds a REFERENCE to data on the heap; copied BY REFERENCE.
```

## الفرق الرئيسي: دلالات النسخ

```csharp
// VALUE type — assignment COPIES the value (independent)
int a = 5;
int b = a;      // b is a COPY
b = 10;         // a is still 5

struct Point { public int X; }
Point p1 = new() { X = 1 };
Point p2 = p1;  // COPIES the whole struct
p2.X = 99;      // p1.X is still 1

// REFERENCE type — assignment copies the REFERENCE (both point to the SAME object)
class Box { public int Value; }
Box box1 = new() { Value = 1 };
Box box2 = box1;   // both reference the SAME Box
box2.Value = 99;   // box1.Value is now 99 too!
```

إسناد نوع قيمة ينسخ البيانات (نسخة مستقلة)؛ إسناد نوع مرجع ينسخ المرجع (كلا الاسمين يشيران للكائن نفسه، لذا التعديل عبر أحدهما يؤثر على الآخر).

## المقارنة والتمرير للدوال

```csharp
// == compares VALUES for value types, REFERENCES (identity) for reference types
string s1 = "hi"; // (string is special — == compares content)
Box b1 = new(), b2 = new();
b1 == b2;   // false — different objects (reference equality by default)

// methods get a COPY of value types, the reference (by value) for reference types
void Modify(Box b) { b.Value = 100; }   // affects the caller's object
void Modify(int x) { x = 100; }           // does NOT affect the caller's int
```

## null

```text
Reference types can be null (no object). Value types CANNOT be null
(unless made nullable: int? — a Nullable<int>).
```

## لماذا هذا مهم

تمييز القيمة مقابل المرجع هو أحد أكثر المفاهيم الأساسية في C#، وهو يشرح مجموعة واسعة من السلوكيات والأخطاء — مما يجعله معرفة ضرورية.
fy على أن **أنواع القيمة** (structs والأنواع الأساسية مثل int/double وenums) يتم نسخها بالقيمة (نسخ مستقلة) بينما **أنواع المرجع** (classes والمصفوفات والنصوص) يتم نسخها بالمرجع (كلا الاسمين يشيران للكائن نفسه) أمر حاسم للتنبؤ بسلوك البيانات: تعديل نسخة من نوع قيمة لا يؤثر على الأصلي، لكن تغيير كائن نوع مرجع مشترك يؤثر على جميع المراجع له (مصدر شائع للأخطاء المفاجئة).

هذا التمييز يؤثر أيضاً على **المساواة** (`==` تقارن القيم لأنواع القيمة لكن تقارن هوية المرجع لأنواع المرجع افتراضياً)، **وسائط الدوال** (أنواع القيمة تُمرر كنسخ، مراجع أنواع المرجع تُمرر بالقيمة — لذا يمكن للدوال تعديل كائن مُمرر لكن ليس int مُمرر)، و**الـ nullability** (فقط أنواع المرجع يمكن أن تكون null، إلا إذا كان نوع قيمة قابل للـ null مع `?`).

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