c++ - 浮点运算的精度

Question

浮点运算通常是对相应算术运算的近似，因为在很多情况下精确的算术结果不能用内部数字格式来表示。但是，如果我有一个程序，其中所有数字实际上都可以用 IEEE 754 单精度精确表示，会发生什么情况？举个例子:

float a = 7;
float b = a / 32.0;
float c = a + b;
float d = c - a;
assert( d == b );

是否可以安全地假设在这种情况和类似情况下，数值计算的结果与精确的算术结果相同？我认为这种代码适用于每台实际机器。这是正确的吗？

编辑 这个问题不是关于标准所说的，而是关于现实世界的。我很清楚，理论上人们可以创建一个符合要求的引擎，但它会失败。我不在乎，但我想知道这是否适用于现有机器。

Answer 1

否，因为 c++ 标准不要求以 IEEE 754 格式存储浮点值。