Comment convertir un entier en une valeur String avec la longueur spécifiée en utilisant le script Groovy

Personne ne sait comment faire pour convertir un entier en une Chaîne de valeur avec le nombre de chiffres spécifié dans l'utilisation de Groovy code de script? Par exemple, je veux convertir les valeurs entières 1, 2, 3, 4 à 4 chiffres les chaînes de caractères comme "0001", "0002", "0003" et "0004".

source d'informationauteur Spazik | 2012-07-18

  1. 17

    Suffit d'utiliser Java String.format:

    def vals = [ 1, 2, 3, 4 ]

def strs = vals.collect {
  String.format( "%04d", it )
}

strs.each { println it }

    imprime:

    0001
0002
0003
0004

    Autres options peuvent être trouvés ici

  2. 4

    Utilisation sprintfqui est ajouté à la classe de l'Objet de sorte qu'il est toujours disponible:

    assert sprintf("%04d", 1) == "0001"

    Voir le JDK documentation de la chaîne de format pour plus d'informations.

  3. 3

    Vous pouvez utiliser String.format() comme décrit dans JN1525-Chaînes

    values = [1, 2, 3, 4]
formatted = values.collect {
    String.format('%04d', it)
}
assert formatted == ['0001', '0002', '0003', '0004']