Beseitigt der Kompositionsansatz von Go das Problem der fragilen Basisklasse vollständig?

Problem mit der fragilen Basisklasse in Go?

Obwohl die Zusammensetzung wichtiger ist als die Vererbung, wurden Bedenken geäußert, ob Go immer noch mit der „fragilen Basisklasse“ konfrontiert ist " Ausgabe. Dieser Artikel untersucht dieses Thema und erkundet mögliche Lösungen auf Sprachebene.

Das Problem der fragilen Basisklasse

Bei der klassischen objektorientierten Programmierung tritt das Problem der fragilen Basisklasse auf wenn eine Änderung an einer Basisklasse Unterklassen zerstört, die auf ihren Methoden basieren. Dies geschieht aufgrund der Überschreibung virtueller Methoden, bei der die tatsächliche Methodenimplementierung zur Laufzeit bestimmt wird.

Komposition in Go: Entschärft es das Problem?

Go verwendet stattdessen Komposition der Vererbung, bietet aber einen Einbettungsmechanismus, der die Methoden des eingebetteten Typs in den Einbettungstyp einschließt. Das Überschreiben von Methoden wird in Go jedoch nicht unterstützt. Alle Methoden des eingebetteten Typs werden hochgestuft und verbleiben im Methodensatz des Einbettungstyps.

Go-Ausnahme: Ein Beispiel

Um den Unterschied zwischen Go und den damit verbundenen Sprachen zu veranschaulichen Betrachten Sie das folgende Beispiel für das Problem mit der fragilen Basisklasse:

type Counter struct {
    value int
}

func (c *Counter) Inc() {
    c.value++
}

func (c *Counter) IncBy(n int) {
    c.value += n
}

type MyCounter struct {
    Counter
}

func (m *MyCounter) Inc() {
    m.IncBy(1)
}

In Java
Die Unterstützung von Java für das Überschreiben von Methoden schafft das Potenzial für das Problem mit der fragilen Basisklasse. Wenn die Counter.IncBy()-Methode folgendermaßen geändert würde:

void incBy(int n) {
    for (; n > 0; n--) {
        inc();
    }
}

MyCounter würde aufgrund einer Endlosschleife unbrauchbar werden, da MyCounter.Inc() Counter.IncBy() aufruft, was zu einem rekursiven Aufruf führen würde.

In Go
In Go führt dieselbe Änderung an Counter.IncBy() nicht zu demselben Problem. MyCounter.Inc() ruft weiterhin Counter.Inc() auf, das wiederum Counter.IncBy() aufruft, aber dadurch wird keine Schleife erstellt, da die Inc()-Funktion von Counter aufgerufen wird, nicht die von MyCounter. Counter hat keinen Verweis auf MyCounter, wodurch seine Unabhängigkeit gewahrt bleibt.

Schlussfolgerung

Während Gos Kompositionsmechanismus und das Fehlen von Methodenüberschreibungen das Problem der fragilen Basisklasse erheblich mildern In diesem Ausmaß ist es wichtig zu beachten, dass es nicht vollständig beseitigt wird.

Das obige ist der detaillierte Inhalt vonBeseitigt der Kompositionsansatz von Go das Problem der fragilen Basisklasse vollständig?. Für weitere Informationen folgen Sie bitte anderen verwandten Artikeln auf der PHP chinesischen Website!