Reflect Type.Field() Auftrag

Question

Ich kann es nicht in der Dokumentation zu finden, gibt es eine Garantie, dass die Reihenfolge aus den Feldern die Reihenfolge in der Struktur deklariert übereinstimmen? Ich weiß, es scheint logisch zu sein (aufgrund des Speicherlayouts), und es scheint auch so zu funktionieren, aber ich stelle nur sicher. Ich möchte nicht, dass Code später bricht, wenn dies keine Garantie ist.

Zum Beispiel, wenn ich

type Foo struct { 
    bar string `tag:"bar"` 
    baz string `tag:"baz"` 
    barbaz string `tag:"barbaz"` 
} 

hatte und ich lief diesen Code:

var c Foo 
t := reflect.TypeOf(c) 
nf := t.NumField() 

tags := make([]string, nf) 

for f := 0; f < nf; f++ { 
    tags[f] = t.Field(f).Tag.Get("tag") 
} 

Würde garantiert werden tags["bar", "baz", "barbaz"] sein?

Answer 1

Obwohl GC (der Standard-Go-Compiler) und GCCGO heute keine struct-Felder reorganisieren, würde ich mich nicht auf irgendeine Reihenfolge verlassen. Es gibt keine ausdrücklichen Garantien in der Dokumentation. Dies könnte in einer zukünftigen Version eines der Compiler geschehen.

Die Neuanordnung von Feldern ist eine Technik, die zum Ausrichten von Feldern innerhalb einer Struktur verwendet wird, ohne dass auf den Abstand zurückgegriffen werden muss (wodurch die Speicherdarstellung der Struktur unnötig aufgebläht wird). Sie können in der folgenden Fragen darüber lesen:

Why can't C compilers rearrange struct members to eliminate alignment padding?

Answer 2

Ich fragte auf golang-Nüsse darüber, und bekam an answer from Ian Lance Taylor es Erklärung Bestellung bestätigen, und wird sich nicht ändern.