Πώς λειτουργούν οι διεπαφές (interfaces) στη Go;

Question

Accepted Answer

Μια **interface** στη Go ορίζει ένα σύνολο υπογραφών μεθόδων — ένα συμβόλαιο συμπεριφοράς. Κρίσιμο σημείο, οι διεπαφές ικανοποιούνται **σιωπηρά**: οποιοδήποτε type που έχει αυτές τις μεθόδους αυτόματα ικανοποιεί την interface, **χωρίς κανένα ρητό "implements" declaration**. Αυτή η δομική, duck-typing προσέγγιση είναι χαρακτηριστική και ισχυρή.

## Ορισμός και σιωπηρή υλοποίηση μιας interface

```go
// define an interface — a set of method signatures
type Speaker interface {
    Speak() string
}

type Dog struct{}
func (d Dog) Speak() string { return "Woof" }   // Dog has Speak() → it IS a Speaker

type Cat struct{}
func (c Cat) Speak() string { return "Meow" }   // Cat too — implicitly

// NO "implements Speaker" anywhere — satisfaction is automatic
var s Speaker = Dog{}    // works because Dog has the Speak() method
s.Speak()                // "Woof"
```

Δεν υπάρχει `implements` keyword — αν ένα type έχει όλες τις μεθόδους της interface, την ικανοποιεί αυτόματα. Αυτό αποσυνδέει την interface από τις υλοποιήσεις της (ο υλοποιητής δεν χρειάζεται να γνωρίζει ότι η interface υπάρχει).

## Πολυμορφισμός μέσω διεπαφών

```go
func announce(s Speaker) {        // accepts ANY type that has Speak()
    fmt.Println(s.Speak())
}
announce(Dog{})    // "Woof"
announce(Cat{})    // "Meow"

speakers := []Speaker{Dog{}, Cat{}}   // a slice of different types via the interface
for _, sp := range speakers { sp.Speak() }
```

Οι interfaces δυνατοποιούν τον πολυμορφισμό — γράφετε κώδικα με βάση τη συμπεριφορά, και οποιοδήποτε συμμορφούμενο type λειτουργεί.

## Η κενή interface και `any`

```go
var x interface{}     // the empty interface — satisfied by EVERY type (no methods required)
x = 42
x = "hello"
// Go 1.18+: `any` is an alias for interface{}
func print(v any) { fmt.Println(v) }   // accepts anything
```

Η κενή interface (`interface{}` / `any`) μπορεί να κρατήσει οποιαδήποτε τιμή — χρησιμοποιείται όταν ο type δεν είναι γνωστός εκ των προτέρων (αν και τα generics συχνά αντικαθιστούν αυτό).

## Διεπαφές της standard library που θα χρησιμοποιείτε συνεχώς

```go
type Stringer interface { String() string }   // controls fmt printing
type error interface { Error() string }        // the error type itself!
type io.Reader interface { Read(p []byte) (n int, err error) }
type io.Writer interface { Write(p []byte) (n int, err error) }
```

Μεγάλο μέρος της standard library είναι χτισμένο σε μικρές interfaces (`io.Reader`/`io.Writer`, `error`, `Stringer`) — η υλοποίηση τους κάνει τα types σας να λειτουργούν με ολόκληρο το οικοσύστημα.

## Το idiom: δεχθείτε interfaces, επιστρέψτε structs

```text
Go favors SMALL interfaces (often one method) defined where they're USED (the consumer),
not where types are defined. "The bigger the interface, the weaker the abstraction."
```

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

Οι interfaces είναι κεντρικές στη σχεδίαση της Go και στην προσέγγισή της στην αφαίρεση και τον πολυμορφισμό — και η **σιωπηρή ικανοποίησή τους** (όχι `implements` keyword· δομική δακτυλογραφία) είναι ένα από τα πιο χαρακτηριστικά και ισχυρά χαρακτηριστικά της γλώσσας.

Αυτή η αποσύνδεση σημαίνει ότι τα types και οι interfaces εξελίσσονται ανεξάρτητα, μπορείτε να ορίσετε interfaces *μετά* από τα types που τις ικανοποιούν, και οποιοδήποτε συμμορφούμενο type ενσωματώνεται αυτόματα στον κώδικα που βασίζεται σε interfaces — ενεργοποιώντας ευέλικτες, χαλαρά συζευγμένες σχεδιάσεις και εύκολη δοκιμή (αντικαταστήστε mock implementations).

Η κατανόηση της σιωπηρής υλοποίησης, του πολυμορφισμού μέσω interfaces, της κενής interface/`any`, του idiom μικρών interfaces ("δεχθείτε interfaces, επιστρέψτε structs"), και των διεδόσθεισών διεπαφών της standard library (`error`, `io.Reader`/`Writer`, `Stringer`) είναι ουσιαστική για ιδιωματική Go.

Είναι ένα συχνό θέμα συνέντευξης ακριβώς επειδή το σιωπηρό, δομικό μοντέλο διαφέρει θεμελιωδώς από τις ρητές interfaces της Java/C#.

Ορισμός και σιωπηρή υλοποίηση μιας interface

Πολυμορφισμός μέσω διεπαφών

Η κενή interface και any

Διεπαφές της standard library που θα χρησιμοποιείτε συνεχώς

Το idiom: δεχθείτε interfaces, επιστρέψτε structs

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

Η κενή interface και `any`