absolute in Klassenfeldern nicht erlaubt

[fliegermichl]

Ich habe eben versucht, eine absolute Definition in einer Klasse zu verwenden. Das akzeptiert der Compiler nicht.
Ist bei Delphi das gleiche.

Hat jemand eine Idee, weshalb?
Einen varianten Record kann man definieren.
Eine Property mit Setter/Getter Methode natürlich auch, die einen Typecast macht.

[Mathias]

Zeig doch ein Beispiel, das sieht man eher was du meinst.

[fliegermichl]

Wenn man das auskommentierte absolute mit reinnimmt, meckert der Compiler.
Die variante Recorddefinition macht exakt das gleiche und auch als Variablendeklaration im Hauptprogramm geht es.
Nur eben in der Klassendefinition nicht.

Code: Alles auswählen

program Project1;

type
  TTest = class
    EinRecord : record
     case Integer of
      1 : (EinByte : Byte);
      2 : (EinInteger : Integer);
    end;
    ZweiByte : Byte;
    ZweiInteger : integer;// absolute ZweiByte;
  end;

var
  EinByte : Byte;
  EinInteger : Integer absolute EinByte;

begin

end.

[Zvoni]

Das einzige was ich diesbezüglich finden konnte, ist die KI-Zusammenfassung von Google (und ja: Ich weiss wegen KI-Antworten, aber es ist wirklich das einzige was ich finden konnte)
Dummerweise (bzw. gar nicht überraschend) finde ich keinen Bezug auf einen Doku-Eintrag oder ähnliches, nicht mal Wiki. Nur eine Referenz auf einen Forum-Thread im intern. Forum, welches aber zur Frage keinen Bezug hat

You cannot use absolute directly on class instances. Instead, use it on local variables to alias class members, map class data to different types, or override memory restrictions.

No Class Fields: You cannot declare a class field (e.g., FMyVar: Integer absolute ...) directly inside a class type block.

Falls jemand eine "echte" Referenz zur Dokumentation findet, lösche ich das hier dann

[theo]

Ein Grund könnte sein, dass Records auf dem Stack und Klassen(instanzen) auf dem Heap liegen. Letztere sind eigentlich Zeiger.

Es meldet sich sicher bald jemand, der mehr Durchblick hat, warum das mit "absolute" so ist.

[fliegermichl]

Ein Grund könnte sein, dass Records auf dem Stack und Klassen(instanzen) auf dem Heap liegen. Letztere sind eigentlich Zeiger.

Das ist aber bei der varianten Recorddefinition auch so. Es geht ja eigentlich nur darum, auf einzelne Bestandteile einer Variablen elegant zugreifen zu können oder einen Typecast zu machen ohne diesen jedesmal explizit angeben zu müssen.

[af0815]

BTW: Der Code 1:1 kopiert, kompiliert bei mir ?!?!

Compile Project, Target: /home/xxxx/data/lazdev/stable_trunk/projects/project1: Success, Hints: 4
Hint: Start of reading config file /home/xxxx/data/lazdev/stable_trunk/fpc/bin/x86_64-linux/fpc.cfg
Hint: End of reading config file /home/xxxx/data/lazdev/stable_trunk/fpc/bin/x86_64-linux/fpc.cfg
Verbose: Free Pascal Compiler version 3.2.2-r0d122c49 [2026/01/17] for x86_64
Verbose: Copyright (c) 1993-2021 by Florian Klaempfl and others
Verbose: Target OS: Linux for x86-64
Verbose: Compiling /home/xxxx/data/lazdev/stable_trunk/projects/project1.lpr
project1.lpr(4,11) Hint: Local type "TTest" is not used
project1.lpr(16,3) Hint: Local absolutevar "EinInteger" is not used
Verbose: Linking /home/xxxx/data/lazdev/stable_trunk/projects/project1
Verbose: 21 lines compiled, 0.0 sec
Verbose: 4 hint(s) issued

[Zvoni]

