Question

看来Nil的类型并不多变。我如何纠正这一职能:

scala> def last[A](a:List[A]) : A =   
     | a match {                      
     |   case _ :: tail  => last(tail)
     |   case Nil => Nil[A]           
     | }                              
<console>:8: error: object Nil does not take type parameters.
     case Nil => Nil[A]

最新资料:

scala> def last[A](a : List[A] ) : Option[A] =
     | a match {                              
     |   case head :: Nil => Some(head)       
     |   case _ :: tail => last(tail)  
     |   case Nil => None                     
     | }

Answer 1

<代码>Nil是一个物体,不是一种类型。 http://code>Nil[A].n t值不变。

空洞清单没有最后的内容。因此,在<代码>Nil上援引<>last的,应当留下错误。

def last[A](l: List[A]): A = l match {                      
  case x :: Nil => x
  case _ :: tail => last(tail)
  case Nil => sys.error("An empty list")
}

Alternatively you could have last return an Option[A] as shown below:

def last[A](l: List[A]): Option[A] = l match {                      
  case x :: Nil => Some(x)
  case _ :: tail => last(tail)
  case Nil => None
}

Answer 2

错误是,你先宣布返回<代码>的方法。 A:

def last[A](a:List[A]) : A
                        ^^^

www.un.org/Depts/DGACM/index_french.htm A。

(And(作为副注),正如错误信息所言,Nil不采用类型参数。)

<代码>终端功能较好的回归类型很可能是<代码>[A]。您的方法定义,但Option[A]将考虑:

scala> def last[A](a: List[A]): Option[A] =
     | a match {                           
     |     case x :: Nil => Some(x)        
     |     case _ :: tail => last(tail)    
     |     case Nil => None                
     | }                                   
last: [A](a: List[A])Option[A]

Answer 3

您需要告诉汇编员什么类型的<代码> 注

Nil: List[A]

但是,正如奥贝比指出的,这不解决你的问题。 <代码>Nil是一个空表,而不是名单的最后部分。

Answer 4

标的<代码>Nil 延伸List[Nothing]Nothing是所有事项的一种子类(同为)。任何均为一切的超级类型,List为共同使用(编号为List[+A]),这意味着 Nil将作为每个清单的终点。



然而,由于这一建筑,有些情况是,汇编者可以推断出准确的空缺名单类型,而且你需要打手(如本·詹姆斯所示)。 BTW,同样适用于作为<编码>的子级的物体代码。

友情链接