Преобразуйте int val в формат «ЧЧ: ММ: СС», используя JDK1.4

Question

Какой самый эффективный метод преобразования int val в его строковый аналог в этом формате - «ЧЧ: ММ: СС»

10 becomes 00:00:10
70 becomes 00:01:10
3610 becomes 01:00:10

Мне нужно, чтобы это было совместимо с JDK1.4.

Я придумал серию операторов if, а затем построил строку на основе текущего значения int.Это не очень эффективно.Есть ли лучший способ?

Answer 1

Вместо кучи кода, как насчет одной строки?

String time = new SimpleDateFormat("HH:mm:ss")  
    {{setTimeZone(TimeZone.getTimeZone("UTC"));}}.format(new Date(3610 * 1000)); // "01:00:10"

p.s. Я никогда не перестаю удивлять меня, просто сколько кода некоторые люди пишут, чтобы делать самые простые вещи

Часовой пояс установлен в UTC, потому что SimpleDateFormat использует ваш языковой стандарт для форматирования даты. Например, мой часовой пояс - GMT + 10, и если я отформатирую new Date(0), часть времени будет "10:00:00".

Для тех, кто не распознает этот нечетный синтаксис, в котором устанавливается часовой пояс, это анонимный класс с «блоком экземпляра», который выполняется при построении после завершения конструктора.

Answer 2

Вам необходимо уточнить ваше определение «эффективный».Для меня эффективным является «не требует изобретать велосипед сам».Что означает использование библиотек (да, java.util.Calendar довольно устарело, но все же лучше, чем кодирование самостоятельно):

int yourIntInSeconds = 3610;

Calendar dayStart = Calendar.getInstance();
dayStart.set(Calendar.HOUR_OF_DAY, 0);
dayStart.set(Calendar.MINUTE, 0);
dayStart.set(Calendar.SECOND, 0);
// also reset subsecond values if plan to display those

dayStart.add(Calendar.SECOND, yourIntInSeconds);
System.out.println(
   new SimpleDateFormat("HH:mm:ss").format(
      new Date(dayStart.getTimeInMillis())
   )
);

Все Calendar, Date и SimpleDateFormat совместимы с JDK 1.4.

Answer 3

Как насчет этого (я сделал это в моем последнем проекте):

public static String formatTime(long totalSeconds)
{
    int hours, minutes, remainder, totalSecondsNoFraction;
    double seconds;


    // Calculating hours, minutes and seconds
    String s = Double.toString(totalSeconds);
    String [] arr = s.split("\\.");
    totalSecondsNoFraction = Integer.parseInt(arr[0]);
    hours = totalSecondsNoFraction / 3600;
    remainder = totalSecondsNoFraction % 3600;
    minutes = remainder / 60;
    seconds = remainder % 60;
    if(arr[1].contains("E")) seconds = Double.parseDouble("." + arr[1]);
    else seconds += Double.parseDouble("." + arr[1]);


    // Formatting the string that conatins hours, minutes and seconds
    StringBuilder result = new StringBuilder(".");
    String sep = "", nextSep = " and ";
    if(seconds > 0)
    {
        result.insert(0, " seconds").insert(0, seconds);
        sep = nextSep;
        nextSep = ", ";
    }
    if(minutes > 0)
    {
        if(minutes > 1) result.insert(0, sep).insert(0, " minutes").insert(0, minutes);
        else result.insert(0, sep).insert(0, " minute").insert(0, minutes);
        sep = nextSep;
        nextSep = ", ";
    }
    if(hours > 0)
    {
        if(hours > 1) result.insert(0, sep).insert(0, " hours").insert(0, hours);
        else result.insert(0, sep).insert(0, " hour").insert(0, hours);
    }
    return result.toString();
}

Answer 4

Вот что я делаю:

private static final String LONG_DURATION_FMT = "%d:%02d:%02d";
private static final String SHORT_DURATION_FMT = "%d:%02d";

public static String formatSecondsAsDuration(long seconds) {
    final long h = seconds / 3600;
    final long remainder = seconds % 3600;
    final long m = remainder / 60;
    final long s = remainder % 60;

    if (h > 0) {
        return String.format(LONG_DURATION_FMT, h, m, s);
    } else {
        return String.format(SHORT_DURATION_FMT, m, s);
    }
}

Но использование StringBuffer вместо String.format может быть быстрее.Просто попробуйте.