使用 JDK1.4 将 int val 转换为格式化"HH:MM:SS"

Question

将int val转换为这种格式的字符串对应项的最有效方法是什么？"HH:MM:SS">

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

这就是我所做的：

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可能会更快。试试看。

Answer 4

这个怎么样(我在上一个项目中做到了(：

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();
}