Могу ли я реализовать метод из признака, используя оператор case?

Question

Я пытаюсь реализовать метод с использованием оператора case, но следующий код не компилируется.

Я знаю, что я могу получить эту работу, используя поиск по шаблону, но любопытно, почему сазе несовместимо как прямая реализация ....

trait Calculation[Input, Result] { 
    def calculate(in: Input): Result 
} 

class CalculationImpl : Calculation[String, int] { 
    // missing parameter type for expanded function 
    // The argument types of an anonymous function must be fully known. (SLS 8.5) 
    def calculate = { 
     case "one" => 1 
     case "two" => 2 
     case s: String => 0 
    } 
} 

В качестве компромисса, я мог бы измените семантику признака так, чтобы calculate стал беспараметрированным методом, который возвращает Function1, а не метод, который принимает параметр Input и возвращает Result. Однако, это не является идеальным ...

trait Calculation[Input, Result] { 
    def calculate: Input => Result // Works, but semantics have changed. 
} 

class CalculationImpl : Calculation[String, int] { 
    def calculate = { 
     case "one" => 1 
     case "two" => 2 
     case s: String => 0 
    } 
} 

(примечание: выше псевдокод - я не пробовал компиляции этот точный код)

Answer 1

Вам просто нужно исправить синтаксис, и он будет работать :

def calculate(s: String) = s match { 
    case "one" => 1 
    case "two" => 2 
    case s: String => 0 
} 

Answer 2

Вы можете получить ближе к оригинальной семантике и еще сократить шаблонный путем определения calculate в качестве значения функции:

trait Calculation[Input, Result] { 
    type F = Input => Result 
    val calculate: F 
} 

class CalculationImpl extends Calculation[String, Int] { 
    val calculate: F = { 
     case "one" => 1 
     case "two" => 2 
     case s: String => 0 
    } 
}