浮点文字到IEEE-754二进制模式跨编译器的一致性

Question

这里有一个关于“跨平台浮点一致性”的问题和答案，但它只讨论运行时一致性（IEEE浮点）。

我对编译时一致性感兴趣，特别是：

如果我有一个特定的浮点数，并想在我的源代码中加入一个浮点文字，并让每个针对IEEE-754架构的编译器将其编译成与浮点（或双精度）相同的位模式：我需要做什么？

• 一定数量的数字

（我知道多年来一直存在争议，关于如何将浮点值从IEEE格式往返到十进制表示法，然后再往返，我不知道这是否是浮点文字和编译器（以及C标准）的问题。）

Answer 1

您可以利用这样一个事实，即虽然每个十进制浮点数在IEEE-754浮点表示法（使用二进制）中没有精确表示，但每个IEEE浮点数都有作为十进制浮点数的精确表示。

C语言规范在（“浮点文字”）中讨论了浮点文字。在描述了浮点文字的所有部分之后，它说

如果缩放值在其类型的可表示值范围内，则结果是缩放值（如果可表示），否则以实现定义的方式选择最接近缩放值的较大或较小的可表示值。

（这项工作在C 11晚期工作文件N3242和2018年的N4741中都是相同的。我在CPPFerence中找不到这一描述。）

这意味着像0.1这样的数字可以略小于或略大于所需值，其他像0.5或0.000000000 931322574615478515625（2^{-30）的数字在所有一致编译器中都具有该值。}

你需要取你的十进制数，在它之前或之后获得一个IEEE-754表示，然后将该表示转换为等效的十进制数。一旦你有了它，所有支持IEEE-754浮点格式的符合标准的编译器应该给你一个完全相同的常数。