Ein Grund könnte sein, dass Records auf dem Stack und Klassen(instanzen) auf dem Heap liegen. Letztere sind eigentlich Zeiger.

Es meldet sich sicher bald jemand, der mehr Durchblick hat, warum das mit "absolute" so ist.

Könnte mir eher vorstellen, dass das eher was damit zu tun hat, dass der Compiler die "Reihenfolge" der Felder verändern kann (und somit den Offset der Adresse bzw. das "du kannst nur verwenden was vorher bekannt ist"), falls dadurch eine effizientere Speichernutzung entsteht (Alignment usw.).

Ausserdem bezweifle ich, dass der Variant-Record und "absolute" denselben "Mechanismus" verwenden

Andererseits glaube ich mich daran zu erinnern, dass absolute nur auf eine Variablen-Instanz funktioniert, und eben nicht auf eine Typen-Deklaration.
Eben WEIL eine Variable eine Speicheradresse hat im Gegensatz zu einer reinen Typen-Deklaration.
Und Klassen-Felder sind nunmal Bestandteil einer Typen-Deklaration, und nicht einer Variablen-Instanz

[Mathias]

Ich vermute, in einem type geht dies nicht, nur bei var. Und eine ganze Klasse ist ja ein type.

Code: Alles auswählen

var
  i1:Integer;
  i2:Integer absolute i1; // geht

type
  a=Integer;
  b=Integer absolute a; // geht nicht

[fliegermichl]

Ich vermute, in einem type geht dies nicht, nur bei var. Und eine ganze Klasse ist ja ein type.

Code: Alles auswählen

var
  i1:Integer;
  i2:Integer absolute i1; // geht

type
  a=Integer;
  b=Integer absolute a; // geht nicht

Das ist ja klar, weil eine Typdeklaration ja keinerlei Adresse hat. Erst wenn eine Instanz von a deklariert wird, kann man eine Instanz von b via absolute an der gleichen Adresse definieren.

Aber wo wir schonmal dabei sind.

Was ist eigentlich der Unterschied zwischen diesen beiden Deklarationen?

Code: Alles auswählen

type
 a = Integer;
 b = type Integer;

[Zvoni]

Ich vermute, in einem type geht dies nicht, nur bei var. Und eine ganze Klasse ist ja ein type.

Code: Alles auswählen

var
  i1:Integer;
  i2:Integer absolute i1; // geht

type
  a=Integer;
  b=Integer absolute a; // geht nicht

Was aber (anscheinend? Nicht getestet) funktioniert ist das hier:

Code: Alles auswählen

Var
  k: TMeineKlasse;
  f: Integer Absolute k.MeinIntegerFeld;

[Socke]

Was ist eigentlich der Unterschied zwischen diesen beiden Deklarationen?

Code: Alles auswählen

type
 a = Integer;
 b = type Integer;

a ist ein Alias für Integer. b erzeugt einen eigenen Typen - das wäre insb. für RTTI wichtig. Ansonsten sind a und b weiterhin zuweisungskompatibel.

[theo]

a ist ein Alias für Integer. b erzeugt einen eigenen Typen - das wäre insb. für RTTI wichtig. Ansonsten sind a und b weiterhin zuweisungskompatibel.

Es gibt online ein Beispiel für Delphi, welches anscheinend für "Check(b)" nicht funktioniert mit Meldung:

compiler error: E2033 Types of actual and formal var parameters must be identical

FPC 3.2.2 meckert da aber nicht. Gibt es dafür eine Einstellung? "{$mode delphi}" ändert nichts daran.

Code: Alles auswählen

type
  Ta = string;       // type alias
  Tb = type string;  // compatible but distinct new type

procedure Check(var s: string);
begin
  ShowMessage(s);
end;

procedure TMain.Button2Click(Sender: TObject);
var
  a: Ta;
  b: Tb;
begin
  a := 'string of type Ta,';
  b := 'string of type Tb.';
  Check(a);
  Check(b);
end;