包含選項的列表中的Scala模式匹配不接收類型？

Question

試圖修復客戶端API，但運行到一個問題就在這裏：

case Some(List(Some(msgType:String), Some(channel:String), Some(data:String))) => 
     List(Some(msgType:String), Some(channel:String), Some(data:String)).foreach { 
      msgType match { 
       case "message" | "pmessage" => 
       fn(M(channel, data)) 
       case x => throw new RuntimeException("unhandled message: " + x) 
      } 
     } 

當我去編譯代碼，我得到的錯誤type mismatch; found : Any required: Some[String] => ?在fn(M(channel, data))

如何正確結構匹配，因此收到類型？

Answer 1

我們把這個了一下：

case Some(List(Some(msgType:String), Some(channel:String), Some(data:String))) => 
    List(Some(msgType:String), Some(channel:String), Some(data:String)).foreach { 

所以，在這一點上，你必須提供一個函數從Option[String]的東西。這是至關重要的一點：您需要將參數傳遞給foreach。讓我們繼續：

 msgType match { 

您可能正在努力的印象是這是一個功能 - 事實並非如此。也許你明白，但爲了以防萬一，讓我解釋一下這一點。一個函數具有參數，返回別的東西：它可以通過多種方式來聲明：

x => f(x) // anonymous function 
{ case x => f(x) } // pattern-matching anonymous function 
f _ // eta expansion of method f 
f(_) // partial function application 
_ + 1 // anonymous function with placeholder syntax 

注意msgType match {是以上皆非。

現在，msgType這裏指的是在第一種情況下匹配的內容。對於每次調用foreach（它將迭代器通過msgType,channel和data，因此，調用傳遞的函數三次），它將完全相同。

  case "message" | "pmessage" => 
      fn(M(channel, data)) 

現在我們到了問題的關鍵點。 fn(M(channel,data))是將傳遞給foreach的函數，因此fn的返回類型必須是String => ???。由於您沒有提供有關fn或M的任何信息，因此我們無法評估可能存在的問題。

但是，也許你不打算讓fn返回一個函數，並搞砸了foreach。再一次，你沒有解釋你想完成什麼，所以我不能解釋如何完成它。

  case x => throw new RuntimeException("unhandled message: " + x) 
     } 
    } 

Answer 2

我會做：

myList match { 
    case Some(xs @ List(Some(msgType:String), Some(channel:String), Some(data:String))) => 
    xs.foreach {...} 
    case _ => {...} 
} 

我希望它能幫助，哪怕一個更清潔的方式確實存在。