Ricordo in Java, lo facciamo in questo modo:Come ottenere facilmente il separatore di riga del sistema operativo corrente in Scala?
System.getProperty("line.separator")
Come fare lo stesso in scala? C'è un modo migliore (più facile)?
Ricordo in Java, lo facciamo in questo modo:Come ottenere facilmente il separatore di riga del sistema operativo corrente in Scala?
System.getProperty("line.separator")
Come fare lo stesso in scala? C'è un modo migliore (più facile)?
scala> import util.Properties
import util.Properties
scala> Properties.lineSeparator
res14: java.lang.String =
"
"
Sia scala.util.Properties.lineSeparator
e System.lineSeparator
farà lo stesso lavoro.
System.lineSeparator
sarà direttamente chiamare il metodo Java che deve trovare immobili a sistemi di oggetti di scena:
lineSeparator = props.getProperty("line.separator");
Ecco il risultato:
scala> System.lineSeparator
res0: String =
"
"
Si ricade a default puntelli Java se nessuno trovato.
Allo stesso modo, Properties.lineSeparator
chiamerà:
def lineSeparator = propOrElse("line.separator", "\n")
che alla fine chiama:
System.getProperty(name, alt)
risultato è lo stesso:
scala> scala.util.Properties.lineSeparator
res2: String =
"
"
Così hanno entrambi ottengono separatore di linea da puntelli Java. L'unica differenza è il modo in cui ottengono le impostazioni predefinite. Non so perché è implementato in questo modo :). È come se non si fida che Java abbia il valore predefinito corretto in questo caso.