Scala的情况下，语法的理解

Question

我试图让Scala的演员（阿卡）一握，但我只是碰到“的情况下”使用的一些奇怪的是一点我不明白，就来了：

import akka.actor.{ ActorRef, ActorSystem, Props, Actor, Inbox } 
import scala.concurrent.duration._ 

case object Greet 
case class WhoToGreet(who: String) 
case class Greeting(message: String) 

class Greeter extends Actor { 

    var greeting = "" 

    def receive = { 
     case WhoToGreet(who) => greeting = s"hello, $who" 
     case Greet   => sender ! Greeting(greeting) // Send the current greeting back to the sender 
    } 

} 

这尤其是位：

def receive = { 
     case WhoToGreet(who) => greeting = s"hello, $who" 
     case Greet   => sender ! Greeting(greeting) // Send the current greeting back to the sender 
    } 

现在我想这种情况下，语法斯卡拉看起来是这样的：

something match { 
    case "val1" => println("value 1") 
    case "val2" => println("value 2") 
} 

如果我尝试复制使用情况在斯卡拉REPL这样的问题：

def something = { 
    case "val1" => println("value 1") 
    case "val2" => println("value 2") 
} 

我得到

error: missing parameter type for expanded function 
The argument types of an anonymous function must be fully known. (SLS 8.5) 

究竟是什么意思？

UPDATE：这篇文章是迄今为止最好的回答我的问题：http://blog.bruchez.name/2011/10/scala-partial-functions-without-phd.html

Answer 1

案例语法Scala中有一些可以采取的形式。

是一些例子：

case personToGreet: WhoToGreet => println(personToGreet.who) 
case WhoToGreet(who) => println(who) 
case WhoToGreet => println("Got to greet someone, not sure who") 
case "Bob" => println("Got bob") 
case _ => println("Missed all the other cases, catchall hit") 

你看到这个错误的原因是因为你没有尝试调用已知对象比赛，而是试图分配的情况下块一个功能。

因为Case块只是一个PartialFunction，所以编译器认为你试图定义一个局部函数，但没有给它足够的信息，因为它没有任何适用的东西。

尝试类似：

def something: PartialFunction[Any,Unit] = { 
    case "val1" => println('value 1") 
    case _ => println("other") 
} 

你就可以调用它。

编辑

在阿卡例子中的情况下工作，因为你实际上是一个抽象的，预先存在的功能提供了一个实现：接收akka.actor.Actor定义。你可以看到在Akka source typedef的：

object Actor { 
    type Receive = PartialFunction[Any, Unit] 
    .. 
} 

trait Actor { 
    def receive: Actor.Receive 
    .... 
} 

例子中的接收呼叫被编译成

def receive: PartialFunction[Any, Unit] = { 
} 

告诉我们，接收将采取任何数值或引用，并返回一个单元。