Πώς λειτουργούν οι δείκτες στη Go;

Question

Accepted Answer

Ένας **δείκτης** κρατά τη **διεύθυνση μνήμης** μιας τιμής και όχι την ίδια την τιμή. Η Go έχει δείκτες (όπως η C), αλλά τους κρατά απλούς και ασφαλείς — χωρίς αριθμητική δεικτών, και ο συλλέκτης σκουπιδιών διαχειρίζεται τη μνήμη. Χρησιμοποιούνται για αποτελεσματικό διαμοιρασμό και τροποποίηση δεδομένων.

## Οι δύο τελεστές: & και *

```go
x := 42
p := &x          // & = "address of" → p is a *int (pointer to x)
fmt.Println(p)   // 0xc0000... (the address)
fmt.Println(*p)  // 42 — * = "dereference" (get the value at the address)

*p = 100         // change the value THROUGH the pointer
fmt.Println(x)   // 100 — x was modified via p
```

`&` παίρνει τη διεύθυνση μιας μεταβλητής; `*` (σε έναν δείκτη) προσπελαύνει ή ορίζει την τιμή στην οποία δείχνει.

## Γιατί οι δείκτες έχουν σημασία: τροποποίηση μέσω συναρτήσεων

```go
// ❌ value parameter — the function gets a COPY; changes don't affect the caller
func incrementValue(n int) { n++ }       // caller's variable unchanged

// ✅ pointer parameter — the function can modify the caller's variable
func incrementPointer(n *int) { *n++ }

x := 5
incrementValue(x)     // x still 5
incrementPointer(&x)  // x is now 6
```

Επειδή η Go περνά ορίσματα **κατά τιμή** (αντίγραφα), μια συνάρτηση μπορεί να τροποποιήσει τα δεδομένα του καλούντος μόνο αν λάβει έναν **δείκτη** σε αυτά. Αυτός είναι ο κύριος λόγος για την χρήση δεικτών.

## Δείκτες με structs (πολύ συνηθισμένο)

```go
type Counter struct { count int }

// pointer receiver → method can modify the struct
func (c *Counter) Increment() { c.count++ }

c := &Counter{}      // a pointer to a Counter
c.Increment()        // modifies it (Go auto-dereferences: (*c).count++)
```

Οι δέκτες δεικτών είναι ο τρόπος με τον οποίο οι μέθοδοι τροποποιούν τη δομή τους, και η διέλευση δεικτών δομής αποφεύγει την αντιγραφή μεγάλων δομών.

## Ο δείκτης nil και η μηδενική τιμή

```go
var p *int           // zero value of a pointer is nil
fmt.Println(p)       // <nil>
*p = 5               // 💥 PANIC: nil pointer dereference (no value to point to)
if p != nil { *p = 5 }   // guard against nil
```

Η αναφορά ενός δείκτη `nil` προκαλεί panic — ένα κοινό σφάλμα χρόνου εκτέλεσης που πρέπει να προστατεύσετε.

## Τι ΔΕΝ έχουν οι δείκτες Go (ασφάλεια)

```text
✗ NO pointer arithmetic (can't do p++ to move through memory like C)
✗ NO manual free — garbage collector reclaims memory
→ Pointers are about sharing/modifying data, not low-level memory hacking
```

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

Οι δείκτες είναι απαραίτητοι στη Go για δύο κύριους σκοπούς: **τροποποίηση** των δεδομένων του καλούντος (δεδομένου ότι η Go περνά κατά τιμή, μόνο ένας δείκτης επιτρέπει σε μια συνάρτηση να αλλάξει το πρωτότυπο) και **απόδοση** (η διέλευση ενός δείκτη αποφεύγει την αντιγραφή μεγάλων δομών).

Είναι θεμελιώδεις για μεθόδους με δέκτες δεικτών (ο τυπικός τρόπος για τροποποίηση δομών) και εμφανίζονται σε όλη τη λογική Go.

Η κατανόηση `&`/`*`, της σημασιολογίας τιμής έναντι δείκτη, του panic δείκτη nil και του ότι οι δείκτες Go είναι σκόπιμα *ασφαλείς* (χωρίς αριθμητική, διαχειριζόμενοι από GC) — εστιασμένοι στο διαμοιρασμό/μετάλλαξη αντί για χειρισμό μνήμης στυλ C — είναι βασική γνώση για τη σύνταξη σωστής, αποδοτικής Go και ένα συχνό σημείο σύγχυσης για νέους και σε συνεντεύξεις.