在KEIL中的double就是float，他们并没有任何差异，KEIL是面向单片机的，单片机并不是DSP或者FPGA，它对浮点数处理能力是相当有限的，事实上浮点数运算能力是CPU的一项重要性能指标。所以受限于硬件，编译器并不打算实现double。