Antwort.

Go hat strenge Regeln für die Initialisierung von Paketen, Variablen und Funktionen beim Starten des Programms. Der Hauptmechanismus ist die Ausführung von Init-Funktionen und die Initialisierung globaler Variablen. Ein korrektes Verständnis dieser Prozesse ist wichtig, um Fehler und unerwartete Effekte zu vermeiden.

Historie der Frage:

In Go wurde von Anfang an eine strenge Trennung der Startphasen eingeführt: Deklaration, Initialisierung und weitere Ausführung des Codes. In Sprachen wie C/C++ werden oft Konstruktoren für globale Variablen verwendet, während in Go die Reihenfolge der Initialisierung deterministisch ist, aber es gibt eigene Nuancen.

Problem:

Es ist leicht, in die Falle zu tappen, wenn die Initialisierung globaler Variablen oder der Aufruf von Init zu wechselseitigen oder zyklischen Situationen zwischen Paketen führt. Das ist schwer nachzuvollziehen, und Programme können sich anders verhalten, als der Entwickler erwartet, insbesondere bei versteckten Abhängigkeiten oder der Hermetisierung von Status beim Start.

Lösung:

Pakete in Go werden in der Reihenfolge initialisiert, die durch ihre Abhängigkeiten bestimmt wird: zuerst Abhängigkeiten, dann das aktuelle Paket. Zuerst werden package-level Variablen (in der Reihenfolge ihres Auftretens in der Quelldatei) initialisiert, dann wird jede Init()-Funktion aufgerufen, wenn eine vorhanden ist. Man kann mehrere Init() in einer Datei deklarieren. Die Reihenfolge der Initialisierung zwischen Dateien eines Pakets ist nicht definiert (und dies kann zu Fehlern führen).

Beispielcode:

// a.go
package main
import "fmt"
func init() {
    fmt.Println("init from a.go")
}

// b.go
package main
import "fmt"
func init() {
    fmt.Println("init from b.go")
}

Das Ergebnis der Ausführung dieser Init-Funktionen ist zwischen Dateien eines Verzeichnisses unvorhersehbar, aber immer vor der Funktion main().

Hauptmerkmale:

Zuerst die Initialisierung der Abhängigkeiten, dann das aktuelle Paket.
Initialisierung der package-level Variablen in der Reihenfolge der Deklaration, und erst dann werden alle Init-Funktionen aufgerufen.
Die Reihenfolge des Aufrufs von Init-Funktionen zwischen Paketdateien ist nicht definiert (kann von Build zu Build variieren).

Tricks und Fallen.

Kann man sich auf die Reihenfolge der Ausführung von Init-Funktionen in verschiedenen Dateien eines Pakets verlassen?

Nein! Go garantiert nicht die Reihenfolge zwischen Init-Funktionen verschiedener Dateien in einem Paket. Hoffnungen auf eine bestimmte Reihenfolge können in schwer fassbare Fehler und Zerfall der Geschäftslogik münden.

Könnten globale Variablen zu dem Zeitpunkt, an dem die Init-Funktion ausgeführt wird, nicht initialisiert sein?

Nein — alle globalen Variablen des Pakets werden strikt in der Reihenfolge der Deklaration vor allen Init-Funktionen dieses Pakets ausgeführt. Ausnahmen sind lediglich kreuzweise Initialisierungen zwischen Paketen (siehe unten).

Wie vermeidet man zyklische Abhängigkeiten zwischen Init zwischen Paketen?

Go erlaubt keine zyklischen Importe auf Paketebene (das ist ein Compile-Zeit-Fehler), aber man kann in die Falle der indirekten Initialisierung tappen: A hängt von B ab, B von C und C (über eine globale Variable oder Init) ruft Code aus A auf. In solchen Fällen kann eine nicht offensichtliche Reihenfolge des Aufrufs von Init/globalen Konstruktoren entstehen.

Typische Fehler und Anti-Patterns

Hoffnung auf eine bestimmte Reihenfolge von Init-Funktionen zwischen Dateien eines Pakets.
Versteckte Initialisierung von Status über package-level Variablen (besonders mit Side-Effects).
Versuche, komplexe Geschäftslogik in Init-Funktionen zu integrieren.
Zyklische indirekte Erstellung von globalem Status (über Felder, Closures oder Funktionen).

Beispiel aus dem Leben

Negativer Fall

Im Team sind die Logiken der Initialisierung von Diensten in mehreren Init-Funktionen in verschiedenen Dateien ausgeführt. Eine Init hängt vom Ergebnis einer anderen ab, was zu zufälligem Verhalten zwischen Builds und beim Starten auf verschiedenen Servern führt.

Vorteile:

Verantwortungsbereiche im Code werden getrennt.
Bequem zur Verarbeitung beim Start.

Nachteile:

Unvorhersehbares Verhalten: Manchmal startet der Dienst nicht richtig, manchmal funktioniert er wie erwartet.
Schwer zu warten und zu diagnostizieren.

Positiver Fall

Alle Zustände und die Initialisierung erfolgen durch explizite Aufrufe in main(). Init-Funktionen werden ausschließlich zur Verfolgung des Starts und kleiner Überprüfungen verwendet.