Odpowiedź.

Historia pytania:

Go wdrożył prostą, ale potężną koncepcję metod i interfejsów opartą na typowaniu kaczkowym. Metody można przypisywać tylko do typów nazwanych (struct lub alias), a interfejsy są zbiorem metod. To klucz do polimorfizmu i abstrakcji bez konieczności jawnego wskazywania implements.

Problem:

Programiści, którzy przybyli z Javy lub C#, często oczekują jawnych słów kluczowych implements lub extends i mylą się w różnicach między metodami z odbiornikami przez wartość i przez wskaźnik, co prowadzi do nieprzewidywalnego zachowania i błędów przy realizacji interfejsów.

Rozwiązanie:

Definicja metody i interfejsu:

type User struct {
    Name string
}

func (u User) Greet() string {
    return "Hello, " + u.Name
}

func (u *User) SetName(name string) {
    u.Name = name
}

type Greeter interface {
    Greet() string
}

Jeśli metoda ma odbiornik (u *User), to tylko *User realizuje interfejs, jeśli (u User) — oba typy realizują
Jeśli metoda przyjmuje odbiornik przez wartość, nie może zmieniać struktury

Kluczowe cechy:

Metody można deklarować tylko dla typów nazwanych
Sposoby wywoływania: przez wartość, przez wskaźnik, przez interfejs
Realizacja interfejsów — "niejawnie", deklaracja bez implements

Pytania z podchwytliwością.

Czy można zadeklarować metody dla typu aliasu z podstawowym typem int lub string?

Tak, jeśli jest to typ nazwany, na przykład:

type MyInt int
func (m MyInt) Double() int { return int(m) * 2 }

Czym się różni realizacja interfejsu przez metody z wskaźnikiem i wartością?

Jeśli metoda interfejsu jest zadeklarowana jako (T), to oba T i *T realizują interfejs. Jeśli (*T), tylko *T spełnia interfejs. To kluczowe dla przekazywania struktury do funkcji, które przyjmują interfejs.

Jak działa "zero value" dla interfejsu i co się stanie, jeśli wywołasz metodę na wartości nil?

Zmienna interfejsowa bez inicjalizacji jest równa nil, próba wywołania metody na nil-pole spowoduje panikę, jeśli nie została wdrożona jawna obsługa wskaźnika nil.

Typowe błędy i antywzorce

Zamieszanie między odbiornikami przez wartość i przez wskaźnik (z powodu którego interfejs nie jest realizowany)
Deklarowanie metod dla anonimowych struktur (niemożliwe)
Używanie interfejsów bez potrzeby, prowadzi do komplikacji w kodzie

Przykład z życia

Negatywny przypadek

Typ został zadeklarowany z metodami przez wskaźnik (*T), a interfejs oczekuje metod przez wartość (T), struktura nie kompiluje się przy próbie użycia w interfejsach. Próba deklaracji metody dla zmiennej typu []User, a nie dla typu User.

Zalety:

Prosta deklaracja metod

Wady:

Kompilator nie pozwoli zrealizować interfejsu
Błędy w czasie działania i compile-time

Pozytywny przypadek

Wszystkie metody realizujące interfejsy są zadeklarowane z poprawnym odbiornikiem. Nie używane są interfejsy tam, gdzie nie są potrzebne (typ konkretny tam, gdzie można, polimorfizm tam, gdzie to konieczne).