c - DBL_MAX 的类型

Question

我在某处看到这段代码

printf("DBL_MAX     :   %g\n", (double) DBL_MAX);

Actor 是必要的吗？我在标准中找不到任何指定 DBL_MAX 必须实际具有(或提升为)类型 double 的内容。

Answer 1

DBL_MAX 被指定为宏，因此其本身没有类型。

1999 年 C 标准的要求是 DBL_MAX 必须扩展为一个至少为 1E+37 的常量值，但没有说明它的实际类型。因为它表示 double 可以表示的实现定义的最大值，逻辑上会建议扩展是一个可以转换为 double 的值，无需任何更改(例如损失精度)。

此逻辑允许但不要求 DBL_MAX 为 double 类型。它也可以是 long double 类型(因为还要求 long double 可以准确表示 double 可以表示的所有值)。

实际上，很难想象一个将 DBL_MAX 扩展为非 double 类型常量的实现，我当然从未听说过这样的实现。但这并不意味着它是必需的。 printf("DBL_MAX : %g\n", (double) DBL_MAX) 提供了一个保守的(在为允许的可能性做准备的意义上，即使它可能不会发生)保证double 类型的值被传递给 printf()。