Cómo convertir un entero en un valor de cadena con una longitud especificada mediante el script de Groovy

Question

¿Alguien sabe cómo convertir un entero en un valor de cadena con un número de dígitos especificado al usar el código de script de Groovy? Por ejemplo, quiero convertir los valores enteros 1, 2, 3, 4 a las cadenas de 4 dígitos como "0001", "0002", "0003" y "0004".

Answer 1

Sólo tiene que utilizar Java'sString.format:

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

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

strs.each { println it } 

impresiones:

0001 
0002 
0003 
0004 

Otras opciones can be found here

Answer 2

Puede utilizar String.format() como se describe en JN1525-Strings

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

Answer 3

Uso sprintf, que se añade a la clase de objeto por lo que siempre está disponible:

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

Véase el JDK documentation for the format string para más información.