Πώς δηλώνετε μεταβλητές και ποιοι είναι οι βασικοί τύποι της Go;

Question

Accepted Answer

Η Go είναι στατικά τύπου με πολλές τρόπους δήλωσης μεταβλητών. Ο πιο συνηθισμένος είναι η **σύντομη δήλωση** `:=`, η οποία συμπεραίνει τον τύπο. Οι βασικοί τύποι της Go καλύπτουν αριθμούς, strings, booleans και πολλά άλλα.

## Δήλωση μεταβλητών

```go
var x int = 42        // full form: explicit type and value
var y = 42            // type inferred → int
var z int             // declared, ZERO-valued (z = 0)

name := "Ann"         // short declaration (:=) — infers type, INSIDE functions only
count := 10

var a, b = 1, "two"   // multiple at once
const Pi = 3.14159     // constant (compile-time)
```

Το `:=` είναι ο ιδιωματικός τρόπος μέσα σε συναρτήσεις — συνοπτικό με συμπερασμό τύπου. Το `var` χρησιμοποιείται σε επίπεδο πακέτου και όταν θέλετε έναν ρητό τύπο ή απλώς την μηδενική τιμή.

## Οι βασικοί τύποι

```go
// integers
int, int8, int16, int32, int64     // signed (int is platform-sized, usually 64-bit)
uint, uint8, ..., uint64           // unsigned
byte                                // alias for uint8
rune                                // alias for int32 — a Unicode code point

// floating point
float32, float64                    // float64 is the default for decimals

// others
string                              // immutable UTF-8 text
bool                               // true / false
complex64, complex128              // complex numbers
```

## Μηδενικές τιμές — καμία "αμη-αρχικοποιημένη" μεταβλητή

```go
var i int       // 0
var f float64   // 0.0
var s string    // "" (empty)
var b bool      // false
var p *int      // nil
```

Μια κρίσιμη δυνατότητα της Go: κάθε δηλωμένη μεταβλητή λαμβάνει αυτόματα μια λογική **μηδενική τιμή** — δεν υπάρχουν αόριστες/τυχαίες τιμές. Αυτό κάνει τον κώδικα πιο ασφαλή και σημαίνει ότι συχνά μπορείτε να παραλείψετε τη ρητή αρχικοποίηση.

## Οι μετατροπές τύπου είναι ρητές

```go
var i int = 42
var f float64 = float64(i)   // MUST convert explicitly — no implicit coercion
var u uint = uint(f)
// i + f  → ❌ compile error: mismatched types
```

Η Go απαιτεί **ρητές** μετατροπές τύπου — ποτέ δεν αναμιγνύει τύπους έμμεσα, αποτρέποντας μια κατηγορία λεπτών σφαλμάτων.

## Γιατί είναι σημαντικό

Η κατανόηση των δηλώσεων μεταβλητών και των τύπων της Go είναι θεμελιώδης για τη σύνταξη οποιουδήποτε κώδικα Go.

Η ιδιωματική σύντομη δήλωση `:=` με συμπερασμό διατηρεί τον κώδικα συνοπτικό, ενώ το `var` και οι σταθερές εξυπηρετούν τους ρόλους τους.

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

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

Η γνώση των βασικών τύπων (ιδιαίτερα `rune` για Unicode, `byte` και ότι `int`/`float64` είναι τα προεπιλεγμένα) είναι απαραίτητη καθημερινή γνώση.