Legendes Typ Behauptungen mit Schnittstellen und Zeiger in Go

Question

Lassen Sie uns das folgende Programm betrachten

type Fruit interface { 
    Color() string 
} 

type Apple struct { 
    color string 
} 

func (x *Apple) Color() string { 
    return x.color 
} 

func (x *Apple) Compare(y Fruit) bool { 
    _, ok := y.(*Apple) 

    if ok { 
     ok = y.Color() == x.Color() 
    } 

    return ok 
} 

func main() { 
    a := Apple{"red"} 
    b := Apple{"green"} 

    a.Compare(&b) 
} 

Nun beachten Sie die letzte Zeile, die a.Compare(&b) sagt. Hier gebe ich einen Zeiger auf Apple. Dies funktioniert korrekt, aber beachten Sie, dass meine Compare Funktion den Zeiger (y Fruit) nicht akzeptiert.

Nun, wenn ich die letzte Zeile ändern a.Compare(b) zu sagen, dann gibt er mir folgende Fehlermeldung:

cannot use b (type Apple) as type Fruit in argument to a.Compare: Apple does not implement Fruit (Color method has pointer receiver)

Was [go] ing hier auf?

Answer 1

Aus Gründen, die in this answer beschrieben sind, implementiert Apple nicht Fruit, aber *Apple tut. Wenn Sie Color auf Apple (statt *Apple) definieren, wird der Code kompiliert:

package main 

import (
    "fmt" 
) 
type Fruit interface { 
    Color() string 
} 

type Apple struct { 
    color string 
} 

func (x Apple) Color() string { 
    return x.color 
} 

func (x Apple) Compare(y Fruit) bool { 
    _, ok := y.(Apple) 

    if ok { 
     ok = y.Color() == x.Color() 
    } 

    return ok 
} 

func main() { 
    a := Apple{"red"} 
    b := Apple{"green"} 

    fmt.Println(a.Compare(b)) 
}