为什么数字后缀是必需的?

一般来说,我们试图设计语言,使有关类型的信息“流出”,而不是“流入”。也就是说,表达式的类型是通过首先分析它的每个子表达式来确定的,然后我们看看它是否与其上下文一致——我们通常不会走另一条路,从上下文推理到子表达式。当类型信息可以双向流动时,您可能会遇到一些非常难以分析的情况,就像lambda表达式一样。

对于以下简单情况来说,这很好:

float f = 7;

float f = (double)(int)(1 / 3 + 6e22 / (double)7);

是的,我知道这是一个人为的例子,但我们 尤其