X nie implementuje y (...metoda posiada odbiornik wskaźnika)

Ten błąd w czasie kompilacji pojawia się, gdy próbujesz przypisać lub przekazać (lub przekonwertować) konkretny typ do typu interfejsu; a sam typ nie implementuje interfejsu, tylko wskaźnik do typu .

Zobaczmy przykład:

type Stringer interface {
    String() string
}

type MyType struct {
    value string
}

func (m *MyType) String() string { return m.value }

Typ interfejsu Stringer ma tylko jedną metodę: String(). Każda wartość przechowywana w wartości interfejsu Stringer musi posiadać tę metodę. Stworzyliśmy również metodę MyType i stworzyliśmy metodę MyType.String() ze wskaźnikiem odbiornik. Oznacza to, że metoda String() znajduje się w zbiorze metod typu *MyType, ale nie w zbiorze metod MyType.

Gdy spróbujemy przypisać wartość MyType do zmiennej typu Stringer, otrzymujemy błąd o którym mowa:

m := MyType{value: "something"}

var s Stringer
s = m // cannot use m (type MyType) as type Stringer in assignment:
      //   MyType does not implement Stringer (String method has pointer receiver)

Ale wszystko jest ok jeśli spróbujemy przypisać wartość typu *MyType do Stringer:

s = &m
fmt.Println(s)

I otrzymujemy oczekiwany efekt (spróbuj na Go Playground):

something

Więc wymagania, aby uzyskać ten czas kompilacji błąd:

• wartość Nie-wskaźnik konkretny typ jest przypisany (lub przekazany lub przekształcony)
W tym samym czasie, w zależności od tego, co dzieje się w danym interfejsie, następuje jego konwersja.]} [[77]}Typ betonu ma wymaganą metodę interfejsu, ale z odbiornikiem wskaźnika

Możliwości rozwiązania problemu:

• należy użyć wskaźnika do wartości, którego zestaw metod będzie zawierał metodę ze wskaźnikiem odbiornik
• lub typ odbiornika musi zostać zmieniony na non-pointer , więc zestaw metod typu non-pointer concrete będzie również zawierał metodę(i tym samym spełniał interfejs). Może to być, ale nie może być wykonalne, tak jakby metoda musiała zmodyfikować wartość, odbiornik nie-wskaźnikowy nie jest opcją.

Struktury i osadzanie

Podczas używania struktur i osadzania , często to nie "ty" implementujesz interfejs (podaj metodę implementacja), ale Typ osadzony w struct. Jak w tym przykładzie:

type MyType2 struct {
    MyType
}

m := MyType{value: "something"}
m2 := MyType2{MyType: m}

var s Stringer
s = m2 // Compile-time error again

Ponownie błąd w czasie kompilacji, ponieważ zestaw metod MyType2 nie zawiera metody String() wbudowanej MyType, tylko zestaw metod *MyType2, więc następujące działania (spróbuj na Go Playground):

var s Stringer
s = &m2

Możemy również sprawić, że zadziała, jeśli umieścimy *MyType i użyjemy tylko non-pointera MyType2 (spróbuj na Go Playground):

type MyType2 struct {
    *MyType
}

m := MyType{value: "something"}
m2 := MyType2{MyType: &m}

var s Stringer
s = m2

Także, cokolwiek umieścimy (MyType lub *MyType), jeśli użyjemy wskaźnika *MyType2, zawsze będzie działać (spróbuj na Go Playground):

type MyType2 struct {
    *MyType
}

m := MyType{value: "something"}
m2 := MyType2{MyType: &m}

var s Stringer
s = &m2

Odpowiednia sekcja z spec (z sekcji typy struktur):

Biorąc pod uwagę typ struktury S i typ o nazwie T, promowane metody są zawarte w zbiorze metod struktury w następujący sposób:

• jeśli S zawiera anonimowe pole T, zbiory metod S i *S zawierają promowane metody z odbiornikiem T. Zbiór metod *S zawiera również promowane metody z odbiornikiem *T.
• jeśli S zawiera anonimowe pole *T, zbiory metod S i *S zawierają promowane metody z odbiornikiem T lub *T.

Innymi słowy: jeśli umieścimy Typ non-pointer, zestaw metod osadzania non-pointer pobiera tylko metody z odbiornikami non - pointer (z typu embedded).

Jeśli embed a pointer type, the method set of the non-pointer embedder gets methods with both pointer and non-pointer receivers (from the embedded type).

Jeśli użyjemy wartości wskaźnika do embeddera, niezależnie od tego, czy typ osadzony jest wskaźnikiem, czy nie, zestaw metod wskaźnika do embeddera zawsze pobiera metody zarówno z odbiornikami wskaźnika, jak i nie-wskaźnikowymi (od typu osadzonego).

Uwaga:

Jest bardzo podobny przypadek, mianowicie gdy masz wartość interfejsu, która otacza wartość MyType i próbujesz wpisać assert inną wartość interfejsu z niego, Stringer. W tym przypadku twierdzenie nie utrzyma się z powodów opisanych powyżej, ale otrzymamy nieco inny runtime-error:

m := MyType{value: "something"}

var i interface{} = m
fmt.Println(i.(Stringer))

Runtime panic (try it on the Go Playground):

panic: interface conversion: main.MyType is not main.Stringer:
    missing method String

Próbując przekonwertować zamiast type assert, otrzymujemy błąd w czasie kompilacji, o którym mówimy:

m := MyType{value: "something"}

fmt.Println(Stringer(m))