为什么这个C代码会生成double而不是float？

这个问题涉及到C语言的类型转换规则。在C语言中，当浮点数和整数相除时，结果会自动转换为浮点数类型（double），而不是float类型。这是因为在C语言中，整数和浮点数之间的运算会自动执行类型提升，将整数类型转换为浮点数类型。因此，如果要得到float类型的结果，需要在代码中进行显式类型转换。

例如，以下代码将得到double类型的结果：

int a = 1;
float b = 2.0;
float c = a / b;

而以下代码将得到float类型的结果：

int a = 1;
float b = 2.0;
float c = (float)(a / b);

在这个例子中，通过在除法运算前加上强制类型转换操作符（(float)），可以将结果转换为float类型。