답변:
Java 라이브러리는 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 부터 서식 지정 문자열 보간 기 (현지화를 지원하지 않음)도 있습니다.
val expr = 123
f"$expr%07d"
f"${expr}%07d"
2019 년 4 월 수정 :
0
형식 지정자에서를 생략하십시오 . 위의 경우 f"$expr%7d"
2.12.8 REPL에서 .Tested입니다. 주석에서 제안 된대로 문자열 대체를 수행하거나 7
다른 주석에서 제안 된대로 앞에 명시적인 공백을 둘 필요가 없습니다 .s"%${len}d".format("123")
f"$a%07d"
가있는 경우) 쓸 수 있습니다 . val
var
a
regex
string.replaceAll("\\G0", " ")
말했다으로 공백 앞에 0을 대체하기 위해 여기
"% 7d".format(123)
.
짧은 답변:
"1234".reverse.padTo(7, '0').reverse
긴 대답 :
Scala StringOps (암시 적 변환으로 인해 Scala 문자열 개체가 갖는 멋진 메서드 집합을 포함 함)에는 문자열 padTo
에 특정 양의 문자를 추가하는 메서드가 있습니다. 예를 들면 :
"aloha".padTo(10,'a')
"alohaaaaaa"를 반환합니다. String의 요소 유형은 Char이므로 'a'
.
문자를 추가 하는 대신 앞에 추가 해야하므로 문제가 약간 다릅니다 . 그렇기 때문에 문자열을 반전하고 채우기 문자를 추가 한 다음 (문자열이 반전되었으므로 지금 앞에 추가해야 함) 전체를 다시 반전하여 최종 결과를 얻어야합니다.
도움이 되었기를 바랍니다!
는 padding
로 표시됩니다 %02d
에 대한 0
길이를 만들기 위해 접두어하기 2
:
scala> val i = 9
i: Int = 9
scala> val paddedVal = f"${num}%02d"
paddedVal: String = 09
scala> println(paddedVal)
09
val paddedVal = f"${num}%02d"
변화해야한다 num
에 대한i
f"$num%02d"
(여기에 괄호가 필요하지 않음)
huynhjl이 저를 정답으로 이겼으므로 여기에 대안이 있습니다.
"0000000" + 123 takeRight 7
"0000000" + Int.MaxValue takeRight 7
=> 7483647
. 질문을 문자 그대로 해석하면 "기술적으로"정확하지만, 숫자가 그렇게 크면 패딩 된 숫자가 7 자리 이상으로 확장되는 것을 독자가 원하지 않을 것입니다.
음수를 처리해야합니까? 그렇지 않다면 그냥 할 것입니다
def str(i: Int) = (i % 10000000 + 10000000).toString.substring(1)
또는
def str(i: Int) = { val f = "000000" + i; f.substring(f.length() - 7) }
그렇지 않으면 다음을 사용할 수 있습니다 NumberFormat
.
val nf = java.text.NumberFormat.getIntegerInstance(java.util.Locale.US)
nf.setMinimumIntegerDigits(7)
nf.setGroupingUsed(false)
nf.format(-123)