Java时间字符串切割：从"2023-09-20 00:01"提取时分并格式化为"00:01"

"Java时间字符串切割：从"2023-09-20 00:01"提取时分并格式化为"00:01""。"本文介绍了使用Java代码将时间字符串"2023-09-20 00:01"进行切割，只保留时分并格式化为"00:01"的两种方法。"。"使用Java中的日期时间类和正则表达式来实现对时间字符串的切割和格式转换。具体实现如下："。"java\nimport java.time.LocalDateTime;\nimport java.time.format.DateTimeFormatter;\nimport java.util.regex.Matcher;\nimport java.util.regex.Pattern;\n\npublic class TimeFormat {\n public static void main(String[] args) {\n String timeString = \"2023-09-20 00:01\";\n\n // 使用正则表达式提取时间部分\n Pattern pattern = Pattern.compile(\"\d{2}:\d{2}\");\n Matcher matcher = pattern.matcher(timeString);\n if (matcher.find()) {\n String time = matcher.group();\n\n // 将提取到的时间字符串转换为LocalDateTime对象\n LocalDateTime dateTime = LocalDateTime.parse(time, DateTimeFormatter.ofPattern(\"HH:mm\"));\n\n // 格式化为指定的时间字符串格式\n String formattedTime = dateTime.format(DateTimeFormatter.ofPattern(\"HH:mm\"));\n\n System.out.println(formattedTime); // 输出结果：00:01\n }\n }\n}\n"。"上述代码首先使用正则表达式\d{2}:\d{2}匹配时间部分，然后使用LocalDateTime类和DateTimeFormatter类进行时间的解析和格式化，最后得到格式为"HH:mm"的时间字符串"00:01"。"。