如何将Int转换为给定长度的字符串，并将前导零对齐？ [英] How to convert an Int to a String of a given length with leading zeros to align?

问题描述

如何将 Int 转换为长度为7个字符的 String ，以便 123 变成0000123？

解决方案

数字格式化支持，可从 StringOps 丰富了String类：

  scala> ％07d.format（123）
 res5：String = 0000123 
 
 scala> ％07d.formatLocal（java.util.Locale.US，123）
 res6：String = 0000123 
  

编辑帖子Scala 2.10 ：由fommil建议，从2.10开始，还有一个格式化字符串插入器：

<$ p $ $> $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ p>

How can I convert an Int to a 7-character long String, so that 123 is turned into "0000123"?

解决方案

The Java library has pretty good (as in excellent) number formatting support which is accessible from StringOps enriched String class:

scala> "%07d".format(123)
res5: String = 0000123

scala> "%07d".formatLocal(java.util.Locale.US, 123)
res6: String = 0000123

Edit post Scala 2.10: as suggested by fommil, from 2.10 on, there is also a formatting string interpolator:

val expr = 123
f"$expr%07d"
f"${expr}%07d"

这篇关于如何将Int转换为给定长度的字符串，并将前导零对齐？的文章就介绍到这了，希望我们推荐的答案对大家有所帮助，也希望大家多多支持IT屋！