SimpleDateFormat严格限制日期转换setLenient(false)

        首先，大家可以看下下面的代码，预测下执行结果，2023-13-01转成Date，是会提示时间格式错误，还是能正常转化为Date对象？

public static void main(String[] args) {
        SimpleDateFormat sdf = new SimpleDateFormat("yyyy-MM-dd");
        String dateString = "2023-13-01";
        try {
            Date date = sdf.parse(dateString);
            System.out.println(date);
        } catch (ParseException e) {
            e.printStackTrace();
        }
    }

运行结果：

Mon Jan 01 00:00:00 CST 2024

分析：

        SimpleDateFormat的setLenient()方法用于设置日期解析的宽松性（lenient）。宽松解析表示解析器会尽可能地解释输入的日期字符串，即使输入的日期字符串与预期的日期格式不完全匹配。

        setLenient()方法的原理是通过设置内部的Calendar对象的lenient属性来控制日期解析的宽松性。内部的Calendar对象用于解析和格式化日期。

        默认情况下，SimpleDateFormat的解析是宽松的。这意味着解析器会尝试根据输入的日期字符串的最佳匹配来解析日期，即使输入的日期字符串与预期的日期格式不完全匹配。例如，如果日期格式是"yyyy-MM-dd"，解析器仍会尝试将"2023-13-01"解析为"2024-01-01"，因为它是宽松的。

        如果调用setLenient(true)，解析器将继续进行宽松解析。如果调用setLenient(false)，解析器将变得严格，并且在输入的日期字符串与预期的日期格式不完全匹配时，会抛出ParseException异常。

代码如下：

public static void main(String[] args) {
        SimpleDateFormat sdf = new SimpleDateFormat("yyyy-MM-dd");
        //严格校验时间格式
        sdf.setLenient(false);
        String dateString = "2023-13-01";
        try {
            Date date = sdf.parse(dateString);
            System.out.println(date);
        } catch (ParseException e) {
            e.printStackTrace();
        }
    }

运行结果：