c++ - 涉及文字的比较安全吗？

Closed. This question needs details or clarity。它当前不接受答案。

想改善这个问题吗？添加详细信息，并通过editing this post阐明问题。

9个月前关闭。

Improve this question

考虑以下代码:

#define LITERAL 1.0

int main()
{
    double x = LITERAL;

    if (x == LITERAL) return 1;
    else return 0;
}

是否可以保证为我们设置的1的任何数值 double 值返回LITERAL(不仅是1.0而是其他任何 double 常量)？

编辑:为什么由于“缺少详细信息”而关闭了该问题？这是一个定义明确的C / C++问题，并且得到了很好的答案。不需要更多详细信息，这是有关这些语言如何工作的一个普遍问题。

最佳答案

首先，您必须假设一个实现(尝试)符合附件F的实现，因为否则所有赌注都将失效；没有附件F(IEEE浮点数)C的情况下，所有浮点结果都是伪造的。

然后，根据语言规范，取决于您的C实现对FLT_EVAL_METHOD的定义，是或否。

如果值为0或1，则为是。文字被解释为double，并且double对象忠实地存储该值，并且相等运算符产生1(true)，以反射(reflect)该值。

如果值为2，则仅当文字是可表示的double的精确十进制表示形式或以足够的精度表示时才与long double的精度不同。否则(例如，如果它类似于0.1)，由于文字以long double格式被过分精确地解释，因此对double对象的初始化/赋值会将精度截断为标称double精度。然后保证相等比较结果为0(假)。您可以see this in action on Compiler Explorer(注意:删除volatile，可以看到它已优化为返回常数0)。

让事情变得更复杂的是，除非您使用-std=c..或-fexcess-precision=standard，否则GCC会默认将设置为，并且在C++模式下始终将设置为错误，并且clang / LLVM总是将其设置为错误。因此，在精度过高的目标(32位x86或m68k，唯一与FLT_EVAL_METHOD不为0或1的与现实世界相关的目标)上发生可怕的事情。要了解它们的严重程度，请参阅GCC issue 93806和(递归)所有与“另请参阅”相关的问题。

因此，出于实际目的，是的，对于除32位x86和m68k之外的所有内容，以及在正确的C实现中，对于它们而言，都不是(但可能是，因为您的编译器已损坏)。

关于c++ - 涉及文字的比较安全吗？，我们在Stack Overflow上找到一个类似的问题： https://stackoverflow.com/questions/60468129/

上一篇：c++ - 在 lambda 中通过引用捕获的对象的生命周期

下一篇：c++ - 在C++中使用std::thread和std::condition_variable进行自定义后台任务的SIGABRT

相关文章：

c++ - 继承和功能

c - 我想知道代码的输出

c - 在 OSX 上运行 Allegro 时出错

C 浮点零比较

floating-point - FMA : proof performance

c++ - 为什么 ucontext 有这么高的开销？

c++ - 在游戏中组织实体的最佳方式？

c++ - 你能帮我理解 "significant digits"在 float 学中的含义吗？

c++ - SDL_Loadbitmap 作为类中的静态成员

c - 通过卡住整个对象来释放链表节点