C++ 警告 : division of double by zero

Question

案例 1:

#include <iostream>

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

它在没有任何警告的情况下编译并打印 inf。好的，C++ 可以处理被零除(see it live)。

但是，

案例 2:

#include <iostream>

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

编译器给出以下警告(see it live):

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

Answer 1

浮点除以零是well defined by IEEE并给出无穷大(根据分子 ^{的值(或 ±0 的 NaN} )的值是正数或负数。

对于整数，没有办法表示无穷大，语言定义的操作有 undefined behaviour因此编译器会帮助您远离该路径。

但是在这种情况下，由于分子是 double，除数 (0) 也应该提升为 double，因此没有理由在此处给出警告虽然没有对 0.0 发出警告，所以我认为这是一个编译器错误。