C ++警告：双零除数

情况1：

#include <iostream>

int main()
{
    double d = 15.50;
    std::cout<<(d/0.0)<<std::endl;
}

它在编译时没有任何警告和打印inf。好的，C ++可以处理零除（实时查看）。

但，

情况2：

#include <iostream>

int main()
{
    double d = 15.50;
    std::cout<<(d/0)<<std::endl;
}

编译器发出以下警告（实时查看）：

warning: division by zero [-Wdiv-by-zero]
     std::cout<<(d/0)<<std::endl;

为什么在第二种情况下编译器会发出警告？

是0 != 0.0吗

编辑：

#include <iostream>

int main()
{
    if(0 == 0.0)
        std::cout<<"Same"<<std::endl;
    else
        std::cout<<"Not same"<<std::endl;
}

输出：

Same

IEEE很好地定义了浮点除以零并给出无穷大（根据分子的值是正数还是负数^{（NaN对于±0）}）。

对于整数，无法表示无穷大，并且语言将操作定义为具有未定义的行为，因此编译器将帮助您引导您从该路径中清除。

但是，在这种情况下，由于分子为a double，除数（0）也应提升为双精度数，因此没有理由在不给出警告的情况下发出警告，0.0因此我认为这是编译器错误。

在Standard C ++中，这两种情况都是undefined behavior。任何事情都可能发生，包括格式化硬盘。您不应该期望或依赖“确定返回价”或任何其他行为。

显然，编译器决定在一种情况下发出警告，而在另一种情况下发出警告，但这并不意味着一个代码可以，而一个代码则不能。这只是编译器生成警告的一个怪癖。

根据C ++ 17标准[expr.mul] / 4：

二元/运算符得出商，二元%运算符得出第一个表达式除以第二个表达式的余数。如果/或的第二个操作数%为零，则行为不确定。

回答我最好的猜测此问题的讨论将是编译器发出警告之前的进行转换int到double。

因此，步骤将如下所示：

1. 解析表达式
2. 算术运算符 /(T, T2)，其中T=double，T2=int。
3. 检查std::is_integral<T2>::value是true和b == 0-这会触发报警。
4. 发出警告
5. 执行的隐式转换T2到double
6. 执行定义明确的划分（因为编译器决定使用IEEE 754）。

这当然是推测，并且基于编译器定义的规范。从标准的角度来看，我们正在处理可能的不确定行为。

请注意，根据GCC文档，这是预期的行为
（顺便说一句，该标志似乎无法在GCC 8.1中明确使用）

-Wdiv-by-zero
警告有关编译时整数被零除的警告。这是默认值。要禁止显示警告消息，请使用-Wno-div-by-zero。没有警告将浮点除以零，因为这可能是获得无穷大和NaN的合法方法。

在这个答案中，我将不涉及UB / UB崩溃。

我只是想指出这一点0，并0.0 有不同的，尽管0 == 0.0评估为true。0是一个int文字，0.0也是一个double文字。

但是，在这种情况下，最终结果是相同的：d/0是浮点除法，因为它d是double，因此0隐式转换为double。

我会说 foo/0并且foo/0.0是不一样的。即，第一个（整数除法或浮点除法）的结果效果高度依赖的类型foo，而第二个（第二个结果将始终是浮点除法）则并非如此。

两者是否为UB无关紧要。引用标准：

允许的不确定行为范围包括完全忽略情况并产生不可预测的结果， 到以环境特征的记录方式在翻译或程序执行期间的行为（带有或不带有诊断消息的行为）到终止翻译或执行（带有发布的行为）诊断消息）。

（强调我的）

考虑“将分配的括号用作真值 ”警告：告诉编译器您确实要使用分配结果的方法是通过显式，并在分配周围添加括号。结果语句具有相同的效果，但是它告诉编译器您知道自己在做什么。可以这样说foo/0.0：由于您使用0.0而不是明确地告诉编译器“这是浮点除法” 0，因此编译器信任您，并且不会发出警告。

这看起来像gcc错误，的文档-Wno-div-by-zero 明确指出：

不要警告编译时整数除以零。没有警告将浮点除以零，因为这可能是获得无穷大和NaN的合法方法。

在[expr.arith.conv]中涉及的常规算术转换之后，两个操作数都将是double：

许多期望算术或枚举类型的操作数的二进制运算符都以类似的方式引起转换并产生结果类型。目的是产生一个通用类型，它也是结果的类型。这种模式称为通常的算术转换，其定义如下：

...

— 否则，如果其中一个操作数为double，则另一个应转换为double。

和[expr.mul]：

*和/的操作数应为算术或非范围枚举类型；％的操作数应具有整数或无作用域的枚举类型。 通常对操作数进行算术转换，并确定结果的类型。

关于浮点除零是否为未定义行为以及不同的实现方式如何处理似乎是我的答案。TL; DR; 看起来gcc符合附件F的浮点数除以零，所以undefined在这里不起作用。对于c来说答案是不同的。

浮点除以零的行为与整数除以零的行为不同。

在IEEE浮点 + INF和-INF之间的标准分化带来，而整数不能存储无穷大。整数除以零结果是不确定的行为。浮点除以零是由浮点标准定义的，结果为+ inf或-inf。