Merkwürdiges Verhalten intrinsischer Routinen

[Dennis07]

Hallo DP-Community,
ich hab mal eine Frage. Diese ist zwar nicht überlebensnotwendug, ich glaube gedoch, dass es sich hierbei um einen kleinen "Bug" im Compiler handelt. Und zwar geht es um die intrinischen Routinen.
In den ganz alten Pascalversionen musste man ja den Rückgabewert eine Methode zuweisen oder weiter verarbeiten. Dieses wurde aber kurzerhand wieder verworfen, und so konnte man dann, wie es auch in C-Sprachen üblich war, Funktionen aufrufen, ohne deren Rückgabewert weiterhin zu nutzen.
Allerdings ist dies bei den "instrinischen Routinen" in Delphi bisher immer noch nicht möglich. Das ist zwar in den meisten Fällen nicht relevant, allerdings macht es meines Erachtens nach bei Methoden wie "Pi" keinen Sinn.
Denn wenn man ein weiteres verarbeiten von beispielsweise Pi erzwingen wollte, hätte man ja auch einfach Pi zu einer Konstanten machen können, hat man aber nicht.
Außerdem ergibt dieses Verhalten des DCC für mich keinen Sinn, da es ja sonst auch keine Rolle spielt, ob das Ergebnis weiterhin verarbeitet wird. Hier mal ein Beispiel:

Delphi-Quellcode:

function GetPi: Double;
begin
  Result := 3.141592{...};
end;

var
  F: Double;
begin
  3.141592; //Funktioniert nicht (logischerweise)
  F := 3.141592; //Funktioniert (logischerweise)

  GetPi; //Funktioniert (logischerweise)
  F := GetPi //Funktioniert (logischerweise)

  Pi; //Funktioniert nicht (?)
  F := Pi; //Funktioniert
  F := Pi(); //Funktioniert, beweist noch mal, dass System.Pi auch wirklich eine Methode und keine Konstante ist
end;

Hinzu kommt noch, dass der Fehler ja auch nicht irgendwie heißt "Wert muss zugewiesen werden" oder so, sondern "Anweisung erforderlich, aber Ausdruck vom Typ 'Extended' gefunden". Hier wird also suggeriert, dass System.Pi gar keine Methode, aber ein "Ausdruck" (Konstante oder Variable) sei. Und das widerspricht ja letztenendes dem Oben gezeigten.

Liege ich komplett falsch, oder stimmt da etwas nicht so ganz?

[Uwe Raabe]

Stimmt, Pi ist eine Function, wird aber vom Compiler offenbar wie eine Konstante behandelt.

Edit: Bei genauem hinsehen wird der Funktionsaufruf einfach in die Zuweisung einer Konstanten umgewandelt. Das ist halt Compiler-Magic.

[Dejan Vu]

Dann geht das hier vermutlich auch.

Delphi-Quellcode:

Pi();
//

Mittlerweile finde ich es gut (von C#), das parameterlose Methoden als 'Foo()' aufgerufen werden müssen, und nicht als 'Foo'. Da kommt dann noch nicht mal der Compiler durcheinander.

PS: Ich dachte immer, Pi wäre eine Konstante.

[Dennis07]

Zitat von Uwe Raabe:

Stimmt, Pi ist eine Function, wird aber vom Compiler offenbar wie eine Konstante behandelt.
Edit: Bei genauem hinsehen wird der Funktionsaufruf einfach in die Zuweisung einer Konstanten umgewandelt. Das ist halt Compiler-Magic.

Naja. Aber warum hat man denn dann nicht einfach eine Konstante eingefügt, wie man es ja beispielsweise auch bei "CompilerVersion" getan hat? Eine Methode zur bestimmung einer Konstanten macht ja ohnehin nicht sonderlich viel Sinn. Insofern verstehe ich dieses Verhalten oder diese Implementierung nicht so ganz.

Zitat von Dejan Vu:

Dann geht das hier vermutlich auch.

Eben nicht...

[Dejan Vu]

Ich auch nicht. Ich war mir sicher, dass das früher mal eine Konstante war.

[Dennis07]

Zitat von Dejan Vu:

Ich war mir sicher, dass das früher mal eine Konstante war.

Hm, möglich wärs. Hat jemand evl die Möglichkeit, das mal nachzuprüfen? Das würde mich interessieren. Ich selber habe leider die alten D-Versionen nicht mehr auf der Platte, sonst würd ich das selbst machen...

[Bjoerk]

In D2007 sagt die Hilfe, Pi sei die function Pi: Extended; in der system.pas. Pi ist dort aber nicht zu finden.

[samso]

Ich kann mir vorstellen, dass man die Idee hatte die Konstante aus dem Prozessor zu übernehmen, falls dieser das unterstützt. Intel-CPUs kennen den Befehl "FLDPI".

[uligerhardt]

WIMRE war Pi schon zu Turbo-Pascal-Zeiten eine Funktion. Ich könnte mir vorstellen, dass das was damit zu tun hat, dass früher die Gleitkommaunterstützung in der Hardware etwas "diffiziler" war als heutzutage (Coprozessor und so).

[Uwe Raabe]

Zitat von Dennis07:

Aber warum hat man denn dann nicht einfach eine Konstante eingefügt, wie man es ja beispielsweise auch bei "CompilerVersion" getan hat?

Wie gesagt, CompilerMagic. Je nach Typ der Zielvariablen wird eine passende Pi-Konstante als Extended, Double oder Single zugewiesen. Das ist effizienter als jedesmal die Umwandlung einer Extended-Konstante in den benötigten Datentyp zu konvertieren. Bei Extended werden dabei die 8087-Befehle bemüht, bei Single und Double werden im Compiler codierte Binärdarstellungen verwendet.