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!