Scala動態類型，類型邊界和java對象 - 是這種預期的行爲還是錯誤？

Question

對不起，如果這已被覆蓋。以下動態類型和類型邊界的簡單示例不適用於字符串列表，但與包含定義的length（）函數的（scala）類非常吻合。這是預期的行爲還是錯誤？如果是預期的行爲，有沒有一種方法來定義約束這樣的類型，它會爲一組字符串工作對象以及任意階對象的，其長度（0函數列表？

def sumlen[T <: {def length : Int}](l : List[T]) : Int = { 
    def sl(l : List[T], acc : Int) : Int = l match { 
     case Nil => acc 
     case h::t => sl(t, h.length + acc) 
    } 
    sl(l, 0) 
} 

val l1 = List("This", "is", "a", "test") 

sumlen(l1) 

Answer 1

這工作原理：。

def sumlen[T <: {def length() : Int}](l : List[T]) : Int = { 
//       ^^ 

是的，它是一種功能，而不是一個錯誤