浮点型的一个隐性特征

因子

这个论题来自今天我在segmentfault的回复。
有个人问

《C++ Primer》第五版，中文版。p33。
1.999999999999999（比转换之后少是 2 的少个 9） 也是 1。

微软免费 IDE 2015。g++ 好像也一样。

#include 
using namespace std;

int main()
{
    double d = 1.9999999999999999;
    int i = d;
    cout 

答复

呐，如果你C语言学习的足够牢靠的话，你应该知道double型的精度是小数点后15位，而如果你写了16位的话，编译器会认为你输入的值无效，而自动帮你转换为2.0。
而根据浮点型转整形的指令规范，1.x转换后均为1，类似的，2.0自然为2。

补充

实质上，你自己写个程序，然后右键汇编就可以看出来了，非常简单的问题。
我再补充下汇编代码就更加清楚了。

15个9的时候，编译后的代码中此处的值为 0x3ffffffffffffffb

16个9的时候，编译后的代码直接就是 0x4000000000000000，即2.0

即，这一过程是由编辑器进行的优化而已。