匿名函數的參數類型

Question

我在使用此代碼時遇到了一些麻煩。 它應該是一個OperationTree元素BinaryOperations和UnaryOperations。 方法eval執行評估並在地圖中查找變量。

下面的代碼

1 import collection.immutable.HashMap 
    2 sealed abstract class OpTree[T]{ 
    3 
    4 def eval(v:HashMap[Char,T]):T = { 
    5  case Elem(x) => x 
    6  case UnOp(f,c) => { 
    7  f(c.eval(v)) 
    8  } 
    9  case BinOp(f,l,r) => { 
10  f(l.eval(v),r.eval(v)) 
11  } 
12  case Var(c) => { 
13  v.get(c) 
14  } 
15 } 
16 } 
17 //Leaf 
18 case class Elem[T](elm:T) extends OpTree[T] 
19 //Node with two sons 
20 case class UnOp[T](f:T => T, child:OpTree[T]) extends OpTree[T] 
21 //Node with one son 
22 case class BinOp[T](f:(T,T) => T, left:OpTree[T], right:OpTree[T]) extends OpTree[T] 
23 case class Var[T](val c:Char) extends OpTree[T] 

編譯器說：

OpTree.scala:4: error: missing parameter type for expanded function 
The argument types of an anonymous function must be fully known. (SLS 8.5) 
Expected type was: T 
    def eval(v:HashMap[Char,T]):T = { 
           ^
one error found 

任何建議？

謝謝！

Answer 1

你忘了所匹配的東西...

您的代碼：

def eval(v:HashMap[Char,T]):T = { 

必要的代碼：

def eval(v:HashMap[Char,T]):T = v match {