现在有时间：“2023-07-12”，请问我怎样将他转为LocalDateTime形式呢？转成这种形式后他的值是多少？

要将日期字符串转换为LocalDateTime形式，您可以使用java.time.format.DateTimeFormatter类中的parse方法。以下是一个示例代码，将日期字符串转换为LocalDateTime形式并打印出来：

import java.time.LocalDateTime;
import java.time.format.DateTimeFormatter;

public class Main {
    public static void main(String[] args) {
        String dateString = "2023-07-12";
        DateTimeFormatter formatter = DateTimeFormatter.ofPattern("yyyy-MM-dd");
        LocalDateTime dateTime = LocalDateTime.parse(dateString, formatter);
        System.out.println(dateTime);
    }
}

在这个示例中，我们使用"yyyy-MM-dd"格式的DateTimeFormatter来解析日期字符串。最后，我们将转换后的LocalDateTime对象打印出来。执行代码后，输出的结果应该是：

2023-07-12T00:00

这是将日期转换为LocalDateTime形式后的值。