[OOP]: Instanzierung ohne Konstruktoraufruf

[Gambit]

Moin,

ich hab mir da mal ne ganz kleine Klasse geschrieben:

Delphi-Quellcode:

unit Unit2;

interface

type
  TMyClass = class(TObject)
    function add(a,b: Integer) :Integer;

  private
    { Private-Deklarationen }
  public
    { Public-Deklarationen }
  end;


implementation

function TMyClass.add(a,b: Integer) :Integer;
begin
  result:= a+b;
end;

end.

Soweit so gut. Folgende Form einer Anwendung verwendet dann diese Klasse:

Delphi-Quellcode:

unit Unit1;

interface

uses
  Windows, Messages, SysUtils, Variants, Classes, Graphics, Controls, Forms,
  Dialogs, Unit2, StdCtrls;

type
  TForm1 = class(TForm)
    Button1: TButton;
    procedure Button1Click(Sender: TObject);
  private
    addiere:TMyClass;
    { Private-Deklarationen }
  public
    { Public-Deklarationen }
  end;

var
  Form1: TForm1;

implementation

{$R *.dfm}

procedure TForm1.Button1Click(Sender: TObject);
begin
  showMessage(IntToStr(addiere.add(1,6)));
end;

end.

Ich vestehe nicht, dass das so funktioniert, ich dachte immer, ich müsste zunächst ein Objekt der Klasse instanziieren, ehe ich damit arbeiten kann. Also irgendwie fehlt mit im obigen Code ein:

Delphi-Quellcode:

addiere:= TMyClass.create

Kann mir da mal jemand OOP-mäßig auf die Sprünge helfen?

Gruß

Gambit

[mirage228]

Hi,

der Compiler prüft nicht, ob die Klasse bereits instanziert wurde.

In deinem Beispiel müsste der Zugriff auf "addiere" mit einer Zugriffsverletzung enden.

mfG
mirage228

[Gambit]

Zitat:

Zitat von mirage228

In deinem Beispiel müsste der Zugriff auf "addiere" mit einer Zugriffsverletzung enden.

Das ist es ja, was ich nicht verstehe, es gibt keine Zugriffverletzung, das Programm funktioniert...

Gruß

Gambit

[fiasko]

Hallo,

alle Variablen die du verwendest gehören ja nicht zum Objekt - folglich kann er die Methode ohne Probleme abarbeiten. Wenn du noch ne Objekt-Variable c einführen würdest in der das Result zwischengespeichert werden soll, dann würde er auch rausfliegen.

[Phoenix]

Zitat:

Zitat von mirage228

In deinem Beispiel müsste der Zugriff auf "addiere" mit einer Zugriffsverletzung enden.

Das ist so nicht ganz korrekt.

Du hast bei einem Objekt immer zwei Teile:
Einen Teil, der nur die Daten hält. Für diesen Teil muss ein Speicherbereich reserviert werden, der später wieder freigegeben werden sollte (Objekt Instanzieren & Zerstören).

Daneben gibt es aber noch den Codebereich. Der ist zur Laufzeit des Programmes immer an der gleichen Stelle, und wird auch nicht pro Objekt abgelegt sondern nur einmal pro Klasse.

Da Deine Variable den Typ der Klasse hat, zeigen die Methoden der Klasse immer schon auf die richtige Stelle im Speicher.

Bei jedem Methodenaufruf wird aber zusätzlich die 'Self-Referenz' übergeben. Das ist ein Pointer auf den Datenbereich des jeweiligen konkreten Objektes, und wird dazu verwendet, die verweise auf z.B. Variablen in dem Objekt aufzulösen.

Bei Deinem Aufruf ist das Objekt nicht instanziert, die Self-Referenz ist also ungültig. Die Adresse der Methode selber nicht. Würdest Du nun versuchen, bei dem Aufruf auf eine Variable Deiner Klasse zuzugreifen, dann würde das nicht gehen, da Du aber keinen Teil aus dem Datenbereich benötigst, kann das Programm ohne auf einen nicht existenten Speicher zu benötigen problemlos weiterlaufen.


Nachtrag: Mift.. schon wieder zu langsam :(

[mirage228]

Stimmt, ihr habt recht. :wall:

Also verhält sich diese Funktion "Addiere" doch wie eine class function oder? (Nur das man sie nicht mit TMyClass.addiere aufrufen kann) - Richtig?

mfG
mirage228