Aufruf abstrakter Methode führt zu Fehler

[Hansa]

Zitat von alzaimar:

..Schön wäre es, wenn der Compiler beim abstract-Ansatz wirklich einen Fehler moniert. Leider macht er das wohl nicht...

Der Compiler wird das nie machen KÖNNEN ! Wie denn ? Der hat ja nur einen Namen und das wars. Und er muss das abstrakte ja compilieren. Sonst ist bei virtual; abstract; ja nichts da. Beim Debugger gehts dann weiter. Wo soll denn der anhalten ?

Mir wirds aber auch zu blöd. Wer unbedingt unnötige Fehlermeldungen im eigenen Programm haben will, der soll die Implementierung (auch wenn sie leer sein sollte) eben einfach weglassen.

[FaTaLGuiLLoTiNe]

Eine Klasse ist abstrakt, wenn sie entweder selber abstrakte Methoden deklariert oder solche von einer Elternklasse erbt, aber nicht selbst implementiert (überschreibt).

Da das Deklarieren einer abstrakten Klasse an sich nichts Verwerfliches ist, gibt der Compiler natürlich keine Warnung aus, wenn er eine solche findet. Die Warnung kommt erst dann, wenn man versucht, eine abstrakte Klasse zu instanziieren.

Delphi-Quellcode:

program AbstraktTest;

{$APPTYPE CONSOLE}

uses
  SysUtils;

type
  TAbstraktBasis = class(TObject)                // Abstrakte Klasse, da abstrakte Methode deklariert
  public
    procedure Methode; virtual; abstract;
  end;

  TAbstraktAbgeleitet = class(TAbstraktBasis);   // Abstrakte Klasse, da abstrakte Methode geerbt

  TKonkretAbgeleitet = class(TAbstraktBasis)    // Keine abstrakte Klasse, da Methode implementiert
  public
    procedure Methode; override;
  end;

{ TKonkretAbgeleitet }

procedure TKonkretAbgeleitet.Methode;
begin
 WriteLn('Methode wurde implementiert');
end;

{ Programmcode }

var AbstraktBasis: TAbstraktBasis;
    AbstraktAbgeleitet: TAbstraktBasis;
    KonkretAbgeleitet: TKonkretAbgeleitet;

begin
 // Versuche, abstrakte Basisklasse zu instanziieren:
 AbstraktBasis := TAbstraktBasis.Create;

 // Versuche, abstrakte abgeleitete Klasse zu instanziieren:
 AbstraktAbgeleitet := TAbstraktAbgeleitet.Create;

 // Versuche, konkrete abgeleitete Klasse zu instanziieren:
 KonkretAbgeleitet := TKonkretAbgeleitet.Create;
end.

Zitat von Delphi 7 - Compiler:

[Warnung] AbstraktTest.dpr(36): Instanz von 'TAbstraktBasis' mit der abstrakten Methode 'TAbstraktBasis.Methode' wird angelegt
[Warnung] AbstraktTest.dpr(39): Instanz von 'TAbstraktAbgeleitet' mit der abstrakten Methode 'TAbstraktBasis.Methode' wird angelegt

Also ist die Aussage, der Compiler würde 'beim abstract-Ansatz keinen Fehler monieren', schlichtweg falsch. Oder habe ich jetzt das Thema verfehlt?

[Blup]

Die einzige Schwachstelle des Compilers ist, das er an dieser Stelle nicht warnt:

Delphi-Quellcode:

procedure TKonkretAbgeleitet.Methode;
begin
 inherited Methode; // <- keine Warnung 
 WriteLn('Methode wurde implementiert');
end;

Und dieser Programmierfehler wird auch hier die Ursache des Problems sein.

[FaTaLGuiLLoTiNe]

Hmmm... Tatsache. Das ist wirklich suboptimal.

[DeddyH]

Das finde ich nicht. Ansonsten müsste ich ja erst nachschauen, ob die Methode in der Elternklasse implementiert wurde. So juckt mich das nicht, mit dem inherited-Aufruf bin ich auf der sicheren Seite.

[SirThornberry]

Könntet ihr bitte zurück zum Thema kommen anstelle eine Grundsatzdiskussion zu führen?

Zitat:

So juckt mich das nicht, mit dem inherited-Aufruf bin ich auf der sicheren Seite.

Nur wenn du es nicht wie in obigem Beispiel geschrieben hast.

folgendes kann wirklich der Fehler sein:

Delphi-Quellcode:

procedure TKonkretAbgeleitet.Methode;
begin
 inherited Methode; // <- Fehlermeldung weil explizit eine abstrakte Methode aufgerufen wird 
 WriteLn('Methode wurde implementiert');
end;

aber sowas kann man umgehen indem man schreibt:

Delphi-Quellcode:

procedure TKonkretAbgeleitet.Methode;
begin
 inherited;
 WriteLn('Methode wurde implementiert');
end;

Am besten wäre Quelltext von der Stelle an der, der Fehler auftritt.