Warum läßt Delphi das zu: Pointertyp(pBla).Member???

[negaH]

Zitat:

Übrigens, in Assembler kennt man syntaktisch diesen Unterschied ebenfalls nicht.

Zitat:

... gib mal ein Beispiel. Das wäre mir total neu. Daß der BASM diverse Syntaxschweinereien zuläßt, ist mir bekannt ... in anderen Assemblern kannst du vieles aber nicht so machen!

Delphi-Quellcode:

asm
    MOV  EAX,[EDX]
    MOV  EAX,[EDX].Member
end;

In beiden Fällen steht in EDX ein Zeiger, die Derefernzierung erfolgt IMPLIZIT beim Zugriff auf den Zeiger. Der Zugriff auf ein Member eines Records der den Zeiger benötigt erfolgt ohne syntaktisch explizite Dereferenzierung !
Es ist egal ob EDX nun einen Zeiger auf einen allozierten Speicherbereich enthält, oder Self eines Objektes, oder ein stinknormaler Record im Stack ist.

Warum ist es egal ?
Ganz einfach, weil es syntaktisch keine Relevanz für uns hat, es ist uns informell schnuppe, worauf wie da im Moment zugreifen. Wichtig ist doch nur die Zielorientierung in unserer Sprache. Das Ziel ist uns wichtig, nicht der Weg dahin über einen Zeiger oder sonstwas.

Zeiger, Records, Objekt sind Datenkontainer die nach Möglichkeit nur durch und für den Compiler eine Relevanz haben. Wir entscheiden uns bei der Deklaration einmalig für einen dieser Typen damit der Compiler WEIS was WIR von ihm wollen. Aus unserer menschlichen Denksicht heraus ist es uns im Grunde schnuppe, hauptsache es ist laufsicher und effizient, und das sicherzustellen ist Aufgabe des Compilers.
Wir entwicklen immer neuere Sprachen und Compiler die immer mächtiger werden, warum ? Weil wir eben über solch lästiges Beiwerk nicht nachdenken wollen, für uns ist nur das finale Ziel interessant.

Warum gibt es die explizite Derefernzierung in PASCAL mit ^ ?
Ganz einfach, weil es historisch gewachsen ist. Weil bei der Entwicklung jeder Sprache die Entwickler nach links & rechts schauen und Konzepte anderer Sprachen kopierten !
.NET und C# sind doch auch nur abgeschaute Konzepte aus diversen anderen, älteren Sprachen. Wie eben PASCAL Delphi.

Zitat:

Schon mal auf PPTypeInfo zugegeriffen? Das geht so
S := ti^^.Name;

Ja, exakt das ist eine Konsequenz aus der expliziten Derefernzierung, scheußlich das ist (Zitat: Joda).

Denn gäbe es keine solche Dereferenzierungen dann müsste man bei der Sprachsyntax einer Deklaration eines Zeigers auf einen Zeiger ganz andere Schreibweisen einführen. Es macht keinen Sinn einen Zeiger auf einen Zeiger zu deklarieren, dies wird nur jegliche Typsicherheit im Compiler und informationstheoretische Sicherheit beim Lesen eines Source durch einen Menschen, reduzieren.

Gruß Hagen