Kif jaħdmu l-interfaces f'Go?

Question

Accepted Answer

**Interface** f'Go jiddefinixxi sett ta' method signatures — kuntratt ta' imġieba. B'mod kruċjali, interfaces huma sodisfatti **implicitament**: kwalunkwe tip li għandu dawk il-metodi awtomatikament jassodisfa l-interface, **mingħajr dikjarazzjoni esplisita "implements"**. Din l-approċċ strutturali, duck-typing, hija distintiva u qawwija.

## Tiddefinizzjoni u implicitament l-implementazzjoni ta' 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"
```

M'hemm l-ebda keyword `implements` — jekk tip għandu l-metodi kollu tal-interface, jassodisfa l-interface awtomatikament. Dan jidekoppja l-interface mill-implementazzjonijiet tiegħu (l-implementatur lanqas ma għandu bżonn jaf li l-interface teżisti).

## Polymorphism permezz ta' interfaces

```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 jippermettu polymorphism — ikteb kod kontra l-imġieba, u kwalunkwe tip konformi jaħdem.

## L-empty interface u `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
```

L-empty interface (`interface{}` / `any`) iżomm kwalunkwe valur — użat meta t-tip ma jkunx magħruf minn qabel (għalkemm generics issa ħafna drabi jissostitwixxu dan).

## Standard library interfaces li tuża kostantement

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

Mehm tal-standard library hija mibnija fuq interfaces żgħar (`io.Reader`/`io.Writer`, `error`, `Stringer`) — l-implementazzjoni tagħhom jagħmel it-tipi tiegħek jaħdmu ma' l-ekosistema kollu.

## L-idiom: aċċetta interfaces, irritorna 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."
```

## Għaliex huwa importanti

Interfaces huma ċentrali għad-disinn ta' Go u l-approċċ tiegħu għal astrazzjoni u polymorphism — u l-**sodisfazzjon implisit** tagħhom (l-ebda keyword `implements`; structural typing) hija waħda mill-karatteristiki l-aktar distintiva u qawwija fil-lingwa.

Dan id-dekoppjament ifisser li tipi u interfaces jevolvu b'mod indipendenti, tista' tiddefinixxi interfaces *wara* it-tipi li jassodisfaw magħhom, u kwalunkwe tip konformi jiddaħħal f'kod ibbażat fuq interface awtomatikament — biex tippermetti dissinni flessibli, debolment akkupjati u ttestjar faċli (ibdel b'implementazzjonijiet mock).

L-għaruf implicit implementation, polymorphism permezz ta' interfaces, l-empty interface/`any`, l-idiom tal-interface żgħira ("aċċetta interfaces, irritorna structs"), u l-ubiquitous standard-library interfaces (`error`, `io.Reader`/`Writer`, `Stringer`) huwa essenzjali għal Go idiomatic.

Hija suġġett ta' intervista frewwent preċiżament għax il-mudell implisit, strutturali huwa differenti tant fundamentalment mill-explicit interfaces ta' Java/C#.

Tiddefinizzjoni u implicitament l-implementazzjoni ta' interface

Polymorphism permezz ta' interfaces

L-empty interface u any

Standard library interfaces li tuża kostantement

L-idiom: aċċetta interfaces, irritorna structs

Għaliex huwa importanti

L-empty interface u `any`