Tách chuỗi bằng dấu phân cách được tách thành từng ký tự trong Scala

Question

Tôi đang cố gắng tách một chuỗi văn bản bằng bộ tách thanh |. 123.123.123.123|000.000.000.000 cho mỗi khối địa chỉ IP. Nhưng mỗi số được tách không theo |.

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) 

Vì vậy, tôi đặt dấu phân cách là Char và nó hiển thị những gì tôi dự định.

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) 

Tại sao nhân vật duy nhất tạo nên sự khác biệt lớn?

Tôi đã đọc tài liệu Scala và StringLike.scala và không có câu trả lời.

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

Cảm ơn.

Answer 1

Phương pháp tách chấp nhận string hoặc (các) ký tự. Nếu bạn sử dụng chuỗi nó sẽ được hiểu là regexp và "|" được coi là regex 'hoặc' - trong trường hợp của bạn, nó quay trở lại 'mọi ký tự đi vào thùng riêng của nó'. Thoát khỏi nó để có delimeter liệu:

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

nhân vật tách được hiểu như là, vì vậy bạn có kết quả mong muốn mà không phiền phức

Answer 2

Lưu ý rằng, như om-nôm-nom đề cập một cách chính xác (nhưng không cung cấp ví dụ), nhân vật (được kèm theo trong đơn ') cũng có giá trị:

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

tôi tìm thấy điều này là rõ ràng hơn/dễ đọc. Tôi cũng giả định rằng điều này sẽ nhanh hơn, vì nó không phải gọi trình phân tích cú pháp regex. Nhưng đó là suy đoán của khóa học, và cũng không cần thiết tối ưu hóa vi mô.