Ποια είναι η διαφορά μεταξύ τύπων τιμής (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.
```

## Η κύρια διαφορά: semantics αντιγραφής

```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>).
```

## Γιατί έχει σημασία

Η διάκριση value-vs-reference είναι μία από τις πιο θεμελιώδεις έννοιες στη C#, και εξηγεί ένα ευρύ φάσμα συμπεριφορών και σφαλμάτων — καθιστώντας την απαραίτητη γνώση.

Η κατανόηση ότι οι **τύποι τιμής** (structs, πρωτόγονοι τύποι όπως int/double, enums) αντιγράφονται κατά τιμή (ανεξάρτητα αντίγραφα) ενώ οι **τύποι αναφοράς** (classes, arrays, strings) αντιγράφονται κατά αναφορά (και τα δύο ονόματα δείχνουν στο ίδιο αντικείμενο) είναι κρίσιμη για την πρόβλεψη του πώς συμπεριφέρονται τα δεδομένα: η τροποποίηση ενός αντιγράφου τύπου τιμής δεν επηρεάζει το πρωτότυπο, αλλά η μετάλλαξη ενός κοινόχρηστου αντικειμένου τύπου αναφοράς επηρεάζει όλες τις αναφορές σε αυτό (συνήθης πηγή εκπληκτικών σφαλμάτων).

Αυτή η διάκριση επηρεάζει επίσης την **ισότητα** (`==` συγκρίνει τιμές για τύπους τιμής αλλά ταυτότητα αναφοράς για τύπους αναφοράς εξ ορισμού), **ορίσματα μεθόδου** (τύποι τιμής που περνούν ως αντίγραφα, οι αναφορές τύπων αναφοράς περνούν κατά τιμή — οπότε οι μέθοδοι μπορούν να μεταλλάξουν ένα περασμένο αντικείμενο αλλά όχι ένα περασμένο int), και **nullability** (μόνο τύποι αναφοράς μπορούν να είναι null, εκτός εάν ένας τύπος τιμής καταστεί nullable με `?`).

Η κατανόηση ποιοι τύποι είναι value έναντι reference και τα προκύπτοντα semantics αντιγραφής, σύγκρισης και μετάλλαξης είναι θεμελιώδης για τη σωστή γραφή C# και την αποφυγή των πιο συνηθισμένων εννοιολογικών παγίδων της γλώσσας — υποστηρίζει το πώς τα δεδομένα ρέουν σε ένα πρόγραμμα και είναι συχνό θέμα συνέντευξης ακριβώς επειδή αποκαλύπτει εάν ένας προγραμματιστής πραγματικά κατανοεί το σύστημα τύπων της C#.