来自文字的 C 浮点赋值

Question

在阅读book about 3D graphics 的一部分时，我遇到了以下作业：

const float vertexPositions[] = {
0.75f, 0.75f, 0.0f, 1.0f,
0.75f, -0.75f, 0.0f, 1.0f,
-0.75f, -0.75f, 0.0f, 1.0f,
};

为什么需要 f 后缀？文字的类型不能从变量的类型中确定吗？我相信没有 f 浮点文字被解释为双精度数，但是为什么当数组显然是浮点类型时呢？

Answer 1

虽然省略f 可能不会出错，但输入它是一种很好的做法，原因如下：

float num = 0.1;
(num == 0.1)

评估将产生0，因为num 作为浮点数舍入为0.1，而表达式中的0.1 是双精度数。所以它们实际上并不相同，尽管它们可能看起来是一样的。

Answer 2

不，永远不会推断文字的类型。如果没有f，它们就是double 文字，并且指令是一个可能会丢失精度的转换（在这种情况下并非如此，因为所有文字也都用浮点数精确表示）。

如果你这样做，你会得到同样的警告

float x = 3.0;

Answer 3

您示例中的浮点数组初始化在 C 中很好，就像它使用 double 常量一样。对于手头的值，如果它是一个用float 常量初始化的double 数组也可以，因为手头的值完全可以表示为float。即使在最后一种情况下，编译器也没有理由发出警告，尽管开发人员费心输入与最终类型不匹配的附加后缀会让人感到奇怪和困惑。

简而言之，作者只是很明确，在float 数组的情况下，这很好。

对于用十进制写的任意值，您不想用double 常量初始化float 变量，因为“double-rounding”（其中“double”一词表示两次，而不是指相同的类型姓名）。如果按如下方式初始化f1和f2，它们最终会得到不同的值，而f1实际上是最接近预期值1.01161128282547：

  float f1 = 1.01161128282547f;
  float f2 = 1.01161128282547;

解释是f2的情况下，十进制值1.01161128282547is first rounded到最近的double，再到最近的float。这两个步骤比直接舍入到最接近的float 引入更多错误，f1 就是这样初始化的。

Answer 4

1. 一些术语吹毛求疵。

   • 这不是赋值，而是初始化。
   • {}（例如1.0f）之间的不是文字，它们是常量。 C 只有 string literals 和 compound literals，仅此而已。在 C 中1.0 是一个浮点常量。

2. 在 C 语言中，右侧的类型（赋值或初始化）永远不会受到左侧类型的影响。右侧的值的类型始终是独立确定的。它仅由如何指定该值来确定。从不考虑左侧。然后，一旦知道右侧尺寸的类型，原始值将转换为左侧的类型。换言之，常量1.0 始终是double 类型的常量，即使您使用它来初始化float 对象也是如此。

3. 使用double 常量（如1.0）来初始化float 类型的对象并没有错。正如我上面所说，double 值将转换为float 类型。但是，一些编译器会发出有关该转换的警告，通知用户可能的精度损失。特别是为了消除警告人们在初始化float 对象时会使用显式浮点后缀（例如1.0f）或显式转换为float（例如(float) 1.0）。这看起来不太好，因为它违反了 DRY（不要重复自己）规则，但在现实生活中，这种处理警告的方法经常遇到。