Πώς το Go χειρίζεται τα σφάλματα ως τιμές;

Question

Accepted Answer

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

## Ο τύπος σφάλματος και το βασικό σχέδιο

```go
// `error` is a built-in interface: anything with an Error() string method
type error interface {
    Error() string
}

// functions return (result, error) — error is nil on success
func divide(a, b float64) (float64, error) {
    if b == 0 {
        return 0, errors.New("division by zero")   // create an error
    }
    return a / b, nil    // nil = no error
}

// the ubiquitous calling pattern
result, err := divide(10, 0)
if err != nil {              // CHECK the error explicitly
    fmt.Println("error:", err)
    return
}
fmt.Println(result)
```

Ο έλεγχος `if err != nil { ... }` εμφανίζεται συνεχώς στο Go — κάθε λειτουργία που μπορεί να αποτύχει ακολουθείται από έναν ρητό έλεγχο σφάλματος. Αυτή η λεκτικότητα είναι σκόπιμη: τα σφάλματα είναι πάντα ορατά και χειρίζονται στον ιστότοπο κλήσης.

## Δημιουργία σφαλμάτων

```go
errors.New("something failed")                       // simple error
fmt.Errorf("failed to process %s: %w", name, err)    // formatted, with WRAPPING (%w)
```

## Περιτύλιξη και επιθεώρηση σφαλμάτων

```go
// %w WRAPS an underlying error, preserving the chain
if err != nil {
    return fmt.Errorf("reading config: %w", err)   // adds context, keeps original
}

// unwrap and inspect with errors.Is / errors.As
if errors.Is(err, os.ErrNotExist) { ... }          // check for a specific error
var pathErr *os.PathError
if errors.As(err, &pathErr) { ... }                 // extract a specific error type
```

Η περιτύλιξη (`%w`) προσθέτει περιεχόμενο καθώς τα σφάλματα διαδίδονται προς τα πάνω, ενώ `errors.Is`/`errors.As` σας επιτρέπουν να ελέγχετε ή να εξάγετε συγκεκριμένα υποκείμενα σφάλματα — ο σύγχρονος τρόπος χειρισμού αλυσίδων σφαλμάτων.

## Προσαρμοσμένοι τύποι σφαλμάτων

```go
type ValidationError struct {
    Field string
}
func (e *ValidationError) Error() string {           // implement the error interface
    return "invalid field: " + e.Field
}
return &ValidationError{Field: "email"}
```

## errors έναντι panic

```text
error (values) → EXPECTED, recoverable conditions (file missing, bad input) — the norm
panic          → UNEXPECTED, programmer errors / unrecoverable (nil deref, out of bounds)
→ Use errors for normal failure handling; reserve panic for truly exceptional cases.
```

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

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

Από την επιστροφή σφαλμάτων ως τιμών που οι καλούντες πρέπει να ελέγχουν ρητά (`if err != nil`), το Go καθιστά τη διαχείριση σφαλμάτων **ορατή, τοπική και αδύνατη να αγνοηθεί κατά λάθος** — βλέπετε ακριβώς πού χειρίζεται κάθε σφάλμα, βελτιώνοντας την αξιοπιστία με το κόστος της λεκτικότητας.

Η κατανόηση αυτής της φιλοσοφίας, του σχεδίου `(result, error)`, της περιτύλιξης σφαλμάτων (`%w`) με `errors.Is`/`errors.As` για προσθήκη περιεχομένου και επιθεώρηση αλυσίδων, των προσαρμοσμένων τύπων σφαλμάτων και της διάκρισης μεταξύ σφαλμάτων (κανονικών, ανακτήσιμων) και panic (εξαιρετικών, σφαλμάτων προγραμματιστή) είναι απολύτως απαραίτητη — διαπερνά κάθε πρόγραμμα Go και αντιπροσωπεύει μια βασική αλλαγή νοοτροπίας για προγραμματιστές που έρχονται από γλώσσες βασισμένες σε εξαιρέσεις.

Είναι επίσης ένα από τα πιο κοινά θέματα συνέντευξης Go.