Dividere le stringhe con il separatore diviso in ogni carattere in Scala

Question

Sto provando a dividere un gruppo di testo con il separatore di barre |. 123.123.123.123|000.000.000.000 a ciascun blocco di indirizzi ip. Ma ogni numero non è diviso per |.

scala> "123.123.123.123|000.000.000.000".split("|") 
res30: Array[java.lang.String] = Array("", 1, 2, 3, ., 1, 2, 3, ., 1, 2, 3, ., 1, 2, 3, |, 0, 0, 0, ., 0, 0, 0, ., 0, 0, 0, ., 0, 0, 0) 

scala> "123.123.123.123".split("|") 
res33: Array[java.lang.String] = Array("", 1, 2, 3, ., 1, 2, 3, ., 1, 2, 3, ., 1, 2, 3) 

così ho messo il separatore come Char e si vede quello che volevo.

scala> "123.123.123.123|000.000.000.000".split('|') 
res31: Array[String] = Array(123.123.123.123, 000.000.000.000) 

scala> "123.123.123.123".split('|') 
res32: Array[String] = Array(123.123.123.123) 

Perché il singolo carattere fa un'enorme differenza?

Ho letto Scala doc e StringLike.scala e non ho ricevuto risposta.

def split(separators: Array[Char]): Array[String] 
def split(separator: Char): Array[String] 

Grazie.

Answer 1

Il metodo split accetta sia string o carattere (i). Se usi la stringa, questa verrà interpretata come espressione regolare e "|" viene trattato come regex 'o' - nel tuo caso si riporta a 'ogni personaggio va nel proprio bin'. Fuga ad avere delimeter grezzo:

"123.123.123.123|000.000.000.000".split("\\|") 
res1: Array[String] = Array(123.123.123.123, 000.000.000.000) 

separatore di carattere viene interpretato come è, così hai il risultato desiderato senza tante storie

Answer 2

Si noti che, come om-nom-nom correttamente citato (ma non l'hai fatto fornire l'esempio), i personaggi (che sono racchiusi in un'unica ') sono validi anche:

"123.123.123.123|000.000.000.000".split('|') 

trovo che questo sia più evidente/leggibile. Suppongo anche che questo sarebbe più veloce, dal momento che non deve richiamare il parser regex. Ma questo è speculazione, naturalmente, e anche micro-ottimizzazione non necessaria.