Πώς λειτουργούν οι συναρτήσεις και οι πολλαπλές τιμές επιστροφής στη Go;

Question

Accepted Answer

Οι συναρτήσεις Go δηλώνονται με `func`, και ένα ιδιαίτερο χαρακτηριστικό είναι οι **πολλαπλές τιμές επιστροφής** — μια συναρτήση μπορεί να επιστρέψει αρκετές τιμές ταυτόχρονα. Αυτό χρησιμοποιείται ευρέως, ειδικά για το idiom `(result, error)` που καθορίζει τη διαχείριση σφαλμάτων της Go.

## Βασική συναρτήση

```go
func add(a int, b int) int {     // params with types, then the return type
    return a + b
}

func greet(name string) string {
    return "Hello, " + name
}
// shorthand for same-typed params: func add(a, b int) int
```

## Πολλαπλές τιμές επιστροφής — το καθορίζον χαρακτηριστικό

```go
func divide(a, b int) (int, error) {     // returns BOTH a result AND an error
    if b == 0 {
        return 0, errors.New("division by zero")
    }
    return a / b, nil    // nil error = success
}

// callers handle both — the ubiquitous Go error pattern
result, err := divide(10, 2)
if err != nil {
    log.Fatal(err)       // handle the error
}
fmt.Println(result)
```

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

## Το pattern comma-ok

```go
// many built-ins return (value, ok) — a boolean for "did it work?"
value, ok := myMap["key"]   // ok = false if the key is missing
if ok { ... }

v, ok := someInterface.(string)   // type assertion with ok
```

## Ονοματισμένες τιμές επιστροφής

```go
func split(sum int) (x, y int) {   // named returns
    x = sum * 4 / 9
    y = sum - x
    return   // "naked return" — returns the named values
}
```

## Variadic συναρτήσεις

```go
func sum(nums ...int) int {     // accepts any number of ints
    total := 0
    for _, n := range nums {
        total += n
    }
    return total
}
sum(1, 2, 3)          // 6
sum(nums...)          // spread a slice into args
```

## Οι συναρτήσεις είναι first-class

```go
var op func(int, int) int = add   // assign functions to variables
func apply(fn func(int) int, x int) int { return fn(x) }  // pass as arguments
```

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

Οι συναρτήσεις Go είναι κεντρικές, και οι **πολλαπλές τιμές επιστροφής** είναι ένα από τα καθορίζοντα χαρακτηριστικά της γλώσσας — επιτρέπουν το idiom `(result, error)` που *είναι* η προσέγγιση της Go στη διαχείριση σφαλμάτων (ρητός έλεγχος σφάλματος ως τιμή αντί για εξαιρέσεις).

Αυτό το pattern, που χρησιμοποιείται σε σχεδόν κάθε πρόγραμμα Go, κάνει τη διαχείριση σφαλμάτων ορατή και σκόπιμη.

Το σχετικό idiom comma-ok (`value, ok :=`) εμφανίζεται παντού (πρόσβαση χάρτη, assertions τύπου, λήψη από channels).

Η κατανόηση πολλαπλών επιστροφών, του error pattern, ονοματισμένων επιστροφών, variadic συναρτήσεων και first-class συναρτήσεων είναι ουσιαστική για την ανάγνωση και τη συγγραφή idiomatic Go — και η φιλοσοφία error-as-value είναι ένας από τους πιο σημαντικούς εννοιολογικούς διαφορές μεταξύ Go και γλωσσών που βασίζονται σε εξαιρέσεις.