C 参考手册
- C 语言
- C 的历史
- 基本概念
- 表达式
- 声明
- 初始化
- 函数
- 语句
- 静态断言
- 字符常量
- 函数声明
- 函数定义
- 转义序列
- 翻译阶段
- 标识符
- 作用域
- 生存期
- 查找与命名空间
- ASCII 码表
- 类型
- 遵从性
- 算术类型
- restrict 类型限定符
- 类型
- 对象与对齐
- 主函数
- 未定义行为
- 内存模型
- if 语句
- switch 语句
- for 循环
- while 循环
- do-while 循环
- continue语句
- break 语句
- goto语句
- return 语句
- 值类别
- 求值顺序
- 整数常量
- 浮点常量
- 字符串字面量
- 复合字面量
- 常量表达式
- 隐式转换
- 成员访问运算符
- 逻辑运算符
- 比较运算符
- 算术运算符
- 赋值运算符
- 自增/自减运算符
- 其他运算符
- sizeof 运算符
- _Alignof 运算符
- 转型运算符
- C 运算符优先级
- 泛型选择
- 标量初始化
- 数组初始化
- 结构体与联合体初始化
- 指针声明
- 数组声明
- 枚举
- 存储类指定符
- const 类型限定符
- volatile 类型限定符
- 结构体声明
- 联合体声明
- 位域
- _Alignas
- typedef 声明
- 原子类型
- 外部及试探性定义
- inline 函数指定符
- _Noreturn 函数指定符
- 变长参数
- 内联汇编
- 可分析性
- 替用运算符及记号
- C 关键词
- 预处理器
- C 标准库头文件
- 类型支持
- 程序支持工具
- 变参数函数
- 错误处理
- 动态内存管理
- 日期和时间工具
- 字符串库
- 算法
- 数值
- 文件输入/输出
- 本地化支持
- 原子操作库
- 线程支持库
- 实验性 C 标准库
- 有用的资源
- 符号索引
- 注释
浮点常量
允许直接在表达式中使用浮点类型值。
语法
浮点常量是非左值表达式,拥有下列形式
significand exponent(可选) suffix(可选) | |||||||||
其中 significand 拥有形式
whole-number(可选) . (可选) fraction(可选)
|
|||||||||
exponent 拥有形式
e | E exponent-sign(可选) digit-sequence
|
(1) | ||||||||
p | P exponent-sign(可选) digit-sequence
|
(2) | (C99 起) | |||||||
解释
若 significand 以字符序列 对于十六进制浮点常量,将 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 (整数部分可选)
十六进制浮点常量的指数非可选,以避免误认 |
(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 构造特殊值负零。
示例
输出:
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