首先,我想為這個問題看起來多么含糊而道歉,但在這一點上,我還沒有找到任何關于此事的資訊。
前段時間,一位同事和我談論了 monoids 和 JSON Parser,然后他向我展示了一種構造字串的方法,看起來或多或少像這樣(基于我糟糕的記憶):
strangeMethodOrTrick = {
| Lorem ipsum dolor sit amet
| consectetur adipiscing elit
| sed do eiusmod
| tempor incididunt
}.toString
有一次他提到,每次“|” 輸入字符,這意味著一旦創建了最終的字串,就會在每行的末尾放置一個換行符。
再次為沒有提供有關該主題的更多資訊而道歉,今天我向我的同事詢問了此事,但??他說他不記得類似的事情或與之相關的任何事情。
就我而言,我也沒有找到任何資訊,我只記得代碼的樣子,到目前為止我還沒有在 Scala 檔案中找到它。
如果有人知道這種策略,并且如果您知道名稱或我如何找到有關它的更多資訊,我將不勝感激。
無論如何,我祝你們新年快樂!
uj5u.com熱心網友回復:
它不是內置功能,也不會插入新的換行符。標準庫為字串提供了一種擴展方法,該方法從字串的每一行中stripMargin去除任何前導空格。|
val str =
"""|multiple lines
|in one string
|with stripMargin""".stripMargin
請注意,換行符在呼叫之前已經是字串的一部分,stripMargin因為我在三引號的幫助下構造了一個多行字串"""。所做的stripMargin只是洗掉前導空格和.|
正如您在檔案中看到的那樣,有一種stripMargin方法可以使用另一個字符呼叫,而不是|您想要的,例如stripMargin('#').
轉載請註明出處,本文鏈接:https://www.uj5u.com/net/412148.html
標籤:
