Wie löst man Mehrdeutigkeiten in überladenen Funktionen mit Mehrfachvererbung in C?

Mehrdeutigkeit in überladenen Funktionen mit Mehrfachvererbung

In der objektorientierten Programmierung ermöglicht Mehrfachvererbung einer abgeleiteten Klasse, von mehreren Basisklassen zu erben. Dies kann jedoch zu Situationen führen, in denen mehrere geerbte Funktionen mit demselben Namen, aber unterschiedlichen Signaturen beim Kompilieren zu Mehrdeutigkeiten führen.

Bedenken Sie den folgenden Codeausschnitt:

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

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

struct Derived : public Base1, public Base2{
};

int main(){
    Derived d;
    d.foo(5);
}

Hier die abgeleitete Klasse erbt die foo()-Funktion sowohl von Base1 als auch von Base2 mit unterschiedlichen Parametertypen. Wenn der Aufruf von d.foo(5) in der Hauptfunktion erfolgt, kann der Compiler nicht bestimmen, welche Funktion aufgerufen werden soll, was zu der Fehlermeldung „mehrdeutiger Aufruf von foo“ führt.

Regeln für die Mitgliedersuche Bestimmen Sie die Mehrdeutigkeit

Um den Grund für diese Mehrdeutigkeit zu verstehen, müssen wir uns die im C-Standard definierten Regeln für die Mitgliedersuche ansehen. Wenn der Compiler nach der Definition einer Funktion sucht, berücksichtigt er zunächst alle Deklarationen der Funktion in der Klasse und ihren Basisklassen. Wenn es jedoch mehrere Deklarationen mit demselben Namen, aber aus verschiedenen Klassen gibt, werden alle versteckten Deklarationen oder Deklarationen entfernt, die von verschiedenen Unterobjekten stammen.

Im Fall mehrerer geerbter Funktionen, wenn die verbleibenden Deklarationen nicht vom selben Typ sind oder ein nicht statisches Mitglied aus verschiedenen Unterobjekten enthalten, führt die Suche zu Mehrdeutigkeiten. Dies ist die Situation, mit der wir im angegebenen Codeausschnitt konfrontiert sind.

Mehrdeutigkeit auflösen

Es gibt mehrere Möglichkeiten, die Mehrdeutigkeit in dieser Situation aufzulösen:

• Verwenden Sie vollständig qualifizierte Aufrufe: Vollständig qualifizieren Sie den Aufruf der foo()-Funktion mit Der Klassenname, wie z. B. d.Base1::foo(5) oder d.Base2::foo(5), gibt explizit die aufzurufende Funktion an.
• Verwendung mit Deklarationen: Mit der using-Deklaration kann explizit angegeben werden, welche Funktion verwendet werden soll. In der Derived-Klasse könnten wir beispielsweise Folgendes haben: using Base1::foo; Diese Anweisung würde die foo()-Funktion von Base1 in die Derived-Klasse importieren und sie zur Standardfunktion für Aufrufe mit einem ganzzahligen Parameter machen.
• Funktion neu definieren: Wenn es eine klare Präferenz gibt Für eine der geerbten Funktionen kann diese in der abgeleiteten Klasse mit der gewünschten Signatur neu definiert werden. Dies sollte nach Möglichkeit vermieden werden, da es zu möglichen Verwirrungen und Inkonsistenzen führen kann.

Im angegebenen Codeausschnitt funktioniert das zweite Beispiel, da es nur eine foo()-Funktion im Bereich der Derived-Klasse gibt . Der Aufruf d.foo(5) ruft tatsächlich die Funktion void foo(float) auf.

Fazit

Mehrere geerbte Funktionen mit unterschiedlichen Signaturen können beim Kompilieren zu Mehrdeutigkeiten führen. Das Verständnis der Member-Lookup-Regeln und die Verwendung von Techniken wie vollständig qualifizierten Aufrufen oder der Verwendung von Deklarationen können dabei helfen, diese Mehrdeutigkeiten zu beseitigen und einen ordnungsgemäßen Funktionsaufruf sicherzustellen.

Das obige ist der detaillierte Inhalt vonWie löst man Mehrdeutigkeiten in überladenen Funktionen mit Mehrfachvererbung in C?. Für weitere Informationen folgen Sie bitte anderen verwandten Artikeln auf der PHP chinesischen Website!