Überladen virtueller Funktionen C++

[Tobias (Gast)]

Hallo!

Kann mir jemand erklären, warum ich im Beispiel unten die überladene 
Funktion "doAmazingStuff" mit einem Parameter für ein Objekt der 
abgeleiteten Klasse nicht aufrufen kann?

#include <iostream>

class A
{
public:
  void doBoringStuff(double a) { doAmazingStuff(a, a/2); };

public:
  void doAmazingStuff(double a) { doAmazingStuff(a, a/2); };
  virtual void doAmazingStuff(double a, double b) = 0;
};

class B : public A
{
public:
  void doAmazingStuff(double a, double b) { std::cout << a << " " << b << std::endl; };
};

int main()
{
  A* a = new B;
  // OK
  a->doAmazingStuff(8);

  B b;
  // OK
  b.doBoringStuff(8);
  // Compiler error
  b.doAmazingStuff(8);

  return 0;
}

Vielen Dank!
Tobias

[Semikoln (Gast)]

Welcher Compiler? Da sind doch Syntax-Fehler drin, oder?

[Tobias (Gast)]

Standard GNU Compiler.

Keine Syntaxfehler.

Nur die Zeile "b.doAmazingStuff(8);" erzeugt folgenden Fehler:

test.cpp:29: error: no matching function for call to 
‘B::doAmazingStuff(int)’
test.cpp:16: note: candidates are: virtual void 
B::doAmazingStuff(double, double)

[Klaus W. (mfgkw)]

http://www.parashift.com/c++-faq-lite/strange-inheritance.html#faq-23.9

[Tobias (Gast)]

Vielen Dank! Das beantwortet meine Frage.

[Semikoln (Gast)]

Tobias schrieb:
> Keine Syntaxfehler.
>
> Nur die Zeile "b.doAmazingStuff(8);" erzeugt folgenden Fehler:
>
> test.cpp:29: error: no matching function for call to
> ‘B::doAmazingStuff(int)’
> test.cpp:16: note: candidates are: virtual void
> B::doAmazingStuff(double, double)

Ja aber bitte schön!

Überladen wird der 'double, double' und aufgerufen mit 'double' (oder 
int). Das ist doch ein Fehler, oder?

[Karl H. (kbuchegg)]

Und um die Frage nach dem 'warum' zu beantworten.

Das ist eine direkte Folge des Aufsuchalgorithmuses, den der Compiler 
benutzt um die richtige Funktion auszuwählen.

Der Compiler beginnt bei der abgeleiteten Klasse und arbeitet sich in 
Richtung Basisklasse vor. Er ist dabei auf der Suche nach der ersten 
Klasse, die eine oder mehrere Funktionen des angegebenen Namens enthält. 
Ist die Klasse erst einmal gefunden, dreht sich die Entscheidung nur 
noch darum, welche der Funktionen mit ihrer Parameterliste am besten zu 
den Argumenten passt. Falls gar keine passt, dann ist das ein Fehler, 
der Compiler beginnt nicht erneut sich in Richtung Basisklasse 
vorzuarbeiten und in einer Basisklasse eine besser passende Funktion zu 
finden.

In der Kurzfassung:
  zuerst wird ausgewählt, welche Klasse zuständig ist.
  dann wird aus dem Satz von verfügbaren Funktionen die am besten
  passende ausgewählt.


Da deine Klasse B eine Funktion

   void doAmazingStuff(double a, double b)

enthält, ist sie die Klasse unter deren Funktionen 'doAmazingStuff' 
ausgewählt wird.
Und da gibt es nun mal nur die eine, die 2 double nimmt.
Das ist aber unvereinbar mit

    b.doAmazingStuff(8);

und daher gibts den Fehler.

Die Klasse A, mit ihrer zusätzlichen Funktion doAmazingStuff, war 
überhaupt nie auch nur Kandidat, der in Betracht gezogen worden wäre.

Daher sagt man auch: Ein Funktion in einer abgeleiteten Klasse überdeckt 
(engl.: to hide) alle Funktionen gleichen Namens in den Basisklassen.