Schnittstelle, die es selbst zurückgibt (klonbar)

Question

Ich versuche, eine klonbare Schnittstelle zu erstellen und einige Probleme zu bekommen, Strukturen zu bekommen, um die Schnittstelle zu implementieren. Es scheint, dass dies eine Grenze des Gehens ist, die in vielen anderen Sprachen nicht ist. Ich versuche zu verstehen, warum dieses Limit gerechtfertigt ist.

var _ Cloneable = test{} 

type Cloneable interface { 
    Clone() Cloneable 
} 

type test struct { 
} 

func (t *test) Clone() *test { 
    c := *t 
    return &c 
} 

Spielplatz: https://play.golang.org/p/Kugatx3Zpw

Followup Frage, da es scheint immer noch seltsam für mich. Dies gilt auch kompilieren nicht

var _ Cloneable = &test{} 

type Cloneable interface { 
    Clone() Cloneable 
} 

type Cloneable2 interface { 
    Clone() Cloneable2 
} 

type test struct { 
} 

func (t *test) Clone() Cloneable2 { 
    c := *t 
    return &c 
} 

Spielplatz: https://play.golang.org/p/jlyMDPF1WB

Answer 1

ich diesen Thread gefunden, die darüber spricht und die Antwort scheint covariant zu unterstützen Funktionstypen würden die Sprache für wenig Nutzen schwerer verständlich machen. https://github.com/golang/go/issues/7512

Zumindest haben sie sich bewusst dafür entschieden, eine von den meisten anderen Sprachen unterstützte Funktion nicht zu unterstützen. Ich kaufe es nicht wirklich, aber naja ...

Answer 2

eine Interface-Methode, um das Argument zu erfüllen und Rückgabetypen müssen die gleichen Typen in der Interface-Deklaration verwendet verwenden. Die Clone Methode muss ein Cloneable zurückgeben, die Schnittstelle zu erfüllen:

func (t *test) Clone() Cloneable { 
    c := *t 
    return &c 
} 

Die Clone Methode keine *test oder Cloneable2, weil diese Art ist nicht der Cloneabl e-Typ zurückgeben kann.

Der Zeigertyp implementiert die Schnittstelle:

var _ Cloneable = &test{} 

Da die test Typ Cloneable die Schnittstelle für die Clone Verfahren genügen muß zu kompilieren, diese compile time assertion ist nicht erforderlich.

playground example

(Die Frage ein sich bewegendes Ziel ist. Dies ist eine Antwort auf zwei vorherigen Änderungen in Frage.)