Pointer: Zirkumflex Frage

[Blatt]

ICh weiß zwar nicht, wie der Compiler das handhabt,
aber ich hätte eigentlich davor gesagt..
Weil weshalb ein Dword herausnehmen und dann manipulieren, statt direkt
mov ecx,[pointer]; mov eax,[byte ecx]?

Zum Zirkumflex-Problem:
Also ist es nun gottgegeben, dass ^Datentyp nur bei Variablendeklarationen funktioniert?

[Satty67]

Zitat von Blatt:

Also ist es nun gottgegeben, dass ^Datentyp nur bei Variablendeklarationen funktioniert?

Nein, bei Typdeklarationen und als Operator für Variablen.

..oder ein Operator, der auf Typen und Variablen angewandt werden kann. ^Byte ist ein Ausdruck und kein Typ, weshalb es auch nicht als Typ verwendet werden kann.

[Blatt]

Also

1.
type
PByte = ^Byte;

2.
var
test: ^Byte;

und 3.?

Nebenbei: weshalb kann das Record eigentlich benutzt werden, bevor es definiert ist?

type
PXxx = ^TXxx;
TXxx = record
end;

PS: Aber die Sprache Pascal scheint ja doch, trotz ihres Alters, hier und da ein paar Mängel zu haben und kommt an manchen Stellen etwas sehr statisch benutzbar herüber..

[Satty67]

Delphi-Quellcode:

type
  PXxx = ^TXxx;

Weil der Compiler hier weis, das es ein Pointer werden soll und der erforderliche Speicherplatz bekannt ist. Das der Typ zu dem Zeitpunkt nocht nicht auf Existenx geprüft wird, ist im Prinzip nur ein Feature. Ist allerdings wirklich nicht typisch für Pascal.

Delphi ist ja nicht pures Pascal, sonder Object-Pascal mit Spracherweiterungen (mit Mängeln, wie meine Rechtschreibung um diese Zeit )

[alzaimar]

Das mit dem Operator war gut erklärt, stimmt aber nicht 100%.

Ich meine, das die VErwendung in einer Variablendeklaration ein Zugeständnis ist, mehr nicht. Denn eigentlich sollte sowas auch in einer Parameterdeklaration möglich sein. Isses aber nicht.
Aber vielleicht wollte N.Wirth auch sowas vermeiden:

Procedure Foo (Var Bar: Record BarFoo, Foobar :Integer; End; Blub : ^Byte);

[Blatt]

Also ist es wirklich nur sehr beschränkt implementiert und nicht so generisch wie in C?
uff, (beschäftige mich seit 2 Tagen mit Delphi) also manche Dinge stören mich echt erheblich an Object-Pascal und andere, sinnvolle Features vermisse ich sehr, bei denen ich nie gedacht hätte, dass so etwas in einem (halbwegs) aktuellen Delphi-Compiler fehlen würde..
Naja, danke für die Antworten

[Hawkeye219]

Hallo,

Zitat von alzaimar:

Ich meine, das die VErwendung in einer Variablendeklaration ein Zugeständnis ist, mehr nicht. Denn eigentlich sollte sowas auch in einer Parameterdeklaration möglich sein. Isses aber nicht.

Liegt es nicht eher daran, dass zwei Typen auch dann als unterschiedlich gelten, wenn sie die gleiche Struktur besitzen, aber unabhängig voneinander definiert wurden?

Delphi-Quellcode:

var
  a: ^Byte;
  b: ^Byte;
begin
  a := b;  // Fehler: inkompatible Typen
end;

Kompatible Typen bei der Verwendung von Prozedurparametern erreicht man, wenn für die Typvereinbarung ein Name eingeführt wird, der auf beiden Seiten - beim Aufruf und bei der aufgerufenen Routine - verwendet wird.

Gruß Hawkeye

[p80286]

Was die Typdeklaration angeht, kann ich mich erinnern, daß zuerst alle "Namen" gesammelt werden, und dann erst diesen Namen die entsprechenden Typen zugewiesen werden.
also ungefähr so:

Delphi-Quellcode:

Type 
 prec   =^rectyp;
 rectyp = record..........end;

 rec    =^record..........end;
 rectyp = record..........end;

Wenn man es mit dem zweiten Konstrukt versucht, bekommt man sofort die Meldung "Bezeicher erwartet" um die Ohren gehauen.
Was eigentlich hinreichend genau ist, ein Pointer weist immer auf einen beliebigen Typen hin.
Die sog. Typisierung ist eigentlich nur ein Schmankerl um ein paar Fehler zu vermeiden.

Für ein funktionierendes Programm ist so etwas durchaus ausreichend:

Delphi-Quellcode:

Type
  TListenelement = record
                     Daten : irgendwas;
                     next  : pointer;
                     last  : pointer;
                   end;
var
  ErstesElement,
  LetztesElement,
  AktuellesElement : pointer;

aber so ist es etwas einfacher:

Delphi-Quellcode:

Type
  PListenelement = ^TListenelement;
  TListenelement = record
                     Daten : irgendwas;
                     next  : PListenelement;
                     last  : PListenelement;
                   end;
var
  ErstesElement,
  LetztesElement,
  AktuellesElement : PListenelement;

Edith:
und dereferenzieren kann ich immer noch mit allen möglichen Typen!

Gruß
K-H