静态类型和转换

Question

假设我有一种类似算法的语言，具有静态类型和以下代码：

a := b + c * d;

其中a 是浮点数，b 整数，c 双精度和d 长整数。然后，该语言会将d 转换为long 以使用c 进行操作，并将b 转换为double 以使用c*d 结果进行操作。因此，在那之后，b+c*d 的 double 结果将被转换为 float 以将结果分配给a。但是，当它发生时？我的意思是，所有转换都发生在运行时还是编译时？

如果我有：

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

上面的代码有条件。如果编译器在编译时转换它，某些部分可能永远不会运行。这是正确的吗？

Answer 1

你不能在编译时进行转换，就像你不能在编译时进行加法一样（除非编译器可以确定变量的值，可能是因为它实际上是常量）。

编译器可以（并且确实）发出带有指令的程序，这些指令将变量的值相加和相乘。如果有必要，它还会发出指令，在计算之前将存储值的类型转换为不同的类型。

在编译时没有固定变量类型的语言必须在运行时执行检查并有条件地将值转换为不同的类型。但我认为“类 Algol”一般类别中包含的任何语言都不是这种情况。