statischen Typen und Umbauten

Question

glaube, ich habe eine Algol-ähnliche Sprache, mit statischen Typen und den folgenden Code:

a := b + c * d; 

wo a ist ein Schwimmer, b eine ganze Zahl, c ein Doppel- und d eine lange . Dann wandelt die Sprache d in lang, um mit c zu arbeiten, und b verdoppelt, um mit c*d Ergebnis zu arbeiten. Danach wird das doppelte Ergebnis von b+c*d in Float konvertiert, um das Ergebnis a zuzuordnen. Aber, wenn es passiert? Ich meine, erfolgen alle Konvertierungen zur Laufzeit oder zur Kompilierzeit?

Und wenn ich:

int x; //READ FROM USER KEYBOARD. 
if (x > 5) { 
    a:= b + c * d; 
} 
else { 
    a := b + c; 
} 

Der obige Code conditionals hat. Wenn der Compiler dies zur Kompilierzeit konvertiert, kann ein Teil möglicherweise nie ausgeführt werden. Ist das richtig?

Answer 1

Sie können keine Konvertierung zur Kompilierzeit durchführen, genauso wenig wie eine Addition zur Kompilierzeit (es sei denn, der Compiler kann den Wert der Variablen ermitteln, vielleicht weil er tatsächlich konstant ist).

Der Compiler kann (und tut) ein Programm mit Anweisungen ausgeben, die den Wert von Variablen addieren und multiplizieren. Es gibt auch Anweisungen aus, die den Typ eines gespeicherten Werts vor der Berechnung in einen anderen Typ umwandeln, falls dies erforderlich ist.

Sprachen, die zur Kompilierungszeit keine Variablentypen haben, müssen zur Laufzeit Tests durchführen und Werte in verschiedene Typen konditionieren. Aber ich glaube nicht, dass dies bei einer der in der allgemeinen Kategorie "Algol-like" enthaltenen Sprachen der Fall ist.