Go Fehler:

Question

Der folgende Code "eingebetteten Typ nicht ein Zeiger auf eine Schnittstelle sein kann," gibt Fehler bei der Kompilierung:

type IFile interface { 
    Read() (n int, err error) 
    Write() (n int, err error) 
} 

type TestFile struct { 
    *IFile 
} 

Fehler:

./test.go:18: embedded type cannot be a pointer to interface

Warum kann ich nicht *IFile einbetten?

Answer 1

Die Sprachspezifikation erlaubt dies nicht. Entsprechender Abschnitt aus der spec: Struct types:

A field declared with a type but no explicit field name is an anonymous field, also called an embedded field or an embedding of the type in the struct. An embedded type must be specified as a type name T or as a pointer to a non-interface type name *T , and T itself may not be a pointer type. The unqualified type name acts as the field name.

Ein Zeiger auf einen Schnittstelle Typ ist sehr selten sinnvoll, da eine Schnittstellentyp einen Zeiger oder einen Nicht-Zeiger-Wert halten kann.

gesagt haben, dass, wenn ein konkreter, die Ihren IFile Typ implementiert ein Zeigertyp ist, dann wird ein Zeigerwert in einem Schnittstellenwert IFile Typ gewickelt werden, so dass Sie immer noch IFile einbetten müssen, nur den Wert, der Arbeitsgeräte IFile wird ein Zeigerwert sein, z

// Let's say *FileImpl implements IFile: 
f := TestFile{IFile: &FileImpl{}} 

Edit: Antwort auf Ihren Kommentar:

Erstens ist dies Go, nicht C++. In Go sind Schnittstellen keine Zeiger, aber sie werden als ein Paar (type;value) dargestellt, wobei "Wert" ein Zeiger oder ein Nicht-Zeiger sein kann. Mehr dazu im Blogbeitrag: The Laws of Reflection: The representation of an interface.

Zweitens, wenn FileImpl ein Typ ist, f := TestFile{IFile : &FileIml} offensichtlich ein Fehler bei der Kompilierung ist, müssen Sie einen Wert von *FileImpl und &FileImpl ist eindeutig nicht. Du brauchst zum Beispiel eine composite literal welche in Form von &FileImpl{} ist, also sollte es so sein wie ich oben gepostet habe.