在Java中,如果一个日期是字符串类型的"2023-01",你可以使用java.time包中的类来处理日期。以下是一个示例代码,演示如何获取前一个月的字符串类型的月份:

import java.time.LocalDate;
import java.time.format.DateTimeFormatter;

public class Main {
    public static void main(String[] args) {
        // 字符串类型的日期
        String dateStr = "2023-01";

        // 定义日期格式
        DateTimeFormatter formatter = DateTimeFormatter.ofPattern("yyyy-MM");

        // 将字符串类型的日期解析为LocalDate对象
        LocalDate date = LocalDate.parse(dateStr, formatter);

        // 获取前一个月的日期
        LocalDate previousMonth = date.minusMonths(1);

        // 格式化为字符串类型的月份
        String previousMonthStr = previousMonth.format(formatter);

        // 提取前一个月的字符串类型的月份
        String previousMonthOnly = previousMonthStr.substring(5);

        // 输出结果
        System.out.println(previousMonthOnly);
    }
}

该代码将输出前一个月的字符串类型的月份,例如如果输入的日期是"2023-01",那么输出结果将是"12"。请注意,这里使用了java.time.LocalDatejava.time.format.DateTimeFormatter来处理日期和格式化输出。