is there a fancy way to replace multiple consecuti...
# announcementsl
LastExceed
05/01/2020, 3:51 PMis there a fancy way to replace multiple consecutive whitespaces with single whitespaces ? or do i just repeatedly do
.replace(" ", " ")c
Casey Brooks
05/01/2020, 3:54 PMUse Regex:
.replace("\\s+".toRegex(), "")l
LastExceed
05/01/2020, 3:54 PMoh cool
c
Chilli
05/01/2020, 3:55 PMWouldn't that remove all the spaces? I believe the 2nd parameter should be
" """c
Casey Brooks
05/01/2020, 3:57 PM@Chilli yes, you’re right, my bad.
.replace("\\s+".toRegex(), " ")c
Chilli
05/01/2020, 3:58 PMWouldn't regex be an overkill, though? I'm not sure how fast regex actually is but it seems there might be something faster
j
Jakub Pi
05/01/2020, 4:06 PMNo, this is the kind of problem regular expressions were designed to solve. Any regex is transformable to a finite state machine, so it just depends on the efficiency of the compiler. The only alternative is hand coding it, which is indeed overkill.
👆 1
k
Kroppeb
05/01/2020, 5:06 PMThis is a very easy regex, but I would store the pattern though.
d
dewildte
05/01/2020, 6:47 PMRegex is built for this and is so fast.
Another solution is to build your own parser/ parser combinator. But Regex is the perfect solution for a one off.
2 Views