代码中有多少种类型转换？

Question

以下代码中有多少种类型转换：

#include<stdio.h>
int f(int x)
{
    return (float)x;
}
int main()
{
    float x = f(5L);
    return 0;
}

在函数f() 中，返回值从int 提升为float。 在main() 中，f() 的参数从int 提升为long，int 再次提升为float。

有三种类型转换（促销）是否正确？

Answer 1

这个问题没有单一的正确答案——这完全取决于编译器和使用的系统。

一个好的编译器会通过除return 0;之外的所有内容，并且根本不会有任何转换。

即使编译器仍然保留函数，转换的次数仍然无法预测。 5L 到 int 的转换将在编译时解决。所以它不应该算作转换。同样在许多系统上，long 和 int 之间没有区别，因为它们都是 32 位（在许多系统上），这再次表明这不是转换。

在大多数系统上，导致int->float->int 的丑陋(float) 转换必须保留为float 不能代表int 的所有值。但是如果系统使用可以表示所有int 值的浮点格式，编译器可能会通过转换离开。 main 中的 int->float 必须保留。

所以我会说 0、1 或 3 次转换。使用优化进行编译时最有可能出现 0。

但真正的答案是 - 它依赖于系统和编译器。

Answer 2

在f:

int（参数）-> float（转换）-> int（返回值）

在main:

long（字面量）-> int（参数）

int（f的返回值）->float（变量x）

这是四次转化。

Answer 3

我看到总共 4 次类型转换（都不是“促销”）。

在f() 内部，x 的值通过强制转换运算符从int 显式转换为float，该转换的结果通过@987654328 从float 隐式转换为int @ 声明。

在main() 内部，常量5L 的值在作为参数传递给f 时隐式从long int 转换为int。调用f 的结果通过x 的初始化从int 隐式转换为float。

这是四次转换。 （return 0; 不涉及转换，因为0 已经是int 类型，这是main 的返回类型。）

考虑到一个相当聪明的编译器，很可能这些转换都不会产生任何非平凡的生成代码。由于没有使用任何值，整个程序可以简化为相当于

int main(void) { return 0; }

但所有四种转换都发生在 C 语义定义的“抽象机器”中。

（顺便说一句，int main(void) 比 int main() 更受欢迎。）