Vmesnik v Go-u definira niz podpisov metod — pogodbo obnašanja. Ključnega pomena je, da so vmesniki izpolnjeni implicitno: vsak tip, ki ima te metode, avtomatično izpolnjuje vmesnik, brez eksplicitne deklaracije "implements". Ta strukturni pristop, podoben duck-typingu, je značilen in mogoč.
Speaker {
Speak()
}
Dog {}
Speak() { }
Cat {}
Speak() { }
s Speaker = Dog{}
s.Speak()
Ni ključne besede implements — če ima tip vse metode vmesnika, ga avtomatično izpolnjuje. To ločuje vmesnik od njegovih implementacij (implementer niti ne mora vedeti, da vmesnik obstaja).
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() }
Vmesniki omogočajo polimorfizem — napišite kodo glede na obnašanje, in vsak ustrezen tip deluje.
anyvar 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
Prazen vmesnik (interface{} / any) drži katero koli vrednost — uporablja se, ko tip vnaprej ni znan (čeprav generiki zdaj pogosto nadomestijo to).
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) }
Večina standardne knjižnice je zgrajena na majhnih vmesnikih (io.Reader/io.Writer, error, Stringer) — njihova implementacija omogoči, da vaši tipi delujejo s celim ekosistemom.
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."
Vmesniki so osrednjega pomena za Go-jev dizajn in njegov pristop k abstrakciji in polimorfizmu — in njihova implicitna izpolnjenost (ni ključne besede implements; strukturno tipiziranje) je ena najbolj značilnih in močnih značilnosti jezika.
Ta ločenost pomeni, da se tipi in vmesniki razvijajo neodvisno, vmesnike lahko definirate po tipih, ki jih izpolnjujejo, in vsak ustrezen tip se avtomatično vključi v kodo, ki temelji na vmesnikih — omogoča fleksibilne, ohlapno povezane zasnove in enostaven test (zamenjajte z mock implementacijami).
Razumevanje implicitne implementacije, polimorfizma prek vmesnikov, praznega vmesnika/any, idioma majhnih vmesnikov ("sprejmi vmesnike, vrni strukture") in vseprisotnih vmesnikov standardne knjižnice (error, io.Reader/Writer, Stringer) je bistveno za idiomatičen Go.
To je pogosta tema intervjuja ravno zato, ker se implicitni, strukturni model tako bistveno razlikuje od eksplicitnih vmesnikov Java-e/C#-a.