问为什么realmin > eps(0)？

EN

这是一个浮点问题。你应该去看看denormal numbers上的资料。

简而言之，realmin返回最小的正规格化浮点数。但也有可能有比这个小的非正规化数字，并且仍然可以用浮点表示，这是eps(0)返回的。

快速解释非正规数

二进制浮点数如下所示：

1.abcdef * 2^M

其中abcdefg分别是0或1，M是-1022 <= M <= 1023范围内的数字。这些被称为归一化浮点数。可能的最小规范化浮点数是1 * 2^(-1022)。

非正规化的数字如下所示

0.abcdef * 2^(-1022)

因此，它们可以采用小于最小可能规范化浮点数的值。非规格化数在-realmin和realmin之间线性插值。

也许这是一个定义问题，这就是我在eps文档中看到的：

For all X of class double such that abs(X) <= realmin, eps(X) = 2^(-1074)