匿名函数的参数类型

Question

我在处理这段代码时遇到了一些问题。 它应该是一个由二元操作和一元操作组成的OperationTree。 eval方法执行评估并在map中查找变量。

以下是代码：

 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

有什么建议吗？谢谢！

- xyz

---

知道你发布的片段中实际上的第4行在哪里会有所帮助。 - Jean-Philippe Pellet

其代码为：def eval(v:HashMap[Char,T]):T = { - xyz

Answer 1

你忘了实际匹配一些东西...

你的代码：

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

必要代码：

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

- agilesteel