浮点常量

 

C

语言

头文件

类型支持

程序工具

变参数函数支持

动态内存管理

错误处理

日期和时间工具

字符串库

算法

数值

输入/输出支持

本地化支持

线程支持 (C11)

原子操作 (C11)

技术规范

 

C 语言

基本概念

关键词

预处理器

语句

表达式

初始化

声明

函数

杂项

C 的历史

技术规范

 

表达式

通用

值类别

求值顺序与顺序点

常量表达式

隐式转换

泛型选择

常量及字面量

整数常量

浮点常量

字符常量

字符串字面量

复合字面量

运算符

运算符优先级

成员访问与间接

逻辑运算符

比较运算符

算术运算符

赋值运算符

自增减

函数调用、逗号、条件运算符

sizeof

_Alignof (C11)

转型运算符

 

允许直接在表达式中使用浮点类型值。

语法

浮点常量是非左值表达式，拥有下列形式

significand exponent(可选) suffix(可选)

其中 significand 拥有形式

whole-number(可选) .(可选) fraction(可选)

exponent 拥有形式

e | E exponent-sign(可选) digit-sequence	(1)
p | P exponent-sign(可选) digit-sequence	(2)	(C99 起)

1) 十进制浮点常量的指数语法

2) 十六进制浮点常量的指数语法

解释

若 significand 以字符序列 0x 或 0X 开始，则浮点常量为十六进制浮点常量。否则，它是十进制浮点常量。 对于十六进制浮点常量，将 significand 转译为十六进制小数，而将指数的 digit-sequence 转译为有效数字要乘的 2 的整数次幂。 double d = 0x1.2p3; // 十六进制小数 1.2 （十进制 1.125 ）乘 2^3 ，即 9.0

(C99 起)

对于十进制浮点常量， significand 被转译为十进制小数，而将指数的 digit-sequence 转译为有效数字要乘的 10 的整数次幂。

double d = 1.2e3; // 十进制小数 1.2 乘 10^3 ，即 1200.0

无后缀浮点常量拥有 double 类型。若 suffix 为字母 f 或 F ，则浮点常量拥有 float 类型。若 suffix 为 l 或 L ，则浮点常量拥有 long double 类型。

浮点常量的求值结果是最邻近的可表示值，或紧邻于最邻近可表示值的最大或最小可表示值，以实现定义行为选择（换言之，翻译期的默认浮点方向是实现定义的）。

若 FLT_EVAL_METHOD 指示，可以转换浮点常量为大于其所指示类型的范围和精度。例如，常量 0.1f 可能在表达式中表现为 0.1L 。

(C99 起)

若 FLT_RADIX 为 2，则十六进制浮点常量的求值结果，是浮点常量所表示的正确舍入到目标类型的准确值。

(C99 起)

若有指数而不用小数部分，则可以忽略小数分隔符：

double x = 1e0; // 浮点数 1.0 （不用小数点）

对于十进制浮点常量， exponent 部分是可选的。若忽略它，则小数点不是可选的，而且 whole-number 或 fraction 必须存在。

double x = 1.; // 浮点数 1.0 （小数部分可选）
double y = .1; // 浮点数 0.1 （整数部分可选）

十六进制浮点常量的指数非可选，以避免误认 f 后缀为十六进制数字所导致的歧义结果。

(C99 起)

注意

默认舍入方向和精度在浮点常量转换成内部表示时有效，而且不会引发浮点异常，即使 #pragma STDC FENV_ACCESS 生效（对于字符串的执行时转换，可使用 strtod ）。注意它和浮点类型的算术常量表达式有别。

浮点常量中的字母是无关大小写的： 0x1.ep+3 与 0X1.EP+3 表示同一浮点值 15.0 。

setlocale 中指定的小数点对浮点常量语法无效：小数点始终是点。

不同于整数，不是每个浮点值都能以十进制或十六进制常量语法表示：宏 NAN 和 INFINITY 以及如 nan 的函数提供生成这些特殊值的方式。注意 0x1.FFFFFEp128f ，可能作为 IEEE float NaN 出现，实际上它在该格式中溢出到无穷大。

没有负浮点常量；如 -1.2 的表达式被视为算术运算符一元负作用于浮点常量 1.2 。注意可通过 -0.0 构造特殊值负零。

示例

运行此代码

#include <stdio.h>
 
int main(void)
{
    printf("15.0     = %a\n", 15.0);
    printf("0x1.ep+3 = %f\n", 0x1.ep+3);
 
    // 超出 double 范围的常量。
    printf("+2.0e+308 --> %g\n",  2.0e+308);
    printf("+1.0e-324 --> %g\n",  1.0e-324);
    printf("-1.0e-324 --> %g\n", -1.0e-324);
    printf("-2.0e+308 --> %g\n", -2.0e+308);
}

输出：

15.0     = 0x1.ep+3
0x1.ep+3 = 15.000000
+2.0e+308 --> inf
+1.0e-324 --> 0
-1.0e-324 --> -0
-2.0e+308 --> -inf

引用

• C11 standard (ISO/IEC 9899:2011):

• 6.4.4.2 Floating constants (p: 65-66)

• C99 standard (ISO/IEC 9899:1999):

• 6.4.4.2 Floating constants (p: 57-58)

• C89/C90 standard (ISO/IEC 9899:1990):

• 3.1.3.1 Floating constants

参阅