Adresse eines temporären in Go?

Question

Was ist der sauberste Weg, um einen Fall wie das zu handhaben:

func a() string { 
    /* doesn't matter */ 
} 

b *string = &a() 

Dies erzeugt den Fehler:

cannot take the address of a()

Mein Verständnis ist, dass Go fördert automatisch eine lokale Variable auf dem Heap, wenn die Adresse ist genommen. Hier ist klar, dass die Adresse des Rückgabewertes genommen werden muss. Was ist eine idiomatische Art, damit umzugehen?

Answer 1

Der Adressenoperator gibt einen Zeiger auf etwas mit einem "Home" zurück, z. eine Variable. Der Wert des Ausdrucks in Ihrem Code ist "obdachlos". wenn Sie wirklich ein * String benötigen, werden Sie es in 2 Schritten zu tun haben:

tmp := a(); b := &tmp 

Hinweis, dass es zwar in vollem Umfang gültig Anwendungsfälle für * string, oft sind, ist es ein Fehler, sie zu benutzen. In Go string ist ein Werttyp, aber ein billiger Typ (ein Zeiger und ein Int). String Wert ist unveränderlich, ändert sich eine *string ändert, wo die "Heimat" zeigt, nicht der String-Wert, so in den meisten Fällen *string wird überhaupt nicht benötigt.

Answer 2

a() zeigt nicht auf eine Variable, wie es auf dem Stapel ist. Du kannst nicht auf den Stapel zeigen (warum würdest du?).

Sie tun können, wenn Sie wollen

va := a() 
b := &va 

Aber was Ihr wirklich wollen, zu erreichen, ist etwas unklar.

Answer 3

Siehe den entsprechenden Abschnitt der Go language spec.

1. Etwas, das adressierbar ist: & kann nur verwendet werden, variable, pointer Indirektion, slice Indexierungsvorgang, Feldselektor eines adressierbaren struct, array Indexierungsvorgang eines adressierbaren Arrays; OR
2. Verbund wörtliche

Was haben Sie keiner von denen ist, so dass es nicht funktioniert.

Ich bin nicht einmal sicher, was es bedeuten würde, selbst wenn Sie es tun könnten. Die Adresse des Ergebnisses eines Funktionsaufrufs nehmen? In der Regel übergeben Sie einen Zeiger von etwas an jemanden, weil Sie möchten, dass sie dem Objekt, auf das gezeigt wird, zuweisen können und die Änderungen in der ursprünglichen Variablen sehen können. Aber das Ergebnis eines Funktionsaufrufs ist temporär; niemand sonst "sieht" es, wenn Sie es nicht zuerst etwas zuweisen.

Wenn der Zweck des Erstellens des Zeigers ist, etwas mit einer dynamischen Lebensdauer zu erstellen, ähnlich wie new() oder die Adresse eines zusammengesetzten Literals, dann können Sie das Ergebnis des Funktionsaufrufs einer Variablen zuweisen und die Adresse von nehmen Das.

Answer 4

Am Ende Sie schlagen vor, dass Go sollten Sie die Adresse eines beliebigen Ausdruck, zum Beispiel nehmen lassen:

i,j := 1,2 
var p *int = &(i+j) 
println(*p) 

Die aktuellen Go-Compiler druckt der Fehler: cannot take the address of i + j

Meiner Meinung nach, Erlauben dem Programmierer, die Adresse eines beliebigen Ausdrucks zu nehmen:

• Scheint nicht sehr nützlich zu sein (das heißt: es scheint eine sehr kleine Wahrscheinlichkeit zu haben, tatsächlich zu vorkommen Programme gehen).
• Es würde den Compiler und die Sprachspezifikation komplizieren.

Es scheint kontraproduktiv, den Compiler und die Spezifikation für wenig Gewinn zu komplizieren.

Answer 5

Ich war kürzlich in Knoten über etwas Ähnliches gebunden.

Zuerst spricht über Strings in Ihrem Beispiel eine Ablenkung ist, verwenden Sie eine Struktur statt, es zu etwas neu zu schreiben wie:

func a() MyStruct { 
    /* doesn't matter */ 
} 

var b *MyStruct = &a() 

Dies wird nicht kompilieren, weil Sie die Adresse eines nicht nehmen(). So tun:

func a() MyStruct { 
    /* doesn't matter */ 
} 

tmpA := a() 
var b *MyStruct = &tmpA 

Dies kompiliert, aber Sie haben einen MyStruct auf den Stapel zurück, ausreichend Platz auf dem Heap zugewiesen einen MyStruct zu speichern, kopiert dann die Inhalte aus dem Stapel auf dem Heap. Wenn Sie dies vermeiden wollen, dann schreiben Sie es wie folgt aus:

func a2() *MyStruct { 
    /* doesn't matter as long as MyStruct is created on the heap (e.g. use 'new') */ 
} 

var a *MyStruct = a2() 

Kopieren normalerweise billig ist, aber diese structs könnte groß sein. Noch schlimmer, wenn Sie die Struktur modifizieren und "bleiben" wollen, können Sie nicht kopieren und dann die Kopien modifizieren.

Wie auch immer, es macht umso mehr Spaß, wenn Sie einen Rückgabetyp der Schnittstelle {} verwenden. Die Schnittstelle {} kann die Struktur oder ein Zeiger auf eine Struktur sein. Das gleiche Kopierproblem kommt auf.