Warum führt Mehrfachvererbung mit überladenen Funktionen zu Mehrdeutigkeiten in C?

Funktionsüberladung mit unterschiedlich typisierter Mehrfachvererbung

In der objektorientierten Programmierung ermöglicht die Mehrfachvererbung einer Unterklasse, Methoden und Attribute von mehreren zu erben Elternklassen. Wenn jedoch mehrere übergeordnete Klassen Methoden mit demselben Namen, aber unterschiedlichen Signaturen definieren (überladene Funktionen), kann es bei Funktionsaufrufen zu Mehrdeutigkeiten kommen. Dieser Artikel erklärt, warum überladene Funktionen mit demselben Namen und unterschiedlichen Signaturen bei Mehrfachvererbung nicht als solche behandelt werden und untersucht mögliche Lösungen.

Problembeschreibung

Bedenken das folgende Code-Snippet:

#include <iostream>

struct Base1 {
    void foo(int) {}
};

struct Base2 {
    void foo(float) {}
};

struct Derived : public Base1, public Base2 {
};

int main() {
    Derived d;
    d.foo(5); // Ambiguous call to 'foo'
}

In diesem Beispiel erbt die Derived-Klasse zwei überladene foo()-Funktionen von ihr übergeordnete Klassen, Base1 und Base2. Wenn wir jedoch versuchen, d.foo(5) aufzurufen, erhalten wir einen mehrdeutigen Aufruffehler, da der Compiler nicht bestimmen kann, welche foo()-Funktion aufgerufen werden soll. Dies liegt daran, dass beide Funktionen denselben Namen, aber unterschiedliche Argumenttypen haben.

Funktionsüberladung bei der Vererbung verstehen

Funktionsüberladung ermöglicht es einer Klasse, mehrere Methoden mit demselben Namen zu haben aber unterschiedliche Parameter. Jede überladene Funktion wird anhand der Anzahl, des Typs und der Reihenfolge ihrer Argumente unterschieden. Im Kontext der Einzelvererbung funktioniert die Funktionsüberladung wie erwartet: Der Compiler wählt die entsprechende Funktion basierend auf den im Funktionsaufruf verwendeten Argumenttypen aus.

Mehrfachvererbung und Mehrdeutigkeit

Bei Mehrfachvererbung werden die Regeln für die Funktionssuche jedoch komplexer. Wenn ein Funktionsname in einer Klasse C nachgeschlagen wird, berücksichtigt der Compiler alle Deklarationen dieser Funktion in C und seinen Basisklassen. Wenn mehrere Deklarationen derselben Funktion gefunden werden, werden alle Deklarationen entfernt, die durch eine andere Deklaration in einer abgeleiteten Klasse ausgeblendet werden.

Wenn die verbleibenden Deklarationen nicht alle aus Unterklassen desselben Typs stammen oder wenn die Menge eine enthält Wenn es sich um nicht-statische Member und Member aus unterschiedlichen Unterklassen handelt, kommt es zu Mehrdeutigkeiten und das Programm wird als fehlerhaft betrachtet. Dies ist genau die Situation im vorherigen Beispiel, in dem d.foo(5) sowohl Base1::foo(int) als auch Base2::foo(float) aufruft, was zu Mehrdeutigkeiten führt.

Mehrdeutigkeit auflösen

Um die Mehrdeutigkeit aufzulösen und den Code gültig zu machen, besteht eine Lösung darin, Deklarationen zu verwenden. Eine using-Deklaration führt einen Namen in den Bereich der aktuellen Klasse ein, der mit einem Namen aus einer anderen Klasse verknüpft ist. Im obigen Beispiel können wir Folgendes verwenden:

struct Derived : public Base1, public Base2 {
    using Base1::foo;
    using Base2::foo;
};

Durch die explizite Verwendung der using-Deklarationen geben wir an, welche Version von foo() aus jeder Basisklasse verwendet werden soll. Dadurch wird die Mehrdeutigkeit behoben und der Code kann erfolgreich kompiliert werden.

Fallback-Verhalten

Es ist erwähnenswert, dass der zweite Codeausschnitt in der ursprünglichen Frage ohne Fehler kompiliert wird, da die Funktion foo(float) innerhalb des Bereichs der abgeleiteten Klasse definiert ist. Wenn d.foo(5) aufgerufen wird, wird es daher ohne Mehrdeutigkeit in Derived::foo(float) aufgelöst.

Das obige ist der detaillierte Inhalt vonWarum führt Mehrfachvererbung mit überladenen Funktionen zu Mehrdeutigkeiten in C?. Für weitere Informationen folgen Sie bitte anderen verwandten Artikeln auf der PHP chinesischen Website!