java - 为什么 Java.Time.Year 被任意限制在其原始限制以下?

标签 java time limit

Java.Time.Year 的 Java 8 文档页面指出,支持的最小和最大年份分别为 -999,999,999 和 999,999,999。

Field Summary

static int MAX_VALUEThe maximum supported year, '+999,999,999'.

static int MIN_VALUEThe minimum supported year, '-999,999,999'.


但是,存储年份值的原始类型变量是 int,它应该能够存储 -2,147,483,648 和 2,147,483,647 之间的值。

/**
 * The year being represented.
 */
private final int year;

为什么会有这些任意限制?

最佳答案

使用 999,999,999 的原因与代码中解析实现的任何特定问题无关。

它很可能已被选中,因为它是由 1 到 9 位数字组成的任何数字的最大值。我们不能用 INT 将完整的年份存储为 10 位数字,因为 9,999,999,999(坦率地说,还有 79% 的可能的 10 位数字)不能存储在整数中。需要注意的是,格式化程序本身可以无缝支持最多 64 位的单个数字,并且仅使用 MIN/MAX 进行错误检查。如果将最小值/最大值提高到 INT_MIN 和 INT_MAX,它仍然可以正常工作。超过 INT_MAX 的值会正确抛出错误并防止任何有关整数溢出的问题,因此无需担心任何类型的解析失败。

    ISO_LOCAL_DATE = new DateTimeFormatterBuilder()
            .appendValue(YEAR, 4, 10, SignStyle.EXCEEDS_PAD)
            .appendLiteral('-')
            .appendValue(MONTH_OF_YEAR, 2)
            .appendLiteral('-')
            .appendValue(DAY_OF_MONTH, 2)
            .toFormatter(ResolverStyle.STRICT, IsoChronology.INSTANCE);

对于传统 ISO,年份是 4 个数字,即 0-9999,或者有一个 +/-,即对于年份 999999 是 +999999。

值得注意的是,ISO_LOCAL_DATE 格式化程序默认接受 10 位数年份,不包括 +/- 符号,因此 +9,876,543,210 的值实际上已正确解析,但超出了 MAX_YEAR 的可接受值。

Text '+9876543210-10-31' could not be parsed: Invalid value for Year (valid values -999999999 - 999999999): 9876543210

DateTimeFormatterBuilder 中的所有内容最多支持64位,一次解析一个数字。所有这些值都被安全地解析为 BigIntegers,并在索引向右移动时小心地乘以 10,完成后被转换并存储在由字段名称和 long 组成的解析上下文中,即使字段 Months 和 Days 可以清楚地存储作为整数。这些后来被转换回它们相关的原语。

实际上,DateTimeFormatterBuilder 绝对可以使用 2,147,483,647 作为有效的最小/最大年份而不会中断。

实际上,“Java 接受不超过 9 位的任何年份值”的描述提出了一个具体的障碍,即在将两年相加时不会出现整数溢出或混淆,并减少了任何潜在的黑盒混淆,例如为什么 2,100,000,000 年有效,但 2,200,000,000 年中断。

关于java - 为什么 Java.Time.Year 被任意限制在其原始限制以下?,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/53731722/

相关文章:

haskell - list-to-tree 函数的渐近运行时

java - JPA Hibernate中的全局setMaxResult

mysql - 优化分页的 DISTINCT/LIMIT MySQL 查询

c# - 制作井字游戏的领域模型

java - 如何防止 Firebase 用户登录错误的登录屏幕

java - 建模对象状态及时变化的最佳实践?

mysql - 按组排序,每组限制

java - 如果 InputStream 以 '#' 开头,如何让它跳过一行?

android - 如果用户在设备中更改日期和时间,那么如何在 android 中获取当前日期和时间?

javascript - javascript小时到实际时间