Formater un entier en utilisant le format de chaîne Java

Question

Je me demande s’il est possible, en utilisant la méthode String.format en Java, de donner un entier précédant les zéros?

Par exemple:

1 deviendrait 001
2 deviendrait 002
...
11 deviendrait 011
12 deviendrait 012
...
526 resterait en tant que 526
...etc

Pour le moment, j'ai essayé le code suivant:

 String imageName = "_%3d" + "_%s";

for( int i = 0; i < 1000; i++ ){
    System.out.println( String.format( imageName, i, "foo" ) );
}
 

Malheureusement, cela précède le nombre avec 3 espaces vides. Est-il possible de faire précéder le nombre avec des zéros?

Answer 1

String.format("%03d", 1); // => "001"

Answer 2

Utilisez %03d dans le spécificateur de format pour l'entier. Le 0 signifie que le nombre sera rempli de zéros s'il est inférieur à trois (dans ce cas) chiffres.

Voir les Formatter docs pour les autres modificateurs.

Answer 3

Utilisez StringUtils class apache commons-lang :

 int i = 5;
StringUtils.leftPad(String.valueOf(i), 3, "0"); // --> "005"
 

As StringUtils.leftPad() est plus rapide que String.format()

Answer 4

Essayez d'utiliser DecimalFormatting?

http://download.oracle.com/javase/6/docs/api/java/text/DecimalFormat.html