Bagaimana cara kerja interface di Go?

Question

Accepted Answer

Sebuah **interface** Go mendefinisikan serangkaian tanda tangan metode — sebuah kontrak perilaku. Yang terpenting, interface dipenuhi **secara implisit**: tipe apa pun yang memiliki metode-metode tersebut secara otomatis memenuhi interface, **tanpa deklarasi "implements" eksplisit**. Pendekatan structural, duck-typing ini adalah karakteristik dan kekuatan Go.

## Mendefinisikan dan secara implisit mengimplementasikan 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"
```

Tidak ada kata kunci `implements` — jika tipe memiliki semua metode interface, tipe tersebut secara otomatis memenuhi interface. Ini mengasingkan interface dari implementasinya (implementer bahkan tidak perlu tahu interface tersebut ada).

## Polimorfisme melalui 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() }
```

Interface memungkinkan polimorfisme — tulis kode terhadap perilaku, dan tipe apa pun yang sesuai akan berfungsi.

## Interface kosong dan `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 kosong (`interface{}` / `any`) memegang nilai apa pun — digunakan ketika tipe tidak diketahui sebelumnya (meskipun generics sekarang sering menggantikan ini).

## Interface standar library yang akan Anda gunakan terus-menerus

```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) }
```

Banyak standar library dibangun atas interface kecil (`io.Reader`/`io.Writer`, `error`, `Stringer`) — mengimplementasikannya membuat tipe Anda bekerja dengan seluruh ekosistem.

## Idiom: terima interface, kembalikan struct

```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."
```

## Mengapa ini penting

Interface adalah inti dari desain Go dan pendekatannya terhadap abstraksi dan polimorfisme — dan **kepuasan implisit mereka** (tidak ada kata kunci `implements`; structural typing) adalah salah satu fitur paling khas dan kuat dalam bahasa ini.

Pengasingan ini berarti tipe dan interface berkembang secara independen, Anda dapat mendefinisikan interface *setelah* tipe yang memenuhinya, dan tipe apa pun yang sesuai secara otomatis tersambung ke kode berbasis interface — memungkinkan desain yang fleksibel, longgar, dan pengujian mudah (ganti implementasi mock).

Memahami implementasi implisit, polimorfisme melalui interface, interface kosong/`any`, idiom interface kecil ("terima interface, kembalikan struct"), dan interface standar library yang ada di mana-mana (`error`, `io.Reader`/`Writer`, `Stringer`) sangat penting untuk Go yang idiomatis.

Ini adalah topik wawancara yang sering muncul justru karena model struktural implisit berbeda secara fundamental dari interface eksplisit Java/C#.

Mendefinisikan dan secara implisit mengimplementasikan interface

Polimorfisme melalui interface

Interface kosong dan any

Interface standar library yang akan Anda gunakan terus-menerus

Idiom: terima interface, kembalikan struct

Mengapa ini penting

Interface kosong dan `any`