Record-Funktionen bei Const-Deklaration?

[himitsu]

Man kann ja nun in Recods Funktionen und Prozeduren einbauen
und innerhalb dieser Funktionen ist es möglich den Record-Inhalt zu ändern.

Was passiert eigentlich, wenn man soeine verändernte Funktion aufruft, obwohl die Record-Variable als Konstante definiert ist?


Oder ist es möglich festzulegen welche Record-Funktionen nicht verwendet werden dürfen, sobald der Record nicht als Variable definiert wurde?

Bzw. ist es möglich in soeiner Record-Funktion rauszubekommen, ob der Record als Konstante definiert ist?


gegeben ist z.B. diese Beispieldefinition:

Delphi-Quellcode:

type
  TMyRecord = Record
    Inhalt: Integer;
    Procedure MySet(x: Integer);
    Function  MyGet: Integer;
  end;

Procedure TMyRecord.MySet(x: Integer);
  Begin
    Inhalt := x;
  End;

Function TMyRecord.MyGet: Integer;
  Begin
    Result := Inhalt;
  End;

Delphi-Quellcode:

Var   A: TMyRecord;
Const B: TMyRecord = (Inhalt: (123));
// alternativ als Var- und Const-Parameter einer Prozedur

i := A.MyGet;
A.MySet(i);

i := B.MyGet;
B.MySet(i);    // dieses dürfte ja nicht aufrufbar sein, da B nicht vernderbar ist

bei einem Test in Delphi 2006 hab ich bemerkt, daß die Konstante veränderbar ist

Delphi-Quellcode:

Type TMyRecord = Record
    Inhalt: Integer;
    Procedure MySet(x: Integer);
  end;

Procedure TMyRecord.MySet(x: Integer);
  Begin  Inhalt := x;  End;

Procedure TForm2.FormCreate(Sender: TObject);
  Var   A: TMyRecord;
  Const B: TMyRecord = (Inhalt: (123));

  Begin
    A.MySet(456);
    B.MySet(456);

    If B.Inhalt = A.Inhalt Then Halt;
    // hier müßte B.Inhalt 123 sein, aber es ist 456
  End;

[Muetze1]

Wenn ich eine Instanz übergebe und den Parameter mit der Instanz als Const deklariere, dann kann ich trotzdem alle Methoden der Klasse aufrufen und auch mit allen Properties die Member frei verändern. Das Const bezieht sich in Delphi auf die Adresse die übergeben wird, also den Instanzenzeiger. Du kannst also nicht eine neue Instanz oder Nil zuweisen.

Bei deinen Records verhält es sich gleich, da diese auch als Zeiger übergeben werden und nicht direkt auf den Stack gepusht werden. Von daher kannst du den Zeiger nicht verändern, wohl aber den Inhalt.

Dies ist der Unterschied in der Const Angabe in Delphi zu C++, dort würde das Const das Objekt bzw. die Struktur zu einem Const machen und du könntest nichts verändern. Bei Delphi bezieht es sich auf die Adresse.

EDIT: Dieser Unterschied war nichtmal CodeGear so richtig bewußt, denn schon seit je her generiert der HPP Converter falsche HPPs aus den Pascalquellen. siehe QC #42782

[himitsu]

wär aber dennoch schön, wenn in Delphi ein als Konstante deinierter Record wirklich eine Konstante wär

hab noch etwas weitergetestet und bei den Klassenoperatoren funktioniert es zumindestens schonmal:

Delphi-Quellcode:

Type TMyRecord = Record
    Inhalt: Integer;
    Class Operator Implicit(Const x: Integer): TMyRecord;
    Procedure MySet(x: Integer);
  end;

Class Operator TMyRecord.Implicit(Const x: Integer): TMyRecord;
  Begin  Result.Inhalt := x;  End;

Procedure TMyRecord.MySet(x: Integer);
  Begin  Inhalt := x;  End;

Procedure TForm2.FormCreate(Sender: TObject);
  Var   A: TMyRecord;
  Const B: TMyRecord = (Inhalt: (123));

  Begin
    A := 456;
    B := 456;  // geht nicht
               // [Pascal Error] Unit2.pas(45): E2064 Left side cannot be assigned to

    A.MySet(456);
    B.MySet(456);  // geht !!!

    If B.Inhalt = A.Inhalt Then Halt;
    // hier müßte B.Inhalt 123 sein, aber es ist 456
  End;

[gammatester]

Ich kann das mangels Kompiler nicht nachvollziehen. Syntaktisch sind das doch Abarten von typed consts, und dazu dann zwei Fragen:

1. Hat die Option {$J+} einen Einfluß? ZB könnte {$J-} verhindern, daß inhalt geändert werden kann.

2. Kann man Const B: TMyRecord = (Inhalt: (123)); auch als globale "Konstante" definieren oder geht das (wie bei den normalen typed consts) bei den neuen Kompilern nur lokal?

Gruß Gammatester

Edit: Im Punkt 2 ist eigentlich var B: TMyRecord = (Inhalt: (123)); gemeint.

[himitsu]

1. da $WRITEABLECONST / $J per Standard schon deaktivert ist, hat es wohl keinen Einfluß.

2. müßte eigentlich auch global gehn.