C 表达式的计算顺序是什么

Question

int main(){
 char a = 5;
 float b = 6.0;
 int c = a + b;
 return c;
}

用gcc查看生成指令，上面的代码是这样评估的：

• 负载5，并将其转换为float作为a
• 加载 6 作为b
• 添加a和b
• 将结果转换为整数并返回

gcc 在处理表达式时不关心返回类型吗？ 它可以立即将b转换为int ，因为其他所有内容都是整数类型。

是否有规则可以解释如何首先评估表达式的一侧而不管另一侧是什么？

Answer 1

你问“有规定吗？” 当然是有规律的。 任何广泛使用的编程语言都会有一套庞大的规则。

你有一个表达式“a + b”。 a 有 char 类型，b 有 float 类型。 C 语言中有一个规则，编译器必须找到一个公共类型并将两者都转换为公共类型。 由于其中一个值是浮点类型，因此公共类型必须是浮点类型，即 float、double 或 long double。 如果您仔细查看规则，就会发现公共类型必须是 float 或 double，并且编译器必须记录这一点。 似乎编译器选择了“float”作为通用类型。

所以a从char转换为float，b已经是float，两者相加，结果为float类型。 然后有一个规则，要将 float 分配给 int，根据非常具体的规则进行转换。

任何 C 编译器都必须严格遵守这些规则。 有一个例外：如果编译器可以生成它应该生成的结果，那么如何生成都无关紧要。 只要你不能从外面区分它。 所以编译器可以把整个代码改成“return 11;”。

在 C 语言中，部分表达式的计算不考虑它们以后如何使用。 无论 a+b 是否分配给 int、char、double，它总是以相同的方式计算。 还有其他具有不同规则的语言，其中将 a+b 分配给 int 的事实可能会改变它的评估方式。 C 不是这些语言之一。

Answer 2

如果将其更改为：

int main(){
 char a = 5;
 float b = 6.6;
 int c = a + 2*b;
 return c;
}

那么很明显，您必须将浮动18.2保持到最后。

在没有优化的情况下，gcc 就好像这可能发生一样，并进行大量转换。

仅使用-O它已经自己进行数学运算并直接返回最终整数，即使在上面的示例中也是如此。

这里没有中间推理和捷径。 为什么从5+6.0简化为5+6而不是11 ？ 要么装傻，做cvtsi2ss xmm1,eax （和 back 等），要么直接告诉他们11 。