Feststellen ob abstrakte Methode existiert

[mkinzler]

Zitat von Alfi001:

Zitat von mkinzler:

In neueren Delphiversionen kann man das aber verhindern

Und wie? Und ab welcher Delphi Version?

Vermutlich abe D2006
http://edn.embarcadero.com/article/34324

Zur Ursprungsfrage
http://stackoverflow.com/questions/8...lared-abstract

[himitsu]

Zitat von mkinzler:

Vermutlich abe D2006

Er meint wohl das class abstract.

Delphi-Quellcode:

type
  TAbstractClass = class abstract
    procedure SomeProcedure;
  end;

womit man eine ganze Klasse als Abstract kennzeichnen kann und diese sich dann (theoretisch) nicht mehr instantiieren läßt.
(also Compiler-Error anstatt Compiler-Warning sollte ausgelöst werden, wenn man hiermit versucht ein Objekt zu erzeugen)

[karlkoch]

Problematisch für Delphi sind dann aber Instanzierungen über Klassenreferenzen, also "class of TObject". Da sich hinter einer Klassenreferenz beliebige Klassen befinden können kann Delphi zur Compilezeit nur schlecht einschätzen, ob dort Klassen mit abstrakten Methoden verwendet instanziert werden.

Grüße,

karlkoch

[mkinzler]

Das Problem sollte theoretisch auch bei anderen Sprachen bestehen, wenn Objekte abgeleiteter Klassen Objekten von Basisklassen zugewiesen werden

[Khabarakh]

Zitat von mkinzler:

Das Problem sollte theoretisch auch bei anderen Sprachen bestehen, wenn Objekte abgeleiteter Klassen Objekten von Basisklassen zugewiesen werden

Welche andere Sprache hat denn ein vergleichbares Metaklassen-System ?

[mkinzler]

Je OOP Sprache müsste das IS-A Prinzip implementieren

[Khabarakh]

Lies dir karlkochs Beitrag bitte noch einmal durch. Es geht darum, dass der Compiler bei T.Create nur Einwand erheben kann, wenn der Typ T zu Kompilierzeit bekannt ist. Ist er bei quasi allen statisch typisierte Sprachen, muss er aber eben nicht in Delphi sein. Einen Nachteil gegenüber Sprachen, die statt Metaklassen nur komplett untypisierte Reflection kennen, stellt das aber natürlich nicht da .

Da class abstract aber sowieso bis zum heutigen Tage überhaupt nichts bewirkt, ist die Diskussion nur von theoretischer Bedeutung.

[mjustin]

Zitat von karlkoch:

Problematisch für Delphi sind dann aber Instanzierungen über Klassenreferenzen, also "class of TObject". Da sich hinter einer Klassenreferenz beliebige Klassen befinden können kann Delphi zur Compilezeit nur schlecht einschätzen, ob dort Klassen mit abstrakten Methoden verwendet instanziert werden.

Warum ist das problematisch? Der Compiler kann die Klassenreferenzen doch weiterhin unterstützen. Nur die Klassen, die der Entwickler dann von den abstrakten ableitet, muss der Compiler darauf prüfen, ob sie die notwendigen Methodenimplementierungen enthält.

Cheers,